boltzgen
Generate tests using boltzman sampling
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Library boltzgen
val named_of_sum : Type.sum_type -> Type.named_typeval print_equations :
Format.formatter ->
(Type.compo_type * Type.poly) array ->
unitval compute_size :
( Type.compo_type -> float -> (float * float) option ) ->
Type.poly_assoc ->
float ->
(Type.compo_type * float * float) list option