Module Genr_substitutions


module Genr_substitutions: sig .. end


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
Generates a list of n substitutions, i.e. functions mapping each variable to a value of its corresponding type. Uses a function that generates a specified number of values of a given type. Raises Not_enough_values if it does not get enough values to generate all the required substitutions.