lbl:Label, term:Term, typ:SimpleType. mk_smt(lbl, term, typ) 
smt()| 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:
 |  |  |  |