module Incubator: sig .. end
sig
end
module Eq: functor (T : BatOrd.Eq) -> sig .. end
functor (
T
:
BatOrd.Eq
) ->
module Ord: functor (T : BatOrd.Ord) -> sig .. end
BatOrd.Ord