mb automata 3 Sections GenAutomata Doc

Def eq_relname(a;b) == Case(a) Case eq(x) = > Case(b) Case eq(x') = > st_eq(x;x') Case x' = > false Default = > false Case x = > Case(b) Case eq(x') = > false Case x' = > x = x' Default = > false Default = > false

is mentioned by

Def rel_eq(a;b) == eq_relname(a.name;b.name)termlist_eq(a.args;b.args)[rel_eq]

In prior sections: mb automata 2

Try larger context: GenAutomata

mb automata 3 Sections GenAutomata Doc