Definitions MarkB generic Sections NuprlLIB Doc

No other cites to report in MarkB_generic
module1_typeDef module1_type(prop) == tag:{i:| prop(i) }Unit+(module1_type(i.i = tag-1)) (recursive)

About:
productproductunitintnatural_numbersubtractunionset
lambdaapplyrecursive_def_noticeequal!abstraction

Definitions MarkB generic Sections NuprlLIB Doc