module RevOrd: functor (Ord : Ord) -> Ord with type t = Ord.t
functor (
Ord
:
) ->
with type t = Ord.t
type t
val ord : t BatOrd.ord
t BatOrd.ord