Def l1 =
l2
== Case(l1)
Case ptn_atom(x) = >
Case(l2)
Case ptn_atom(y) = >
x=
y
Atom
Default = > false
Case ptn_int(x) = >
Case(l2)
Case ptn_int(y) = >
x=
y
Default = > false
Case ptn_var(x) = >
Case(l2)
Case ptn_var(y) = >
x=
y
Atom
Default = > false
Case ptn_pr( < x, y > ) = >
Case(l2)
Case ptn_pr( < u, v > ) = >
x =
u
y =
v
Default = > false
Default = > false
(recursive)
is mentioned
In prior sections: mb basic mb label mb declaration
Try larger context: GenAutomata