sy id sy : sy , sy [ sy ] sy = sy semiColon sy . sy { sy } sy RECORD sy REF sy ANY sy LIST sy SEQUENCE sy OF sy NULL sy FROM sy TYPE sy CEDAR sy MODULE sy BEGIN sy END sy MainGoal sy ModuleBody sy declist sy declaration sy from sy identlist sy identlistP sy typeexp sy typeid sy typeidP sy typecons sy elementlist sy elementlistP sy element sy reclist sy variantpair sy variantpart sy vcasehead sy tagtype sy ident sy pairlist sy pairitem sy typelist gt id tokenID ut : : ut , , ut [ [ ut ] ] ut = = ut semiColon ; ut . . ut { { ut } } ut RECORD RECORD ut REF REF ut ANY ANY ut LIST LIST ut SEQUENCE SEQUENCE ut OF OF ut NULL NULL ut FROM FROM ut TYPE TYPE ut CEDAR CEDAR ut MODULE MODULE ut BEGIN BEGIN ut END END sh 0 <ModuleBody> 2 sh 0 <id> 1 sh 1 <:> 3 ac 2 <> sh 3 <MODULE> 4 sh 4 <=> 5 sh 5 <BEGIN> 6 sh 6 <declist> 11 sh 6 <id> 10 sh 6 <identlistP> 9 sh 6 <identlist> 8 sh 6 <declaration> 7 rd 7 <semiColon> declist 3 1 rd 7 <END> declist 3 1 sh 8 <CEDAR> 22 sh 8 <TYPE> 21 rd 9 <id> identlist 9 1 rd 9 <{> identlist 9 1 rd 9 <RECORD> identlist 9 1 rd 9 <REF> identlist 9 1 rd 9 <LIST> identlist 9 1 rd 9 <SEQUENCE> identlist 9 1 rd 9 <TYPE> identlist 9 1 rd 9 <CEDAR> identlist 9 1 sh 10 <,> 19 sh 10 <:> 18 sh 11 <semiColon> 13 sh 11 <END> 12 sh 12 <.> 17 sh 13 <declaration> 15 sh 13 <id> 10 sh 13 <identlistP> 9 sh 13 <identlist> 8 sh 13 <END> 14 sh 14 <.> 16 rd 15 <semiColon> declist 4 3 rd 15 <END> declist 4 3 rd 16 <> ModuleBody 2 9 rd 17 <> ModuleBody 1 8 rd 18 <id> identlistP 10 2 rd 18 <{> identlistP 10 2 rd 18 <RECORD> identlistP 10 2 rd 18 <REF> identlistP 10 2 rd 18 <LIST> identlistP 10 2 rd 18 <SEQUENCE> identlistP 10 2 rd 18 <TYPE> identlistP 10 2 rd 18 <CEDAR> identlistP 10 2 sh 19 <identlistP> 20 sh 19 <id> 10 rd 20 <id> identlistP 11 3 rd 20 <{> identlistP 11 3 rd 20 <RECORD> identlistP 11 3 rd 20 <REF> identlistP 11 3 rd 20 <LIST> identlistP 11 3 rd 20 <SEQUENCE> identlistP 11 3 rd 20 <TYPE> identlistP 11 3 rd 20 <CEDAR> identlistP 11 3 sh 21 <=> 94 sh 22 <TYPE> 23 sh 23 <from> 25 sh 23 <FROM> 24 rd 23 <=> from 7 0 sh 24 <id> 93 sh 25 <=> 26 sh 26 <typeexp> 35 sh 26 <LIST> 34 sh 26 <REF> 33 sh 26 <RECORD> 32 sh 26 <{> 31 sh 26 <typecons> 30 sh 26 <typeidP> 29 sh 26 <id> 28 sh 26 <typeid> 27 rd 27 <,> typeexp 13 1 rd 27 <]> typeexp 13 1 rd 27 <semiColon> typeexp 13 1 rd 27 <OF> typeexp 13 1 rd 27 <END> typeexp 13 1 sh 28 <.> 59 sh 28 <typeid> 58 sh 28 <typeidP> 29 sh 28 <id> 57 rd 28 <,> typeexp 12 1 rd 28 <]> typeexp 12 1 rd 28 <semiColon> typeexp 12 1 rd 28 <OF> typeexp 12 1 rd 28 <END> typeexp 12 1 sh 29 <.> 91 rd 29 <,> typeid 17 1 rd 29 <]> typeid 17 1 rd 29 <semiColon> typeid 17 1 rd 29 <OF> typeid 17 1 rd 29 <END> typeid 17 1 rd 30 <,> typeexp 14 1 rd 30 <]> typeexp 14 1 rd 30 <semiColon> typeexp 14 1 rd 30 <OF> typeexp 14 1 rd 30 <END> typeexp 14 1 sh 31 <elementlist> 87 sh 31 <id> 86 sh 31 <elementlistP> 85 sh 31 <element> 84 rd 31 <}> elementlist 25 0 sh 32 <reclist> 42 sh 32 <[> 41 sh 32 <NULL> 40 sh 33 <ANY> 39 sh 33 <typeexp> 38 sh 33 <LIST> 34 sh 33 <REF> 33 sh 33 <RECORD> 32 sh 33 <{> 31 sh 33 <typecons> 30 sh 33 <typeidP> 29 sh 33 <id> 28 sh 33 <typeid> 27 sh 34 <OF> 36 rd 35 <semiColon> declaration 6 6 rd 35 <END> declaration 6 6 sh 36 <typeexp> 37 sh 36 <LIST> 34 sh 36 <REF> 33 sh 36 <RECORD> 32 sh 36 <{> 31 sh 36 <typecons> 30 sh 36 <typeidP> 29 sh 36 <id> 28 sh 36 <typeid> 27 rd 37 <,> typecons 24 3 rd 37 <]> typecons 24 3 rd 37 <semiColon> typecons 24 3 rd 37 <OF> typecons 24 3 rd 37 <END> typecons 24 3 rd 38 <,> typecons 22 2 rd 38 <]> typecons 22 2 rd 38 <semiColon> typecons 22 2 rd 38 <OF> typecons 22 2 rd 38 <END> typecons 22 2 rd 39 <,> typecons 23 2 rd 39 <]> typecons 23 2 rd 39 <semiColon> typecons 23 2 rd 39 <OF> typecons 23 2 rd 39 <END> typecons 23 2 rd 40 <,> reclist 31 1 rd 40 <]> reclist 31 1 rd 40 <semiColon> reclist 31 1 rd 40 <OF> reclist 31 1 rd 40 <END> reclist 31 1 sh 41 <variantpair> 53 sh 41 <identlist> 52 sh 41 <id> 51 sh 41 <identlistP> 9 sh 41 <variantpart> 50 sh 41 <SEQUENCE> 49 sh 41 <pairlist> 48 sh 41 <pairitem> 47 sh 41 <typelist> 46 sh 41 <typeid> 45 sh 41 <typeidP> 29 sh 41 <typecons> 44 sh 41 <LIST> 34 sh 41 <REF> 33 sh 41 <RECORD> 32 sh 41 <{> 31 sh 41 <]> 43 rd 42 <,> typecons 21 2 rd 42 <]> typecons 21 2 rd 42 <semiColon> typecons 21 2 rd 42 <OF> typecons 21 2 rd 42 <END> typecons 21 2 rd 43 <,> reclist 30 2 rd 43 <]> reclist 30 2 rd 43 <semiColon> reclist 30 2 rd 43 <OF> reclist 30 2 rd 43 <END> reclist 30 2 sh 44 <,> 82 rd 44 <]> typelist 45 1 sh 45 <,> 78 rd 45 <]> typelist 46 1 sh 46 <]> 77 rd 47 <,> pairlist 42 1 rd 47 <]> pairlist 42 1 sh 48 <,> 73 sh 48 <]> 72 sh 49 <vcasehead> 66 sh 49 <id> 65 sh 49 <ident> 64 sh 50 <]> 63 sh 51 <,> 60 sh 51 <.> 59 sh 51 <typeid> 58 sh 51 <typeidP> 29 sh 51 <id> 57 sh 51 <:> 18 rd 51 <]> typelist 47 1 sh 52 <typeexp> 56 sh 52 <LIST> 34 sh 52 <REF> 33 sh 52 <RECORD> 32 sh 52 <{> 31 sh 52 <typecons> 30 sh 52 <typeidP> 29 sh 52 <id> 28 sh 52 <typeid> 27 sh 52 <variantpart> 55 sh 52 <SEQUENCE> 49 sh 53 <]> 54 rd 54 <,> reclist 36 3 rd 54 <]> reclist 36 3 rd 54 <semiColon> reclist 36 3 rd 54 <OF> reclist 36 3 rd 54 <END> reclist 36 3 rd 55 <]> variantpair 37 2 rd 56 <,> pairitem 44 2 rd 56 <]> pairitem 44 2 sh 57 <.> 59 sh 57 <typeid> 58 sh 57 <typeidP> 29 sh 57 <id> 57 rd 57 <,> typeid 15 2 rd 57 <]> typeid 15 2 rd 57 <semiColon> typeid 15 2 rd 57 <OF> typeid 15 2 rd 57 <END> typeid 15 2 rd 58 <,> typeid 16 2 rd 58 <]> typeid 16 2 rd 58 <semiColon> typeid 16 2 rd 58 <OF> typeid 16 2 rd 58 <END> typeid 16 2 sh 59 <id> 62 sh 60 <typelist> 61 sh 60 <id> 51 sh 60 <typeid> 45 sh 60 <typeidP> 29 sh 60 <typecons> 44 sh 60 <LIST> 34 sh 60 <REF> 33 sh 60 <RECORD> 32 sh 60 <{> 31 sh 60 <identlistP> 20 rd 61 <]> typelist 50 3 rd 62 <,> typeidP 18 3 rd 62 <]> typeidP 18 3 rd 62 <semiColon> typeidP 18 3 rd 62 <.> typeidP 18 3 rd 62 <OF> typeidP 18 3 rd 62 <END> typeidP 18 3 rd 63 <,> reclist 35 3 rd 63 <]> reclist 35 3 rd 63 <semiColon> reclist 35 3 rd 63 <OF> reclist 35 3 rd 63 <END> reclist 35 3 sh 64 <tagtype> 71 sh 64 <typeexp> 70 sh 64 <LIST> 34 sh 64 <REF> 33 sh 64 <RECORD> 32 sh 64 <{> 31 sh 64 <typeidP> 29 sh 64 <id> 28 sh 64 <typecons> 30 sh 64 <typeid> 27 sh 65 <:> 69 sh 66 <OF> 67 sh 67 <typeexp> 68 sh 67 <LIST> 34 sh 67 <REF> 33 sh 67 <RECORD> 32 sh 67 <{> 31 sh 67 <typecons> 30 sh 67 <typeidP> 29 sh 67 <id> 28 sh 67 <typeid> 27 rd 68 <]> variantpart 38 4 rd 69 <id> ident 41 2 rd 69 <{> ident 41 2 rd 69 <RECORD> ident 41 2 rd 69 <REF> ident 41 2 rd 69 <LIST> ident 41 2 rd 70 <OF> tagtype 40 1 rd 71 <OF> vcasehead 39 2 rd 72 <,> reclist 32 3 rd 72 <]> reclist 32 3 rd 72 <semiColon> reclist 32 3 rd 72 <OF> reclist 32 3 rd 72 <END> reclist 32 3 sh 73 <pairitem> 75 sh 73 <identlist> 52 sh 73 <id> 10 sh 73 <identlistP> 9 sh 73 <variantpair> 74 sh 74 <]> 76 rd 75 <,> pairlist 43 3 rd 75 <]> pairlist 43 3 rd 76 <,> reclist 34 5 rd 76 <]> reclist 34 5 rd 76 <semiColon> reclist 34 5 rd 76 <OF> reclist 34 5 rd 76 <END> reclist 34 5 rd 77 <,> reclist 33 3 rd 77 <]> reclist 33 3 rd 77 <semiColon> reclist 33 3 rd 77 <OF> reclist 33 3 rd 77 <END> reclist 33 3 sh 78 <typelist> 80 sh 78 <id> 79 sh 78 <typeid> 45 sh 78 <typeidP> 29 sh 78 <typecons> 44 sh 78 <LIST> 34 sh 78 <REF> 33 sh 78 <RECORD> 32 sh 78 <{> 31 sh 79 <,> 81 sh 79 <.> 59 sh 79 <typeid> 58 sh 79 <typeidP> 29 sh 79 <id> 57 rd 79 <]> typelist 47 1 rd 80 <]> typelist 49 3 sh 81 <typelist> 61 sh 81 <id> 79 sh 81 <typeid> 45 sh 81 <typeidP> 29 sh 81 <typecons> 44 sh 81 <LIST> 34 sh 81 <REF> 33 sh 81 <RECORD> 32 sh 81 <{> 31 sh 82 <typelist> 83 sh 82 <id> 79 sh 82 <typeid> 45 sh 82 <typeidP> 29 sh 82 <typecons> 44 sh 82 <LIST> 34 sh 82 <REF> 33 sh 82 <RECORD> 32 sh 82 <{> 31 rd 83 <]> typelist 48 3 rd 84 <,> elementlistP 27 1 rd 84 <}> elementlistP 27 1 sh 85 <,> 89 rd 85 <}> elementlist 26 1 rd 86 <,> element 29 1 rd 86 <}> element 29 1 sh 87 <}> 88 rd 88 <,> typecons 20 3 rd 88 <]> typecons 20 3 rd 88 <semiColon> typecons 20 3 rd 88 <OF> typecons 20 3 rd 88 <END> typecons 20 3 sh 89 <element> 90 sh 89 <id> 86 rd 90 <,> elementlistP 28 3 rd 90 <}> elementlistP 28 3 sh 91 <id> 92 rd 92 <,> typeidP 19 3 rd 92 <]> typeidP 19 3 rd 92 <semiColon> typeidP 19 3 rd 92 <.> typeidP 19 3 rd 92 <OF> typeidP 19 3 rd 92 <END> typeidP 19 3 rd 93 <=> from 8 2 sh 94 <typeexp> 95 sh 94 <LIST> 34 sh 94 <REF> 33 sh 94 <RECORD> 32 sh 94 <{> 31 sh 94 <typecons> 30 sh 94 <typeidP> 29 sh 94 <id> 28 sh 94 <typeid> 27 rd 95 <semiColon> declaration 5 4 rd 95 <END> declaration 5 4 start 0  end