package KaSim

  1. Overview
  2. Docs
exception IntFound of int
exception StringFound of string
exception MapFound of int Mods.IntMap.t
exception False
exception True
exception Break of int
exception Null_event of int
exception StopReached of string
exception Syntax_Error of string Locality.annot
exception Malformed_Decl of string Locality.annot
exception Internal_Error of string Locality.annot
exception Unsatisfiable
val warning_buffer : (Locality.t option * (Stdlib.Format.formatter -> unit)) list Stdlib.ref
val warning : ?pos:Locality.t -> (Stdlib.Format.formatter -> unit) -> unit
val deprecated : pos:Locality.t -> string -> (Stdlib.Format.formatter -> unit) -> unit
val flush_warning : Stdlib.Format.formatter -> unit
OCaml

Innovation. Community. Security.