Module Identifier

module Identifier: sig .. end

This functor creates a fresh abstract type of names. It is typically invoked once for each namespace.

module Make: 
functor (U : sig
end) -> sig .. end