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