module Genr_values:For our semantically meaningful abbrevs for int type.sig..end
val genr_values : Tgenr_base.randomize ->
Tgenr_base.max_length ->
Tgenr_base.nesting_depth ->
Parsetree.type_declaration -> Parsetree.core_type list -> Code.exp listgenr_values rand length depth td args where
rand: indicates if random values should be generated or not,
length: the maximum length of the resulting list (maximum number of
values to generate),
depth: the upper bound for the constructor nesting depth,
td: the type declaration we generate values from,
args: the arguments of the type if polymorphic.
Generates a list of up to n values of the specified type declaration
and arguments, each one with the specified maximum constructor nesting
depth (i.e the maximum number of nested constructors).
val genr_core_values : Tgenr_base.randomize ->
Tgenr_base.max_length ->
Tgenr_base.nesting_depth -> Parsetree.core_type -> Code.exp listgenr_core_values rand length depth td args where
rand: indicates if random values should be generated or not,
length: the length of the resulting list (number of
values to generate),
depth: the upper bound for the constructor nesting depth,
ty: the core type type of the generated values.