Functor BatOrd.EqOrd

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

Parameters:

Ord : Ord

type t

val eq : t BatOrd.eq