Module type BatOrd.Ord

module type Ord = sig .. end

type t 

val ord : t BatOrd.ord