Who Cites mk smt?
mk_smt	Def mk_smt(lbl, term, typ) == < lbl,term,typ >
	Thm* lbl:Label, term:Term, typ:SimpleType. mk_smt(lbl, term, typ) smt()

Syntax:

mk_smt(lbl, term, typ)

has structure:

mk_smt(lbl; term; typ)

About: