module EqComp: functor (Comp : Comp) -> Eq with type t = Comp.t
functor (
Comp
:
) ->
Eq
with type t = Comp.t
type t
val eq : t BatOrd.eq
t BatOrd.eq