module Make: functor (
X
:
sig
end
) ->
sig
.. end
Build a new namespace.
type
t
exception AlreadyExists of string
val make : string -> t
Make a new name.
Raises AlreadyExists
if it already exists.
val extend : string -> string -> t
Build a new name from 2 strings.
No verification is performed for the existence of names.
val extend2 : string -> string -> string -> t
Build a new name from 3 strings.
No verification is performed for the existence of names.
val extend3 : string -> string -> string -> string -> t
Build a new name from 4 strings.
No verification is performed for the existence of names.
val get : t -> string
Returns the name