Functor Namespace.Make


module Make: 
functor (X : sig
end) -> sig .. end
Build a new namespace.
Parameters:
X : sig end

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