Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Boltzgen runtime library entry point
compute_boltzman fd z
Evaluate the bolzman generating function for function signature fd
using boltzman parameter z
val print_typedef :
Stdlib.out_channel ->
((string * string list)
* (string * Gen_test_lib__.Type.compo_type option * float option) list)
list ->
unit
Print a type definition
val print_sig :
Stdlib.out_channel ->
(((string * string list)
* (string * Gen_test_lib__.Type.compo_type option * float option) list)
list
* Gen_test_lib__.Type.func) ->
unit
Print a module signature matching type and function signature
Internal test generation function
Runtime function
rand_fun type seed arg
is a pure generic function, it generate a value of type type
seed
and arg
are parameters for the value