package zelus

  1. Overview
  2. Docs
package zelus
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct