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