WhoCites
Definitions
prog
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites module1
type?
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
WhoCites
Definitions
prog
1
Sections
StandardLIB
Doc