boltzgen

Generate tests using boltzman sampling
Library boltzgen
val fill_type_lib : unit -> unit
val get_param1 : Type.compo_type -> Type.compo_type
val simple_type : Type.named_type
val type_unit : Type.named_type
val type_int : Type.named_type
val gen_char : ?low:char -> ?high:char -> Random.State.t -> char
val gen_char_simple : ?use_space:bool -> Random.State.t -> char
val type_char : Type.named_type
val type_string : Type.named_type