WhoCites Definitions mb automata 1 Sections GenAutomata Doc

Who Cites mk rel?
mk_relDef mk_rel(name, args) == < name,args >

Syntax:mk_rel(name, args) has structure: mk_rel(name; args)

About:
pair!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc