sig   module Eq :     functor (T : BatOrd.Eq) ->       sig type t = T.t array val eq : T.t array BatOrd.eq end   module Ord :     functor (T : BatOrd.Ord) ->       sig type t = T.t array val ord : T.t array BatOrd.ord end end