Functor BatOrd.RevOrd

module RevOrd: 
functor (Ord : Ord) -> Ord with type t = Ord.t
Parameters:
Ord : Ord

type t 
val ord : t BatOrd.ord