module type ORD_PRT = sig .. end
sig
end
type t
val compare : t -> t -> int
t -> t -> int
val fprintf : t Useful.fprintf
t Useful.fprintf