Module Genr_listary_equations


module Genr_listary_equations: sig .. end


val testing_equations_of_rels : Parsetree.generator -> Parsetree.relations -> (Term.term * Term.term) list