Interface.BOUNDED
include ORD
include EQ
type t
val eq : t -> t -> bool
val compare : t -> t -> ordering
val top : t
val bottom : t