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