mb
automata
2
Sections
GenAutomata
Doc
Def
single_valued_decls(c) ==
x:Label, t1,t2:SimpleType. mk_dec(x, t1)
c
mk_dec(x, t2)
c
t1 = t2
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
automata
2
Sections
GenAutomata
Doc
x:Label, t1,t2:SimpleType. mk_dec(x, t1) 
c 
mk_dec(x, t2) c t1 = t2