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