CONTENTS

�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����