bindings: a subsort of map. Its individuals
represent collections of associations between tokens and bindable
(or unknown) individuals. (Further entities, called
indirections, are associated with tokens in connection with
the directive actions)
token: a subsort of distinct-datum. Left
unspecified, as it depends on the variety of identifiers of a
programming language. (Usually, it is a subsort of string.)
bindable: a subsort of data. Left
open, as it depends on the variety of scoped information
processed by the programs of a programming language.
unknown: an individual datum, not of sort
bindable. A binding of a token to unknown is used to
conceal a binding of the token to other data.
known b: the restriction of the bindings b
obtained by omitting bindings of tokens to unknown.
|