WhoCites
Definitions
GenAutomata
Sections
NuprlLIB
Doc
Who Cites mk
dec?
mk_dec
Def mk_dec(lbl, typ) == < lbl,typ >
Thm*
lbl:Label, typ:SimpleType. mk_dec(lbl, typ)
dec()
Syntax:
mk_dec(lbl, typ)
has structure:
mk_dec(lbl; typ)
About:
WhoCites
Definitions
GenAutomata
Sections
NuprlLIB
Doc