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=yAtom 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 automata 1 mb declaration mb structures mb hybrid mb automata 2