sig exception Not_enough_values val genr_substs : int -> (Parsetree.core_type -> int -> Code.exp list) -> (Var.var * Parsetree.core_type) list -> (Var.var -> Code.exp) list end