Module type LogtkPartialOrder.ELEMENT

module type ELEMENT = sig .. end

type t 
val eq : t -> t -> bool
Equality function on elements
val hash : t -> int
Hashing on elements