package boltzgen

  1. Overview
  2. Docs

Module Boltzgen.Generator_loopSource

Sourceval mname_of_string : string -> string
Sourceval print_typedef : Format.formatter -> Runtime.Type.def_type list -> unit

Prints a type definition

Prints a module signature matching type and function signature

Internal test generation functions

Sourceval gen_header : float -> Format.formatter -> out_err:bool -> int -> Runtime.Type.func -> (Format.formatter -> unit -> unit) -> string -> (Format.formatter -> unit -> unit) -> unit
Sourceval generic_loop : (Format.formatter -> out_err:bool -> int -> Runtime.Type.func -> (Format.formatter -> unit -> unit) -> string -> (Format.formatter -> unit -> unit) -> unit) -> (Format.formatter -> out_err:bool -> ?throw:bool -> ?canonize:string -> string -> unit) -> (Format.formatter -> 'b -> unit) -> ?out_err:bool -> ?tsrange:(int * int) -> ?throw:bool -> ?canonize:string -> ?boltz_evaluated:(Runtime.Type.def_type list * Runtime.Type.func * float) -> Format.formatter -> float -> int -> string -> 'b -> unit
Sourceval gen_test : ?out_err:bool -> ?ftotest:string -> ?tsrange:(int * int) -> ?boltz_evaluated:(Runtime.Type.def_type list * Runtime.Type.func * float) -> Format.formatter -> float -> int -> string -> unit
Sourceval gen_to_string : ?throw:bool -> ?canonize:string -> Runtime.Type.func -> string
Sourceval gen_value : ?tsrange:(int * int) -> boltz_evaluated: (Runtime.Type.def_type list * Runtime.Type.compo_type * float) -> Format.formatter -> float -> int -> unit
Sourceval gen_test_direct : ?out_err:bool -> ?throw:bool -> ?canonize:string -> ?boltz_evaluated:(Runtime.Type.def_type list * Runtime.Type.func * float) -> Format.formatter -> float -> int -> string -> unit
Sourceval gen_test_diff : ?out_err:bool -> ?tsrange:(int * int) -> ?throw:bool -> ?canonize:string -> ?boltz_evaluated:(Runtime.Type.def_type list * Runtime.Type.func * float) -> string -> string -> Format.formatter -> float -> int -> string -> unit
Sourceval gen_test_t : ?out_err:bool -> float -> int -> string -> unit

Simple test generation function

Sourceval gen_test_d : ?throw:bool -> ?canonize:string -> float -> int -> string -> unit
Sourceval gen : ?out_err:bool -> float -> int -> string -> unit
Sourceval gen_dir : float -> int -> string -> unit