Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Boltzgen runtime library entry point
val compute_boltzman : Type.func -> float -> float * float
compute_boltzman fd z
Evaluate the bolzman generating function for function signature fd
using boltzman parameter z
rand_fun size type seed arg
is a pure generic function, it generate a value of type type
seed
and arg
are parameters for the value size
control the size of the output
val print_typedef : Stdlib.Format.formatter -> Type.sum_type list -> unit
Print a type definition
val print_sig :
Stdlib.Format.formatter ->
(Type.sum_type list * Type.func) ->
unit
Print a module signature matching type and function signature
Internal test generation function
val generic_loop :
('a ->
out_err:bool ->
int ->
(Stdlib.Format.formatter -> unit -> unit) ->
string ->
(Stdlib.Format.formatter -> unit -> unit) ->
unit) ->
('a -> out_err:bool -> ?throw:bool -> ?canonize:string -> string -> unit) ->
('a -> 'b -> unit) ->
?out_err:bool ->
?tsrange:(int * int) ->
?throw:bool ->
?canonize:string ->
?boltz_evaluated:(Type.sum_type list * Type.func * float) ->
'a ->
float ->
int ->
string ->
'b ->
unit
val gen_test :
?out_err:bool ->
?ftotest:string ->
?tsrange:(int * int) ->
?boltz_evaluated:(Type.sum_type list * Type.func * float) ->
Stdlib.Format.formatter ->
float ->
int ->
string ->
unit
val gen_to_string : ?throw:bool -> ?canonize:string -> Type.func -> string
val gen_value :
?tsrange:(int * int) ->
?boltz_evaluated:(Type.sum_type list * Type.func * float) ->
Stdlib.Format.formatter ->
float ->
int ->
string ->
unit
val gen_test_direct :
?out_err:bool ->
?throw:bool ->
?canonize:string ->
?boltz_evaluated:(Type.sum_type list * Type.func * float) ->
Stdlib.Format.formatter ->
float ->
int ->
string ->
unit
val gen_test_diff :
?out_err:bool ->
?tsrange:(int * int) ->
?throw:bool ->
?canonize:string ->
?boltz_evaluated:(Type.sum_type list * Type.func * float) ->
string ->
string ->
Stdlib.Format.formatter ->
float ->
int ->
string ->
unit
Runtime function