package zelus

  1. Overview
  2. Docs
val header_in_file : string
module S : sig ... end
module Env : sig ... end
val name_of_stdlib_module : string
val standard_lib : string
val default_used_modules : string list Stdlib.ref
val load_path : string list Stdlib.ref
val set_stdlib : string -> unit
val locate_stdlib : unit -> unit
val show_version : unit -> unit
val simulation_node : string option Stdlib.ref
val set_simulation_node : string -> unit
val outname : string option Stdlib.ref
val set_outname : string -> unit
val node_outname : string option Stdlib.ref
val set_node_outname : string -> unit
val number_of_checks : int Stdlib.ref
val set_check : int -> unit
val sampling_period : float Stdlib.ref
val set_sampling_period : float -> unit
val inlining_level : int Stdlib.ref
val set_inlining_level : int -> unit
val inline_all : bool Stdlib.ref
val dzero : bool Stdlib.ref
val verbose : bool Stdlib.ref
val vverbose : bool Stdlib.ref
val print_types : bool Stdlib.ref
val print_causality_types : bool Stdlib.ref
val print_initialization_types : bool Stdlib.ref
val typeonly : bool Stdlib.ref
val use_gtk : bool Stdlib.ref
val no_stdlib : bool Stdlib.ref
val no_causality : bool Stdlib.ref
val no_initialisation : bool Stdlib.ref
val no_opt : bool Stdlib.ref
val no_deadcode : bool Stdlib.ref
val no_simplify_causality_type : bool Stdlib.ref
val no_reduce : bool Stdlib.ref
val no_warning : bool Stdlib.ref
val zsign : bool Stdlib.ref
val with_copy : bool Stdlib.ref
val use_rif : bool Stdlib.ref
val build_deps : bool Stdlib.ref
val lmm_nodes : S.t Stdlib.ref
val set_lmm_nodes : string -> unit
class name_generator : object ... end
val symbol : name_generator
class name_assoc_table : (int -> string) -> object ... end
val int_to_letter : int -> int -> string
val int_to_alpha : int -> string
val generic : int
val notgeneric : int
val maxlevel : int
val binding_level : int Stdlib.ref
val top_binding_level : unit -> bool
val push_binding_level : unit -> unit
val pop_binding_level : unit -> unit
val reset_binding_level : unit -> unit
val optional : ('a -> 'b -> 'a) -> 'a -> 'b option -> 'a
val optional_unit : ('a -> 'b -> unit) -> 'a -> 'b option -> unit
val optional_map : ('a -> 'b) -> 'a option -> 'b option
val optional_with_map : ('a -> 'b -> 'c * 'a) -> 'a -> 'b option -> 'c option * 'a
val optional_get : 'a option -> 'a
val iter : ('a -> 'b) -> 'a list -> 'b list
val fold : ('a list -> 'b -> 'a list) -> 'b list -> 'a list
val from : int -> int list
val map_fold : ('a -> 'b -> 'c * 'a) -> 'a -> 'b list -> 'c list * 'a
val firsts : 'a list -> 'a list * 'a
module State : sig ... end

The data-structure to represent a state

exception Error
val internal_error : string -> (Stdlib.Format.formatter -> 'a -> unit) -> 'a -> 'b
OCaml

Innovation. Community. Security.