Functor BatList.Comp

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