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