module Bucket: sig .. end
sig
end
module type Contents = sig .. end
module type S = sig .. end
module Make: functor (C : Contents) -> sig .. end
functor (
C
:
Contents
) ->
module Int: Make(Int)
Make
(
Int
)
module Int64: Make(Int64)
Int64
module Float: Make(Float)
Float