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