sig
  val genr_values_and_equalities :
    int ->
    (Parsetree.core_type -> int -> Code.exp list) ->
    string * Parsetree.core_type list * Parsetree.relations * Location.t ->
    Code.exp list
end