1 <?xml version="1.0" encoding="UTF-8"?>
3 <!-- DTD for persistent lambda-delta logical data -->
7 <!ENTITY % leaf '(Sort|LRef|GRef)'>
9 <!ENTITY % node '(Cast|Appl|Abst|Abbr|Void)'>
11 <!ENTITY % term '(%node;*,%leaf;)'>
13 <!ENTITY % terms '(%term;*)'>
17 position NMTOKEN #REQUIRED
25 position NMTOKEN #REQUIRED
26 offset NMTOKEN #IMPLIED
40 <!ELEMENT Cast %term;>
42 arity NMTOKEN #IMPLIED
47 <!ELEMENT Appl %terms;>
49 arity NMTOKEN #IMPLIED
54 <!ELEMENT Abst %terms;>
56 name NMTOKENS #IMPLIED
57 arity NMTOKEN #IMPLIED
62 <!ELEMENT Abbr %terms;>
64 name NMTOKENS #IMPLIED
65 arity NMTOKEN #IMPLIED
72 name NMTOKENS #IMPLIED
73 arity NMTOKEN #IMPLIED
78 <!-- ENVIRONMENT ENTRIES -->
80 <!ENTITY % entity '(ABST|ABBR)'>
82 <!ELEMENT ABST %term;>
90 <!ELEMENT ABBR %term;>
100 <!ELEMENT ENTITY %entity;>
102 hierarchy NMTOKEN #REQUIRED
103 options NMTOKENS #IMPLIED