Functor BatOrd.EqComp

module EqComp: 
functor (Comp : Comp-> Eq with type t = Comp.t
Parameters:
Comp : Comp

type t 
val eq : t BatOrd.eq