Functor BatOrd.EqOrd


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

type t 
val eq : t BatOrd.eq