mb
declaration
Sections
GenAutomata
Doc
Def
Case ptn_int(x) = > body(x) cont(x1,z) == (
x1.inr(x2) = > (
x1.inl(x2) = > body(hd([x2 / tl(x1)])) cont(hd(x1),z))([x2 / tl(x1)]) cont (hd(x1) ,z)) ([x1])
is mentioned
In prior sections:
mb
basic
Try larger context:
GenAutomata
mb
declaration
Sections
GenAutomata
Doc
x1.inr(x2) = >
(x1.inl(x2) = > body(hd([x2 / tl(x1)])) cont(hd(x1),z))([x2 / tl(x1)])
cont
(hd(x1)
,z))
([x1])