Module Genr_values


module Genr_values: sig .. end
For our semantically meaningful abbrevs for int type.



val genr_values : Tgenr_base.randomize ->
Tgenr_base.max_length ->
Tgenr_base.nesting_depth ->
Parsetree.type_declaration -> Parsetree.core_type list -> Code.exp list
Generates a list of up to n values of the specified type declaration

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
Generates a list of up to n values of the specified core type, whose tree has a maximum depth (number of nested constructors)

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.