1 Scope
2 References
3 Syntactic
Interface
3.1 Language
declaration
3.2 Parenthesis
and escape declarations
3.3 Data
declaration and use
3.4 Default
data types and wildcards
4 Semantic interface
4.1 Well-formedness
definitions
4.2 Static
semantics interface functions
4.2.1 Tc1,
Data definition strings
4.2.2 Tc2,
Type reference strings
4.2.3 Tc3,
Expression Strings
4.2.4 Tc4,
Typed expression strings
4.2.5 EqVar,
Equal variable strings
4.3 Dynamic
semantics interface functions
4.3.1 Vars,
Extract variables
4.3.2 Replace,
Variable replacement
4.3.3 NewVar,
New variable
4.3.4 Eval,
Evaluation of expressions
5 Example
5.1 Use
of default SDL interface