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 * (Format.formatter -> unit)) list ref
val warning : ?pos:Locality.t -> (Format.formatter -> unit) -> unit
val deprecated : pos:Locality.t -> string -> (Format.formatter -> unit) -> unit
val flush_warning : Format.formatter -> unit
OCaml

Innovation. Community. Security.