Module NormalForm.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 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