package alt-ergo-lib

  1. Overview
  2. Docs
type t
type view = {
  1. hs : Hstring.t;
  2. id : int;
}
val of_hstring : Hstring.t -> t
val of_string : string -> t
val view : t -> view
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val print : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
val save_cnt : unit -> unit

Saves the values of the counter

val reinit_cnt : unit -> unit

Reinitializes the counter to the saved value with save_cnt, 1 if no value is saved, since after the initialization of the modules cnt is set to 1 when initializing the underscore constant in the Symbols module

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

Innovation. Community. Security.