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