Definitions
module Scope : sig ... end
Scopes are used to track and scope B0 definitions created by libraries and B0 files.
val file : t -> B00_std.Fpath.t option
file d
is the absolute file path in which d
is defined, if defined in a file.
val dir : t -> B00_std.Fpath.t option
dir
is the parent of file d
.
val name : t -> string
name d
is the qualified name of d
.
val doc : t -> string
doc d
is a one-line documentation string for d
.
Exception thrown if a definition error occurs. This can be due to
- Duplicate name.
- Malformed name.
The argument is an error message to print as is. The backtrace should point to the redefinition (it is unfortunately difficult to keep track of the previous definition).
Defining values
module type VALUE = sig ... end
The type for values to be named.
module type S = sig ... end
The type of named values.