Module B0.Def.Name

module Name: sig .. end
Definition names.


val space : unit -> string
space () is the current namespace prefix. The prefix can be empty.

The prefix is defined by relativizing a current file source according to the current file root. If neither of these exist the namespace prefix is "".

val spaced : string -> string
spaced n namespaces n if there is a namespace prefix. If the namespace is "" this n itself.


exception Panic
This exception is raised if whenever renaming fails. It should not be handled, this indicates a serious error condition in the system.