Declarative Data


bindings | token | bindable | unknown | known b

   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.



    Declarative Action Index | Declarative Actions | Declarative Yielders | Declarative Data