COMPARABLE is a signature for basic comparison. It is used only for instantiating full comparison modules of signature S via the functor Make.
COMPARABLE
S
Make
type t
val compare : t -> t -> int