Option.Ord
O : Interface.ORD
include Interface.EQ
type t
val eq : t -> t -> bool
val compare : t -> t -> Interface.ordering