module Genr_listary_equations: sig .. end
sig
end
val testing_equations_of_rels : Parsetree.generator -> Parsetree.relations -> (Term.term * Term.term) list
Parsetree.generator -> Parsetree.relations -> (Term.term * Term.term) list