Functor BatList.Eq


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