module RevComp: functor (Comp : Comp) -> Comp with type t = Comp.t
functor (
Comp
:
) ->
with type t = Comp.t
type t
val compare : t BatOrd.comp
t BatOrd.comp