mb
events
Sections
GenAutomata
Doc
Def
inl(x) = > body(x) cont(value,contvalue) == InjCase(value; x. body(x); _. cont(contvalue,contvalue))
is mentioned
In prior sections:
mb
basic
Try larger context:
GenAutomata
mb
events
Sections
GenAutomata
Doc