The type of defined values.

define ~doc ~meta n defines name n in the current scope with documentation string doc (defaults to "undocumented")e and metadata meta (defaults to B0_meta.empty). Defining a duplicate value in a scope raises Duplicate.

def_kind is the kind of defined value.

def v is the definition of value v.

name v is v's name.

doc v is v's documentation string.

meta v is v's metadata.

equal v0 v1 is true iff v0 and v1 have the same name.

compare v0 v1 sorts v0 and v0 in lexicographical order.

add v adds the value v to the list of defined values.

list () is the list of units. FIXME scope that.

find n is the value named n (if any).

get n looks up the value named n and errors the B0 file if there no such n.

get_or_suggest n is the value named n or a (possibly empty) list of suggested values whose name could match n.

get_all ns are the value named ns or an error that indicates the names that could not be found with suggested names. If ns is empty then list is returned.

pp_name_str v pretty prints value names.

pp_name v formats v's name.

pp_doc formats v's doc string.

pp_synopsis formats v's name and its doc string.

pp formats v 's name, its doc string and its metadata dictionary.

Value sets.

Value maps.