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 list
genr_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 list
genr_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.