Definitions
StandardLib
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
No other cites to report in StandardLib
module1_type
Def module1_type(
prop
)
Def
==
tag
:{
i
:
|
prop
(
i
) }
Unit+(module1_type(
i
.
i
=
tag
-1)
)
Def
(recursive)
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
StandardLib
Sections
NuprlLIB
Doc
| prop(i) }
Unit+(module1_type(
i.i = tag-1))
| prop(i) }Unit+(module1_type(i.i = tag-1))
