module Unique_id: sig .. end
sig
end
module type Unit_ref = sig .. end
module Unit_ref: functor (M : sigend) -> sig .. end
functor (
M
:
) ->
module type Int64 = sig .. end
module Int64: functor (Z : sigend) -> sig .. end
Z