package KaSim

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