GenAutomata Sections NuprlLIB Doc

Def single_valued_decls(c) == x:Label, t1,t2:SimpleType. mk_dec(x, t1) c mk_dec(x, t2) c t1 = t2

is mentioned

In prior sections: mb automata 4


GenAutomata Sections NuprlLIB Doc