WhoCites Definitions mb automata 1 Sections GenAutomata Doc

Who Cites mk smt?
mk_smtDef mk_smt(lbl, term, typ) == < lbl,term,typ >

Syntax:mk_smt(lbl, term, typ) has structure: mk_smt(lbl; term; typ)

About:
pair!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc