boltzgen

Generate tests using boltzman sampling
Library boltzgen
module Gen_for_caseine : sig ... end
module Gen_test_lib : sig ... end

Boltzgen runtime library entry point

module Math : sig ... end
module Parse_from_compiler : sig ... end
module Question_type : sig ... end
module Recursive_type_gen : sig ... end

Functions for handling value generation except sum types

module Sum_type : sig ... end
module Type : sig ... end
module Type_lib : sig ... end