Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package boltzgen
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val verbose : int reftype compo_type = | Name of string * compo_type list| Abstract of string| Fun of compo_type list * compo_type| Prod of compo_type list
A type for ocaml type
A type for named function
val flatten_prod : compo_type list -> compo_type listval ano_func : func -> compo_typeval deano_func : string -> compo_type -> functype sum_type_def = (string * compo_type option * float option) listtype sum_type = (string * string list) * sum_type_defval hide : 'a -> compo_type -> hidden_typeval reveal : hidden_type -> compo_type -> 'atype recdefprint = (compo_type * string) listtype poly = ((compo_type list * int) * float) listtype poly_assoc = (compo_type * poly) listtype named_type = {identifier : string;boltz_identifier : string;is_simple : bool;arguments : int;get_equ : (compo_type -> poly_assoc -> poly_assoc) -> poly_assoc -> compo_type -> poly_assoc;gen_fun : Random.State.t -> int -> (Random.State.t -> int -> compo_type -> float -> hidden_type * int) -> (compo_type -> gen_function) -> compo_type -> float -> hidden_type * int;print : (compo_type -> Format.formatter -> hidden_type -> unit) -> compo_type -> Format.formatter -> hidden_type -> unit;string_of_named : recdefprint -> (recdefprint -> compo_type -> string) -> compo_type -> string;boltzman_fun : (compo_type -> gen_function) -> compo_type -> gen_function;
}val find_type : string -> named_typeval rewrite : compo_type -> compo_typeval add_type_to_lib : ?rename:string -> named_type -> unitval pp_compo : ?use_boltz_id:bool -> Format.formatter -> compo_type -> unitval pp_func : ?use_boltz_id:bool -> Format.formatter -> func -> unitval pp_sum : Format.formatter -> sum_type -> unitval instantiate : string -> compo_type -> compo_type -> compo_type