Module type LogtkComparison.PARTIAL_ORD

module type PARTIAL_ORD = sig .. end

type t 
val partial_cmp : t ->
t -> LogtkComparison.comparison