Def == tag:{i:
| prop(i) }
Unit+(module1_type(
i.i = tag-1))
Def (recursive)
| prop(i) }Unit+(module1_type(i.i = tag-1))
is not otherwise mentioned in this or prior sections.
Try larger context:
StandardLIB
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html