BasicSpec.signature.output revision 1012fdd997ea1f35eee2ccdd4015199f09f18fe9
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maedersorts ABCDEFGHIJKLMONOPQRSTUVWXYZ, Boolean, Char, Data1, Data2,
81d182b21020b815887e9057959228546cf61b6bChristian Maeder Data3, Data4, Forest, Int, List, Nat, Pos, Rat, Set, Tree, a, a',
81d182b21020b815887e9057959228546cf61b6bChristian Maeder a'b''2, a_b_c, ab2, ab_2_3_a, abc, abcdefghijlklmnopqrstuvwxyz, b,
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder c, d, e, nat, s, t, x0123456789,
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder ����������������������������������������������������������
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maederop ' ' : Char
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maederop '!' : Char
ffd01020a4f35f434b912844ad6e0d6918fadffdChristian Maederop '!' : s
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maederop '#' : Char
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maederop '$' : Char
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maederop '$' : s
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maederop '%' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '&' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '&' : s
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '(' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '(' : s
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop ')' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop ')' : s
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '*' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '+' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop ',' : Char
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maederop '-' : Char
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederop '.' : Char
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederop '/' : Char
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederop '/' : s
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '0' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '0' : s
05e2a3161e4589a717c6fe5c7306820273a473c5Christian Maederop '1' : Char
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maederop '1' : s
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '2' : Char
5d7e4bf173534e7eb3fc84dce7bb0151079d3f8aChristian Maederop '2' : s
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '3' : Char
ad270004874ce1d0697fb30d7309f180553bb315Christian Maederop '3' : s
ad270004874ce1d0697fb30d7309f180553bb315Christian Maederop '4' : Char
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederop '4' : s
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '5' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '5' : s
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '6' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '6' : s
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '7' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '7' : s
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '8' : Char
6f031207ab25d41ae4740a4151d5946faff4768bChristian Maederop '8' : s
6f031207ab25d41ae4740a4151d5946faff4768bChristian Maederop '9' : Char
e7ce154edb906685b3fa7f6c0a764e18a4658068Christian Maederop '9' : s
e7ce154edb906685b3fa7f6c0a764e18a4658068Christian Maederop ':' : Char
e7ce154edb906685b3fa7f6c0a764e18a4658068Christian Maederop ';' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '<' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '=' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '=' : s
024621f43239cfe9629e35d35a8669fad7acbba2Christian Maederop '>' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '?' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '?' : s
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederop '@' : Char
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederop 'A' : Char
27912d626bf179b82fcb337077e5cd9653bb71cfChristian Maederop 'B' : Char
e13ee09381f136f5eadaabdb9699773c0052cf3dChristian Maederop 'C' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'D' : Char
5c933f3c61d2cfa7e76e4eb610a4b0bac988be47Christian Maederop 'E' : Char
5c933f3c61d2cfa7e76e4eb610a4b0bac988be47Christian Maederop 'F' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop 'G' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop 'H' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'I' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'J' : Char
f6fc70956d64365527d77a521a96f54a1cc18f91Christian Maederop 'K' : Char
f6fc70956d64365527d77a521a96f54a1cc18f91Christian Maederop 'L' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop 'M' : Char
f6fc70956d64365527d77a521a96f54a1cc18f91Christian Maederop 'N' : Char
f6fc70956d64365527d77a521a96f54a1cc18f91Christian Maederop 'O' : Char
f6fc70956d64365527d77a521a96f54a1cc18f91Christian Maederop 'P' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'Q' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'R' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop 'S' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'T' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'U' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'V' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'W' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'X' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'Y' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop 'Z' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '[' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\"' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\"' : s
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\'' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\000' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\000' : s
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\001' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\002' : Char
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maederop '\003' : Char
998747cb2ee575cccdd7d865c95d0ef07516a6a5Christian Maederop '\004' : Char
07e579405f31fff7f9315685661b5a87cb99c41bChristian Maederop '\005' : Char
07e579405f31fff7f9315685661b5a87cb99c41bChristian Maederop '\006' : Char
07e579405f31fff7f9315685661b5a87cb99c41bChristian Maederop '\007' : Char
07e579405f31fff7f9315685661b5a87cb99c41bChristian Maederop '\008' : Char
07e579405f31fff7f9315685661b5a87cb99c41bChristian Maederop '\009' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\010' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\011' : Char
bbcc77a6eb9554dd3092cabafae1e5ca74a054eeChristian Maederop '\012' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\013' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\014' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\015' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\016' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\017' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\018' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\019' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\020' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\021' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\022' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\023' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\024' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\025' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\026' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\027' : Char
e13ee09381f136f5eadaabdb9699773c0052cf3dChristian Maederop '\028' : Char
e13ee09381f136f5eadaabdb9699773c0052cf3dChristian Maederop '\029' : Char
e13ee09381f136f5eadaabdb9699773c0052cf3dChristian Maederop '\030' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\031' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\032' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\033' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\034' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\035' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\036' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\037' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\038' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\039' : Char
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maederop '\040' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\041' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\042' : Char
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maederop '\043' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\044' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '\045' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\046' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\047' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\048' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\049' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\050' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\051' : Char
2ca4cb7c4970015237ff434081c2c5bc74284cadChristian Maederop '\052' : Char
2ca4cb7c4970015237ff434081c2c5bc74284cadChristian Maederop '\053' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\054' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\055' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '\056' : Char
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maederop '\057' : Char
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maederop '\058' : Char
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maederop '\059' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\060' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\061' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\062' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\063' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\064' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\065' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '\066' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '\067' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\068' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\069' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\070' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\071' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\072' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\073' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\074' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\075' : Char
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maederop '\076' : Char
e13ee09381f136f5eadaabdb9699773c0052cf3dChristian Maederop '\077' : Char
e13ee09381f136f5eadaabdb9699773c0052cf3dChristian Maederop '\078' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\079' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\080' : Char
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maederop '\081' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\082' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\083' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\084' : Char
61091743da1a9ed6dfd5e077fdcc972553358962Christian Maederop '\085' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\086' : Char
08b724e8dcbba5820d80f0974b9a5385140815baChristian Maederop '\087' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\088' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\089' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\090' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\091' : Char
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maederop '\092' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\093' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\094' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\095' : Char
2e9985cd67e4f2414becb670ef33b8f16513e41dChristian Maederop '\096' : Char
f9d358050e368eef1dcb45565b921a70bc68ef2dMihai Codescuop '\097' : Char
2e9985cd67e4f2414becb670ef33b8f16513e41dChristian Maederop '\098' : Char
2e9985cd67e4f2414becb670ef33b8f16513e41dChristian Maederop '\099' : Char
2e9985cd67e4f2414becb670ef33b8f16513e41dChristian Maederop '\100' : Char
2e9985cd67e4f2414becb670ef33b8f16513e41dChristian Maederop '\101' : Char
2e9985cd67e4f2414becb670ef33b8f16513e41dChristian Maederop '\102' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\103' : Char
76647324ed70f33b95a881b536d883daccf9568dChristian Maederop '\104' : Char
717686b54b9650402e2ebfbaadf433eab8ba5171Christian Maederop '\105' : Char
405b95208385572f491e1e0207d8d14e31022fa6Christian Maederop '\106' : Char
f2ee9fc53048ea92bad79e3f5d292d83efd7f8beMihai Codescuop '\107' : Char
f2ee9fc53048ea92bad79e3f5d292d83efd7f8beMihai Codescuop '\108' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\109' : Char
8c81b727b788d90ff3b8cbda7b0900c9009243bbChristian Maederop '\110' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\111' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\112' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\113' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\114' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\115' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\116' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\117' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\118' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\119' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\120' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\121' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\122' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\123' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\124' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\125' : Char
4eaf4dc236c387ef179bc7532831a3f15c049baeChristian Maederop '\126' : Char
4eaf4dc236c387ef179bc7532831a3f15c049baeChristian Maederop '\127' : Char
4eaf4dc236c387ef179bc7532831a3f15c049baeChristian Maederop '\128' : Char
4eaf4dc236c387ef179bc7532831a3f15c049baeChristian Maederop '\129' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\130' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\131' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\132' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\133' : Char
341d00318de2d0ea9b6f0ab43f7e4d10ee4fb454Christian Maederop '\134' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\135' : Char
6b23467258cdc15e05f1845cd400d60ca6eba966Christian Maederop '\136' : Char
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maederop '\137' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\138' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\139' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\140' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\141' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\142' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\143' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\144' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\145' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\146' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\147' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\148' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\149' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\150' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\151' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\152' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\153' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\154' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\155' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\156' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\157' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\158' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\159' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '\160' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\161' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\162' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\163' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '\164' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '\165' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\166' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\167' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\168' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\169' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\170' : Char
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maederop '\171' : Char
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maederop '\172' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\173' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\174' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\175' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\176' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\177' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\178' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\179' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\180' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\181' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\182' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\183' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\184' : Char
0a320bc4cdbf38f480b75ac15a54db1c4885b497Christian Maederop '\185' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\186' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\187' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\188' : Char
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maederop '\189' : Char
op '\190' : Char
op '\191' : Char
op '\192' : Char
op '\193' : Char
op '\194' : Char
op '\195' : Char
op '\196' : Char
op '\197' : Char
op '\198' : Char
op '\199' : Char
op '\200' : Char
op '\201' : Char
op '\202' : Char
op '\203' : Char
op '\204' : Char
op '\205' : Char
op '\206' : Char
op '\207' : Char
op '\208' : Char
op '\209' : Char
op '\210' : Char
op '\211' : Char
op '\212' : Char
op '\213' : Char
op '\214' : Char
op '\215' : Char
op '\216' : Char
op '\217' : Char
op '\218' : Char
op '\219' : Char
op '\220' : Char
op '\221' : Char
op '\222' : Char
op '\223' : Char
op '\224' : Char
op '\225' : Char
op '\226' : Char
op '\227' : Char
op '\228' : Char
op '\229' : Char
op '\230' : Char
op '\231' : Char
op '\232' : Char
op '\233' : Char
op '\234' : Char
op '\235' : Char
op '\236' : Char
op '\237' : Char
op '\238' : Char
op '\239' : Char
op '\240' : Char
op '\241' : Char
op '\242' : Char
op '\243' : Char
op '\244' : Char
op '\245' : Char
op '\246' : Char
op '\247' : Char
op '\248' : Char
op '\249' : Char
op '\250' : Char
op '\251' : Char
op '\252' : Char
op '\253' : Char
op '\254' : Char
op '\255' : Char
op '\255' : s
op '\?' : Char
op '\\' : Char
op '\\' : s
op '\a' : Char
op '\b' : Char
op '\f' : Char
op '\n' : Char
op '\n' : s
op '\o000' : Char
op '\o000' : s
op '\o001' : Char
op '\o002' : Char
op '\o003' : Char
op '\o004' : Char
op '\o005' : Char
op '\o006' : Char
op '\o007' : Char
op '\o010' : Char
op '\o011' : Char
op '\o012' : Char
op '\o013' : Char
op '\o014' : Char
op '\o015' : Char
op '\o016' : Char
op '\o017' : Char
op '\o020' : Char
op '\o021' : Char
op '\o022' : Char
op '\o023' : Char
op '\o024' : Char
op '\o025' : Char
op '\o026' : Char
op '\o027' : Char
op '\o030' : Char
op '\o031' : Char
op '\o032' : Char
op '\o033' : Char
op '\o034' : Char
op '\o035' : Char
op '\o036' : Char
op '\o037' : Char
op '\o040' : Char
op '\o041' : Char
op '\o042' : Char
op '\o043' : Char
op '\o044' : Char
op '\o045' : Char
op '\o046' : Char
op '\o047' : Char
op '\o050' : Char
op '\o051' : Char
op '\o052' : Char
op '\o053' : Char
op '\o054' : Char
op '\o055' : Char
op '\o056' : Char
op '\o057' : Char
op '\o060' : Char
op '\o061' : Char
op '\o062' : Char
op '\o063' : Char
op '\o064' : Char
op '\o065' : Char
op '\o066' : Char
op '\o067' : Char
op '\o070' : Char
op '\o071' : Char
op '\o072' : Char
op '\o073' : Char
op '\o074' : Char
op '\o075' : Char
op '\o076' : Char
op '\o077' : Char
op '\o100' : Char
op '\o101' : Char
op '\o102' : Char
op '\o103' : Char
op '\o104' : Char
op '\o105' : Char
op '\o106' : Char
op '\o107' : Char
op '\o110' : Char
op '\o111' : Char
op '\o112' : Char
op '\o113' : Char
op '\o114' : Char
op '\o115' : Char
op '\o116' : Char
op '\o117' : Char
op '\o120' : Char
op '\o121' : Char
op '\o122' : Char
op '\o123' : Char
op '\o124' : Char
op '\o125' : Char
op '\o126' : Char
op '\o127' : Char
op '\o130' : Char
op '\o131' : Char
op '\o132' : Char
op '\o133' : Char
op '\o134' : Char
op '\o135' : Char
op '\o136' : Char
op '\o137' : Char
op '\o140' : Char
op '\o141' : Char
op '\o142' : Char
op '\o143' : Char
op '\o144' : Char
op '\o145' : Char
op '\o146' : Char
op '\o147' : Char
op '\o150' : Char
op '\o151' : Char
op '\o152' : Char
op '\o153' : Char
op '\o154' : Char
op '\o155' : Char
op '\o156' : Char
op '\o157' : Char
op '\o160' : Char
op '\o161' : Char
op '\o162' : Char
op '\o163' : Char
op '\o164' : Char
op '\o165' : Char
op '\o166' : Char
op '\o167' : Char
op '\o170' : Char
op '\o171' : Char
op '\o172' : Char
op '\o173' : Char
op '\o174' : Char
op '\o175' : Char
op '\o176' : Char
op '\o177' : Char
op '\o200' : Char
op '\o201' : Char
op '\o202' : Char
op '\o203' : Char
op '\o204' : Char
op '\o205' : Char
op '\o206' : Char
op '\o207' : Char
op '\o210' : Char
op '\o211' : Char
op '\o212' : Char
op '\o213' : Char
op '\o214' : Char
op '\o215' : Char
op '\o216' : Char
op '\o217' : Char
op '\o220' : Char
op '\o221' : Char
op '\o222' : Char
op '\o223' : Char
op '\o224' : Char
op '\o225' : Char
op '\o226' : Char
op '\o227' : Char
op '\o230' : Char
op '\o231' : Char
op '\o232' : Char
op '\o233' : Char
op '\o234' : Char
op '\o235' : Char
op '\o236' : Char
op '\o237' : Char
op '\o240' : Char
op '\o241' : Char
op '\o242' : Char
op '\o243' : Char
op '\o244' : Char
op '\o245' : Char
op '\o246' : Char
op '\o247' : Char
op '\o250' : Char
op '\o251' : Char
op '\o252' : Char
op '\o253' : Char
op '\o254' : Char
op '\o255' : Char
op '\o256' : Char
op '\o257' : Char
op '\o260' : Char
op '\o261' : Char
op '\o262' : Char
op '\o263' : Char
op '\o264' : Char
op '\o265' : Char
op '\o266' : Char
op '\o267' : Char
op '\o270' : Char
op '\o271' : Char
op '\o272' : Char
op '\o273' : Char
op '\o274' : Char
op '\o275' : Char
op '\o276' : Char
op '\o277' : Char
op '\o300' : Char
op '\o301' : Char
op '\o302' : Char
op '\o303' : Char
op '\o304' : Char
op '\o305' : Char
op '\o306' : Char
op '\o307' : Char
op '\o310' : Char
op '\o311' : Char
op '\o312' : Char
op '\o313' : Char
op '\o314' : Char
op '\o315' : Char
op '\o316' : Char
op '\o317' : Char
op '\o320' : Char
op '\o321' : Char
op '\o322' : Char
op '\o323' : Char
op '\o324' : Char
op '\o325' : Char
op '\o326' : Char
op '\o327' : Char
op '\o330' : Char
op '\o331' : Char
op '\o332' : Char
op '\o333' : Char
op '\o334' : Char
op '\o335' : Char
op '\o336' : Char
op '\o337' : Char
op '\o340' : Char
op '\o341' : Char
op '\o342' : Char
op '\o343' : Char
op '\o344' : Char
op '\o345' : Char
op '\o346' : Char
op '\o347' : Char
op '\o350' : Char
op '\o351' : Char
op '\o352' : Char
op '\o353' : Char
op '\o354' : Char
op '\o355' : Char
op '\o356' : Char
op '\o357' : Char
op '\o360' : Char
op '\o361' : Char
op '\o362' : Char
op '\o363' : Char
op '\o364' : Char
op '\o365' : Char
op '\o366' : Char
op '\o367' : Char
op '\o370' : Char
op '\o371' : Char
op '\o372' : Char
op '\o373' : Char
op '\o374' : Char
op '\o375' : Char
op '\o376' : Char
op '\o377' : Char
op '\o377' : s
op '\r' : Char
op '\t' : Char
op '\v' : Char
op '\x00' : Char
op '\x00' : s
op '\x01' : Char
op '\x02' : Char
op '\x03' : Char
op '\x04' : Char
op '\x05' : Char
op '\x06' : Char
op '\x07' : Char
op '\x08' : Char
op '\x09' : Char
op '\x0A' : Char
op '\x0B' : Char
op '\x0C' : Char
op '\x0D' : Char
op '\x0E' : Char
op '\x0F' : Char
op '\x10' : Char
op '\x11' : Char
op '\x12' : Char
op '\x13' : Char
op '\x14' : Char
op '\x15' : Char
op '\x16' : Char
op '\x17' : Char
op '\x18' : Char
op '\x19' : Char
op '\x1A' : Char
op '\x1B' : Char
op '\x1C' : Char
op '\x1D' : Char
op '\x1E' : Char
op '\x1F' : Char
op '\x20' : Char
op '\x21' : Char
op '\x22' : Char
op '\x23' : Char
op '\x24' : Char
op '\x25' : Char
op '\x26' : Char
op '\x27' : Char
op '\x28' : Char
op '\x29' : Char
op '\x2A' : Char
op '\x2B' : Char
op '\x2C' : Char
op '\x2D' : Char
op '\x2E' : Char
op '\x2F' : Char
op '\x30' : Char
op '\x31' : Char
op '\x32' : Char
op '\x33' : Char
op '\x34' : Char
op '\x35' : Char
op '\x36' : Char
op '\x37' : Char
op '\x38' : Char
op '\x39' : Char
op '\x3A' : Char
op '\x3B' : Char
op '\x3C' : Char
op '\x3D' : Char
op '\x3E' : Char
op '\x3F' : Char
op '\x40' : Char
op '\x41' : Char
op '\x42' : Char
op '\x43' : Char
op '\x44' : Char
op '\x45' : Char
op '\x46' : Char
op '\x47' : Char
op '\x48' : Char
op '\x49' : Char
op '\x4A' : Char
op '\x4B' : Char
op '\x4C' : Char
op '\x4D' : Char
op '\x4E' : Char
op '\x4F' : Char
op '\x50' : Char
op '\x51' : Char
op '\x52' : Char
op '\x53' : Char
op '\x54' : Char
op '\x55' : Char
op '\x56' : Char
op '\x57' : Char
op '\x58' : Char
op '\x59' : Char
op '\x5A' : Char
op '\x5B' : Char
op '\x5C' : Char
op '\x5D' : Char
op '\x5E' : Char
op '\x5F' : Char
op '\x60' : Char
op '\x61' : Char
op '\x62' : Char
op '\x63' : Char
op '\x64' : Char
op '\x65' : Char
op '\x66' : Char
op '\x67' : Char
op '\x68' : Char
op '\x69' : Char
op '\x6A' : Char
op '\x6B' : Char
op '\x6C' : Char
op '\x6D' : Char
op '\x6E' : Char
op '\x6F' : Char
op '\x70' : Char
op '\x71' : Char
op '\x72' : Char
op '\x73' : Char
op '\x74' : Char
op '\x75' : Char
op '\x76' : Char
op '\x77' : Char
op '\x78' : Char
op '\x79' : Char
op '\x7A' : Char
op '\x7B' : Char
op '\x7C' : Char
op '\x7D' : Char
op '\x7E' : Char
op '\x7F' : Char
op '\x80' : Char
op '\x81' : Char
op '\x82' : Char
op '\x83' : Char
op '\x84' : Char
op '\x85' : Char
op '\x86' : Char
op '\x87' : Char
op '\x88' : Char
op '\x89' : Char
op '\x8A' : Char
op '\x8B' : Char
op '\x8C' : Char
op '\x8D' : Char
op '\x8E' : Char
op '\x8F' : Char
op '\x90' : Char
op '\x91' : Char
op '\x92' : Char
op '\x93' : Char
op '\x94' : Char
op '\x95' : Char
op '\x96' : Char
op '\x97' : Char
op '\x98' : Char
op '\x99' : Char
op '\x9A' : Char
op '\x9B' : Char
op '\x9C' : Char
op '\x9D' : Char
op '\x9E' : Char
op '\x9F' : Char
op '\xA0' : Char
op '\xA1' : Char
op '\xA2' : Char
op '\xA3' : Char
op '\xA4' : Char
op '\xA5' : Char
op '\xA6' : Char
op '\xA7' : Char
op '\xA8' : Char
op '\xA9' : Char
op '\xAA' : Char
op '\xAB' : Char
op '\xAC' : Char
op '\xAD' : Char
op '\xAE' : Char
op '\xAF' : Char
op '\xB0' : Char
op '\xB1' : Char
op '\xB2' : Char
op '\xB3' : Char
op '\xB4' : Char
op '\xB5' : Char
op '\xB6' : Char
op '\xB7' : Char
op '\xB8' : Char
op '\xB9' : Char
op '\xBA' : Char
op '\xBB' : Char
op '\xBC' : Char
op '\xBD' : Char
op '\xBE' : Char
op '\xBF' : Char
op '\xC0' : Char
op '\xC1' : Char
op '\xC2' : Char
op '\xC3' : Char
op '\xC4' : Char
op '\xC5' : Char
op '\xC6' : Char
op '\xC7' : Char
op '\xC8' : Char
op '\xC9' : Char
op '\xCA' : Char
op '\xCB' : Char
op '\xCC' : Char
op '\xCD' : Char
op '\xCE' : Char
op '\xCF' : Char
op '\xD0' : Char
op '\xD1' : Char
op '\xD2' : Char
op '\xD3' : Char
op '\xD4' : Char
op '\xD5' : Char
op '\xD6' : Char
op '\xD7' : Char
op '\xD8' : Char
op '\xD9' : Char
op '\xDA' : Char
op '\xDB' : Char
op '\xDC' : Char
op '\xDD' : Char
op '\xDE' : Char
op '\xDF' : Char
op '\xE0' : Char
op '\xE1' : Char
op '\xE2' : Char
op '\xE3' : Char
op '\xE4' : Char
op '\xE5' : Char
op '\xE6' : Char
op '\xE7' : Char
op '\xE8' : Char
op '\xE9' : Char
op '\xEA' : Char
op '\xEB' : Char
op '\xEC' : Char
op '\xED' : Char
op '\xEE' : Char
op '\xEF' : Char
op '\xF0' : Char
op '\xF1' : Char
op '\xF2' : Char
op '\xF3' : Char
op '\xF4' : Char
op '\xF5' : Char
op '\xF6' : Char
op '\xF7' : Char
op '\xF8' : Char
op '\xF9' : Char
op '\xFA' : Char
op '\xFB' : Char
op '\xFC' : Char
op '\xFD' : Char
op '\xFE' : Char
op '\xFF' : Char
op '\xFF' : s
op ']' : Char
op '^' : Char
op '^' : s
op '_' : Char
op '`' : Char
op 'a' : Char
op 'a' : s
op 'b' : Char
op 'c' : Char
op 'd' : Char
op 'e' : Char
op 'f' : Char
op 'g' : Char
op 'h' : Char
op 'i' : Char
op 'j' : Char
op 'k' : Char
op 'l' : Char
op 'm' : Char
op 'n' : Char
op 'o' : Char
op 'p' : Char
op 'q' : Char
op 'r' : Char
op 's' : Char
op 't' : Char
op 'u' : Char
op 'v' : Char
op 'w' : Char
op 'x' : Char
op 'y' : Char
op 'z' : Char
op '{' : Char
op '|' : Char
op '}' : Char
op '~' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : s
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : s
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op +__ : Int -> Int
op +__ : Nat -> Nat
op +__ : Rat -> Rat
op - : s -> s
op -__ : Int -> Int
op -__ : Rat -> Rat
op 0 : Int
op 0 : Nat
op 0 : Rat
op 0 : nat
op 1 : Int
op 1 : Nat
op 1 : Pos
op 1 : Rat
op 1 : s
op 2 : Nat
op 2 : s
op 3 : Nat
op 3 : s
op 4 : Nat
op 4 : s
op 5 : Nat
op 6 : Nat
op 7 : Nat
op 8 : Nat
op 9 : Nat
op ACK : Char
op Add : Data1 * Set -> Set
op BEL : Char
op BS : Char
op CAN : Char
op CR : Char
op Cons : Data1 * List -> List
op Cons : Tree * Forest -> Forest
op Cons21 : Data1 * Data2 -> Data2
op Cons22 : Data2 * Data1 -> Data2
op Cons31 : Data1 * Data2 -> Data3
op Cons32 : Data2 * Data1 -> Data3
op Cons41 : Data1 * Data2 ->? Data4
op Cons42 : Data2 * Data1 ->? Data4
op DC1 : Char
op DC2 : Char
op DC3 : Char
op DC4 : Char
op DEL : Char
op DLE : Char
op EM : Char
op ENQ : Char
op EOT : Char
op ESC : Char
op ETB : Char
op ETX : Char
op FF : Char
op FS : Char
op False : Boolean
op Forest : Tree
op GS : Char
op HT : Char
op LF : Char
op Leaf : Data1 -> Tree
op Mt : Set
op NAK : Char
op NL : Char
op NP : Char
op NUL : Char
op Nil : Forest
op Nil : List
op Not__ : Boolean -> Boolean
op RS : Char
op SI : Char
op SO : Char
op SOH : Char
op SP : Char
op SUB : Char
op SYN : Char
op SYX : Char
op True : Boolean
op US : Char
op VT : Char
op __! : Nat -> Nat
op __*__ : Int * Int -> Int
op __*__ : Nat * Nat -> Nat
op __*__ : Pos * Pos -> Pos
op __*__ : Rat * Rat -> Rat
op __*__ : s * s -> s
op __+__ : Int * Int -> Int
op __+__ : Nat * Nat -> Nat
op __+__ : Nat * Pos -> Pos
op __+__ : Pos * Nat -> Pos
op __+__ : Rat * Rat -> Rat
op __+__ : s * s -> s
op __+-*/\&=<>!?:.$@#^~�����������������|__ : s * s -> s
op __-__ : Int * Int -> Int
op __-__ : Nat * Nat -> Int
op __-__ : Rat * Rat -> Rat
op __-__ : s * s -> s
op __-?__ : Nat * Nat ->? Nat
op __/__ : Int * Pos -> Rat
op __/__ : s * s -> s
op __/__ : Rat * Rat ->? Rat
op __/?__ : Int * Int ->? Int
op __/?__ : Nat * Nat ->? Nat
op __@@__ : Nat * Nat -> Nat
op __@@__ : s * s -> s
op __And__ : Boolean * Boolean -> Boolean
op __Or__ : Boolean * Boolean -> Boolean
op __^__ : Int * Nat -> Int
op __^__ : Nat * Nat -> Nat
op __^__ : Rat * Int -> Rat
op __a : b
op __and'__ : s
op __div__ : Int * Int ->? Int
op __div__ : Nat * Nat ->? Nat
op __exp__ : s * s -> s
op __frac__ : s * s -> s
op __mod__ : Int * Int ->? Nat
op __mod__ : Nat * Nat ->? Nat
op __quot__ : Int * Int ->? Int
op __quot__ : Nat * Nat ->? Nat
op __rem__ : Int * Int ->? Int
op __rem__ : Nat * Nat ->? Nat
op a : Data1
op a : b
op a : s
op a : s -> t
op abs : Int -> Nat
op abs : Nat -> Nat
op abs : Rat -> Rat
op b : Data1
op b : s -> s
op b : s -> t
op c : Data1
op c : b
op c : d
op c : s
op c : t
op c : a -> s
op c : a * t * t * t -> s
op c : a * t * t * t * t -> s
op c : s * s -> s
op c : s * s * s -> s
op c : s * s * t -> s
op chr : Nat ->? Char
op d : t
op d : s -> t
op e : t
op f : s ->? s
op g : s -> t
op g : s ->? s
op max : Int * Int -> Int
op max : Nat * Nat -> Nat
op max : Rat * Rat -> Rat
op min : Int * Int -> Int
op min : Nat * Nat -> Nat
op min : Rat * Rat -> Rat
op ord : Char -> Nat
op pre : Nat ->? Nat
op sel1 : Data3 ->? Data1
op sel1 : Data4 ->? Data1
op sel2 : Data3 ->? Data2
op sel2 : Data4 ->? Data2
op sign : Int -> Int
op suc : Nat -> Nat
op suc : Nat -> Pos
op succ : nat -> nat
op {__} : s -> s
op {} : s
pred __<__ : Int * Int
pred __<__ : Nat * Nat
pred __<__ : Rat * Rat
pred __<__ : a * a
pred __<=__ : Int * Int
pred __<=__ : Nat * Nat
pred __<=__ : Rat * Rat
pred __>__ : Int * Int
pred __>__ : Nat * Nat
pred __>__ : Rat * Rat
pred __>=__ : Int * Int
pred __>=__ : Nat * Nat
pred __>=__ : Rat * Rat
pred a : ()
pred b : s
pred c : s * s
pred c : s * s * s
pred c : s * s * t
pred even : Int
pred even : Nat
pred isDigit : Char
pred isLetter : Char
pred isPrintable : Char
pred odd : Int
pred odd : Nat
pred p : ()
pred q : s
Error (line 427, column 12) not a predicate: e
Error (line 426, column 26) not a predicate: e
Error (line 351, column 11) wrong number of places '__and'__'
Error (line 305, column 6) unknown sort 'd'
Error (line 304, column 6) unknown sort 'b'
Error (line 294, column 25) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : s'
Error (line 294, column 29) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : a -> s'
Error (line 294, column 55) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : a ->? s'
Error (line 294, column 29) duplicates at '(294,55)' for 'c : a -> s'
Error (line 294, column 57) unknown sort 'a'
Error (line 294, column 38) unknown sort 'a'
Error (line 294, column 31) unknown sort 'a'
Error (line 292, column 13) unknown sort 'b'
Error (line 292, column 7) unknown sort 'b'
Error (line 290, column 20) unknown sort 'a'
Error (line 290, column 16) unknown sort 'a'
Error (line 287, column 35) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : s'
Error (line 287, column 58) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : a ->? s'
Error (line 287, column 60) unknown sort 'a'
Error (line 287, column 41) unknown sort 'a'
Error (line 286, column 30) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : s'
Error (line 286, column 53) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : a ->? s'
Error (line 286, column 55) unknown sort 'a'
Error (line 286, column 36) unknown sort 'a'
Error (line 285, column 25) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : s'
Error (line 285, column 50) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : a ->? s'
Error (line 285, column 52) unknown sort 'a'
Error (line 285, column 34) duplicates at '(285,41)' for 'a : s -> t'
Error (line 285, column 31) unknown sort 'a'
Error (line 270, column 3) unexpected mixfix token: a
Error (line 268, column 15) unknown sort 'b'
Error (line 268, column 6) wrong number of places '__a'
Error (line 268, column 9) unknown sort 'b'
Error (line 266, column 20) unknown sort 'a'
Error (line 266, column 16) unknown sort 'a'
Error (line 261, column 9) expected further mixfix token: ["*","+",":","!","-"]