package alt-ergo-lib

  1. Overview
  2. Docs
type t
val make : string -> t
val view : t -> string
val print : Stdlib.Format.formatter -> t -> unit
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val empty : t
val list_assoc : t -> (t * 'a) list -> 'a
val fresh_string : unit -> string
val is_fresh_string : string -> bool
val is_fresh_skolem : string -> bool
val save_cache : unit -> unit

Saves the module's cache

val reinit_cache : unit -> unit

Reinitializes the module's cache

module Set : Stdlib.Set.S with type elt = t
module Map : Stdlib.Map.S with type key = t
OCaml

Innovation. Community. Security.