Functor BatList.Ord

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