mb automata 3 Sections GenAutomata Doc

Def rel_free_vars(r) == reduce(t,vs. term_free_vars(t) @ vs;nil;r.args)

is mentioned by

Def closed_rel(r) == rel_free_vars(r) = nil[closed_rel]

In prior sections: mb automata 2

Try larger context: GenAutomata

mb automata 3 Sections GenAutomata Doc