Zdd.T
Signature of types for which set families can be created
type t
val hash : t -> int
Hash function
val compare : t -> t -> int
Total order
val equal : t -> t -> bool
Equality test
val pp : Stdlib.Format.formatter -> t -> unit
Pretty printer