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: