Functor BatList.Comp

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