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: bool 1 mb list 1 mb list 2 mb basic mb automata 1 mb automata 2

Try larger context: GenAutomata