BasicSpec.signature.output revision 4c4a3329080becd4b81d56396586b740487924cb
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maedersorts ABCDEFGHIJKLMONOPQRSTUVWXYZ, Boolean, Char, Data1, Data2,
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maeder Data3, Data4, Forest, Int, List, Nat, Pos, Rat, Set, Tree, a, a',
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maeder a'b''2, a_b_c, ab2, ab_2_3_a, abc, abcdefghijlklmnopqrstuvwxyz, b,
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maeder c, d, e, nat, s, t, x0123456789,
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu ����������������������������������������������������������
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\"' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\'' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\000' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\001' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\002' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop '\003' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\004' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\005' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\006' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\007' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\008' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\009' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop '\010' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\011' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\012' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\013' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\014' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\015' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\016' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop '\017' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\018' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\019' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\020' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\021' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\022' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\023' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop '\024' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\025' : Char
ecf557c0b4f953106755a239da2c0b168064d3f4Christian Maederop '\026' : Char
ecf557c0b4f953106755a239da2c0b168064d3f4Christian Maederop '\027' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\028' : Char
935613eb8e67d724f1c4a4d4a37be3324ef6708dChristian Maederop '\029' : Char
935613eb8e67d724f1c4a4d4a37be3324ef6708dChristian Maederop '\030' : Char
935613eb8e67d724f1c4a4d4a37be3324ef6708dChristian Maederop '\031' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\032' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\033' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\034' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\035' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\036' : Char
bdf2e01977470bedcb4425e2dadabc9e9f6ba149Ewaryst Schulzop '\037' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\038' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\039' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\040' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\041' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\042' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\043' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\044' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\045' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\046' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\047' : Char
65dce48b81f69e11a36bf1051314a845299446e1Christian Maederop '\048' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\049' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\050' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\051' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\052' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\053' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\054' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\055' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\056' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\057' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\058' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\059' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\060' : Char
bdf2e01977470bedcb4425e2dadabc9e9f6ba149Ewaryst Schulzop '\061' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\062' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\063' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\064' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\065' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\066' : Char