WhoCites Definitions mb automata 1 Sections GenAutomata Doc

Who Cites mk dec?
mk_decDef mk_dec(lbl, typ) == < lbl,typ >

Syntax:mk_dec(lbl, typ) has structure: mk_dec(lbl; typ)

About:
pair!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc