Module type LogtkInterfaces.ORD

module type ORD = sig .. end

type t 
val cmp : t -> t -> int