Functor BatList.Eq

module Eq: 
functor (T : BatOrd.Eq) -> Eq with type t = T.t list
Parameters:
T : BatOrd.Eq