Module `NF.Composite`

Composite variables are obtained through a combination of atomic variables (e.g. a multi-variate polynomial).

Module signature combining OrderedType and Hashtbl.HashedType.

This includes a pre-built Table module that implements the Hashtbl.S signature.

include Domains_intf.OrderedType

type t

val pp : t Fmt.t

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

val hash : t -> int

module Table : Stdlib.Hashtbl.S with type key = t