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