module X = Shostak.Combinemodule type OrderedType = sig ... endModule signature for an ordered type equipped with a compare function.
module type ComparableType = sig ... endModule signature combining OrderedType and Hashtbl.HashedType.
module type Domain = sig ... endmodule type EphemeralDomainMap = sig ... endThis module provides a signature for ephemeral domain maps: imperative mappings from some key type to a domain type.
module type EntryNotation = sig ... endmodule type NormalForm = sig ... endModule signature for normal form computations.
type ('a, 'c, 'w) events = {evt_atomic_change : 'a -> unit;evt_composite_change : 'c -> unit;Called by the ephemeral interface when the domain associated with a variable changes.
*)evt_watch_trigger : 'w -> unit;Called by the ephemeral interface when a watcher is triggered.
*)}Handlers for events used by the ephemeral interface.
module type S = sig ... end