alt-ergo-lib
NF.Atom
Atomic variables cannot be decomposed further.
Module signature combining OrderedType and Hashtbl.HashedType.
OrderedType
Hashtbl.HashedType
This includes a pre-built Table module that implements the Hashtbl.S signature.
Table
Hashtbl.S
include Domains_intf.OrderedType
type t
val pp : t Fmt.t
val compare : t -> t -> int
module Set : Set.S with type elt = t
module Map : Map.S with type key = t
val equal : t -> t -> bool
val hash : t -> int
module Table : Hashtbl.S with type key = t