A: 3
Aap: 937 63 27 26
Acase: 719 67 31 30
Aconstr: 62 25 25
Alam: 967 64 32 32
Alet: 1015 65 29 28
Alist: 899 802 799 782 773 770 762 700 675 649 553 415
Also: 682 596
Annexpr: 842 120 52 45 44 18 17
Anum: 515 61 24 24
Association: 411
Atomicprogram: 119
Avar: 879 60 23 23
Basedefs: 8
Big: 735 733 718
Cannot: 306
Case: 822 622 601
Cexpr: 1053 1052 988 987 952 915 914 841 698 673 648 646 589 586 511
Char: 120 109 78
Circular: 268
Constralt: 800 771
Corrected: 4
Eap: 523
Ecase: 540
Econstr: 520
Elam: 531 530 528 526
Elet: 533
End: 1104
Enum: 514
Eq: 390
Error: 621 601
Evar: 517
Fail: 1090 1090 1073 1073 1012 1012 1000 1000 964 964 935 934 927 926 861 861 854 854 635 633 631 629 364 324 324 131 125
False: 1003 150 131 92 90 89 81
File: 3
Formatting: 13
Int: 498 495 484 483 475 474
Just: 789
Keeping: 378
Merging: 329
Message: 1054 989 953 916 877 842 747 706 702 678 677 651 590 512 361 318 280 258 120
Myutils: 10
Naam: 1051 1022 986 951 876 842 815 802 801 799 782 773 772 770 762 700 699 675 674 649 647 615 615 588 587 553 415 415 120 108 52 45 44
New: 438
No: 125
Nothing: 790
Ok: 1092 1075 1015 1014 1002 967 966 937 936 928 879 863 862 855 845 749 718 717 634 632 630 628 515 363 323 321 264 262 133 130 124
Projection: 627
Reply: 1054 989 953 916 877 842 747 706 702 678 677 651 590 512 361 318 280 258 120
Representation: 155
Rhs: 656 655 654
Rhss: 716
Scheme: 1085 1034 974 891 776 569 404 403 385 141
Subst: 900 842 747 745 705 703 430 399 370 361 361 347 347 346 334 333 318 316 280 278 258 255 240 231 224 223 222 210 197 43
Substitutions: 193
T1: 681
Tarr: 969 929 566 296 296 293 218 218 189 163 103 90 87
Tcons: 794 790 739 568 515 515 299 299 290 216 216 188 177 170 102 93 86 85 84
Tctypeenv: 1049 1024 1020 984 949 912 874 839 696 671 644 584 509 432 431 422 117
Tdefcons: 793
Tdefexpr: 783
Tdefvar: 786
Texpr: 1023 889 842 842 784 746 704 370 370 317 317 279 279 257 239 212 211 199 182 175 168 161 160 159 120 108 77 52 45 44
The: 503
Tk: 681
True: 1093 150 130 95 91 88 87
Tvar: 974 929 902 789 739 568 293 290 283 282 269 261 245 244 242 241 241 214 206 203 202 187 101 83
Tvname: 899 899 799 782 770 762 700 675 649 468 443 423 383 256 238 198 183
Type: 1043 978 943 906 868 833 548 305 267 97
Typecheck5: 1104 7 3
Typedef: 1048 983 948 911 873 838 816 814 760 701 695 676 670 650 643 583 552 508
Typeenv: 120 53
Typeinfo: 1054 989 953 916 877 706 702 678 677 651 590 512
Typenamesupply: 1050 1021 985 950 913 887 875 840 761 697 672 645 585 553 551 510 467 459 459 458 451 450 442 118
Typescheme: 888 802 773 553 401 400 382
Undeclared: 820
Unification: 251
Utils: 9
a: 637 636 636 634 632 630 630 574 392 391 390 390 17 16 4
abstractions: 943
accordance: 806
actual: 562
ae1: 937 936 934 929 928 63 63 27 26
ae2: 937 936 934 929 928 63 63 27 26
afn: 70 66
al: 1038 1036 1034 902 902 894 893 794 793 418 417
all: 681 655 654 241
allowable: 713
als: 607 593
alternatives: 601
alters: 544 543
alts: 543 540 68 67
an: 715 594 574
and: 716 681 656 627 597
ann: 21 20
annalts: 31 30
anndefs: 29 28
annotatede: 1015 1014 967 966 864 862 861 856 855
annotatedes: 864 862
annotatedrhss: 737 720
annotree: 135 133
applications: 906
apply: 712 574
applyntimes: 577 575 572
arg: 577 576 575 574
arglists: 544 541
argument: 596 588
as: 655 597
associates: 558
association: 594
b: 637 636 634 632 632 630 615 615 415 415 93 86 85 84 83 18 16
basetypes: 128 122
be: 805
big: 717
bindings: 717 716 584
binds: 347
body: 71 70
bool: 177 150 85 85
builtintypes: 149 146 127
bvar: 1095 1085 1078 1067 974 958
bvars: 1067 1062
c: 794 793 764 637 637 636 634 634 632 630 521 520 102 62 25 25 18 17
cal: 776 775 567 560 555
calculate: 654
call: 714 655
calt: 808 807
calts: 809 807 806
caltscurried: 566 556
caltsxlated: 567 566
case: 548
char: 86 86
check: 715
checker: 503 3
checking: 1043 978 943 906 868 833 548
chr: 83
cl: 829 827 826 95 93
cname: 775
compute: 682
concat: 727 425 350 147 143 102 95 68 66
constrtypes: 147 145
constructor: 621 583 565
constructors: 822 820 815 598 587 543 541
contains: 822
cparams: 808 807 776 775
cparamss: 809 807 805
cs: 828 818 607 604 599 593 64
current: 584
decls: 1098 1026 1020 1005
deduced: 715
definition: 682 598 594
definitions: 814 583
dl: 538 533 66 65
downhill: 241
e: 1093 1092 1090 1076 1075 1073 1057 1056 1003 1002 1000 992 991 955 955 847 846 536 535 533 531 530 529 528 527 526 406 406 64 64 32 32
e1: 918 918 755 752 751 750 749 524 523
e2: 918 918 755 753 752 751 750 524 523
e3: 753 752
each: 710 656 655 558
elem: 829 406 394
else: 823 821 602 536 339 285 204 125
enscheme: 569 556
eqn: 324 323 323
eqns: 321 320
error: 305 267
es: 1058 1056 995 991 856 855 854 847 846 753 752 538 536 535
expr: 128 122 35 34
expression: 822 716 714 586
expressions: 1043 978 833 597 589 548 155
exprs: 544 541
f: 790 789 787 462 461 453 453 445 141 139 133 133 38 35 32 31 29 27 27 21 20
f2: 462 461 461
fail: 822 820 620 600 304 266
failed: 97
final: 735 719 718
finalconstrtypes: 147 139 128
finalnamesupply: 572 556
finalns: 145 128
finaltype: 969 967 967 939 937 937 882 879 879
first: 1100 1098 829 740 608
foldr: 566 321 188
for: 710 681 681 656 655 654 4
from: 716
ftvs: 827 826
fullenv: 143 139 124
fullenvwords: 143 124
func: 577 577 575
function: 574
functions: 627 565
g: 663 662
gamma: 1098 1098 1097 1097 1093 1092 1090 1080 1080 1076 1075 1073 1058 1057 1056 1029 1026 1026 1006 1006 1005 1005 1003 1002 1000 995 992 991 958 958 955 955 918 918 881 879 856 855 854 847 847 846 844 722 708 696 684 680 663 657 653 602 593 541 540 536 535 533 531 530 529 528 527 526 524 523 521 520 518 517 514 434 434 425 425
gammas: 654
gather: 716 655
gathered: 717
general: 713
get: 714 712 681 594
going: 270
good: 131 130 123
gs: 663 662
head: 823 735 374
hence: 681
here: 815
if: 821 819 599 534 337 283 202 123
import: 10 9 8
in: 1037 820 805 682 622 621 601 601 598 594 569 559 385 305 267 263 189 189 189 188 188 187 185 185 182
input: 715 713
instance: 715
int: 515 515 170 84 84
into: 711
is: 715
k: 621 619 618 418 418 417
ks: 623 618
l: 189 189 188 188 187 187
lambda: 943
lead: 241
length: 821 819 599 599 572
let: 978
letrec: 1043
lhs: 733 731 731 729
list: 815
lists: 833 805 596 588 411
ljustify: 112
lookup: 99 98 97 96 83
lookupresult: 206 204 202
m: 1104 1090 1090 1073 1073 1012 1012 1000 1000 964 964 935 934 927 926 861 861 854 854 635 635 633 633 631 631 629 629 365 364 324 324 3
mainexpr: 29 28
make: 710
map: 1100 1098 1095 1078 1067 1034 1028 829 794 776 740 739 738 737 735 688 687 608 568 567 563 425 356 355 354 216 143 139 102 95 68 66 31 29
map2nd: 902 567 566 556
mapaccuml: 146
mapannalt: 37 31
mapanndefn: 34 29
mapannexpr: 32 30 28 26 25 24 23 21
me: 66 65
merge: 711 609 607
missing: 601
mixed: 822
module: 7
most: 713
must: 805
n: 791 790 786 727 709 709 704 703 689 688 687 685 685 577 576 575 574 515 514 491 491 490 489 489 489 488 487 478 478 478 406 406 406 310 308 308 306 305 305 273 270 270 268 267 267 112 61 24 24
naam: 141 141 112 111 71 70 38 37 35 34
name: 959 920 585 571 470 445 442 97
namemap: 794 793 791 786
nbvs: 1100 1098 1096 1096 1095 1092 1090 1079 1079 1078 1076 1075 1073 1062 1058 1057
new: 716 558 347
newbinds: 341 339 337
newsub: 755 753
newtvs: 738 708 700 684 680 659 657 653 605 602 567 563 560
newunifiers: 356 355
newunifierschecked: 356 351 350
no: 418
node: 58 58 21 20
nodetype: 58
non: 247 247
not: 534 406 394
notarrow: 94 93
note: 805
notelem: 263
ns: 1099 1092 1090 1076 1075 1073 1067 1067 1061 1060 1060 1056 1036 1034 1028 1026 1007 1002 1000 994 991 959 957 957 955 955 921 921 920 918 918 893 891 882 879 856 855 854 849 846 844 764 764 722 708 697 684 680 665 653 606 593 572 560 555 541 540 536 535 533 531 530 529 528 527 526 524 523 521 520 518 517 514 492 491 491 488 487 479 478 478 470 470 470 445 445 146 122
ns0: 1099 1098 1060 1057 1007 1005 994 992 849 847
ns1: 1099 1093 1061 1058 1007 1003 995 994 849 847 665 660 606 602
ns2: 1062 1061 665 657 606 605
nsl: 664 662 661
nsl1: 664 663
nsl2: 664 663
nub: 1037 825 599 569 353 100
of: 833 815 715 714 710 683 598 594 565 378 347 329 155 13
og: 374 373
ogs: 374 373
oldgroups: 355 354 351
olds: 347
oldvars: 354 353 351
on: 656
one: 711
ordered: 805
otherwise: 577 492 490 479 265 99
p: 294 293 291 290
pair: 347
panic: 635 633 631 629 418 365 97
param: 805
pars: 38 37
pass: 656 595
phi: 1097 1096 1093 1092 1080 1079 1076 1075 1015 1015 1014 1014 1012 1006 1003 1002 969 967 966 939 937 936 929 928 894 891 863 862 861 856 856 855 735 733 733 733 731 729 727 727 727 727 725 724 723 723 722 718 709 709 705 703 689 687 685 685 434 434 406 406 404 403 354 353 349 341 336 323 323 321 320 303 301 299 297 296 294 293 291 290 288 287 285 284 282 264 262 260 218 218 218 216 216 214 214 206 204 201 47 47
phit: 288 285 284
phitvn: 287 285 283
poly: 558
pretty: 95 93 92 91 90 89 88 87 86 85 84 83 81
program: 621 601 305 267
psi: 863 863 862
q: 294 293 291 290
r: 663 662 363 363
recflag: 1015 1014 1012 29 28
recursive: 534 533
reflect: 597
reoals: 720 708 699 684 680 659 657 653 609 602
reorder: 596
reores: 660 653 609 602
res: 607 593
resexpr: 38 37
result: 791 787 717 683
resulting: 597 589
results: 13
return: 717
reverse: 731
revised: 571
rf: 65
rhs: 727 709 705 689 685
rhsannexprs: 1093 1092 1090 1076 1075 1015 1014 1012 1003 1002
rhsgammas: 660 659
rhstc1: 663 662 661 660
rhstcs: 737 735 708 702 688 687 684 680 660 657
rhstypes: 995 992
rootenv: 139 137
rootsubst: 135 133
roottree: 137 135 124
roottype: 133
rs: 663 662
rubbish: 627
s: 731 727 725 725 724 724 723 723 722 719 712 654 461 453 453 445
scheme: 882 881 434 425 403 399 385 382
schemes: 1028 1026
scvs: 1037 1036 893 891 406 406 404 404 403 385 385
second: 1034 738 563 68 68
sequence: 1067 1036 893 764 598 470 470 467
sigmas: 656
signature: 712
similar: 627
so: 655 597
source: 621 601 305 267
st: 434 434
stau: 725 724 723 722
stree: 725 724 723 722
stvs: 560 555
sub: 969 939 755 752 751 750 749 749 287 214 201 197
sub1: 226 226
sub2: 226 226
subnames: 1100
subst: 1038 902 899 894 879 845 731 689 515 355 233 231
substitution: 717 712 268
substitutions: 711 710 329 241
such: 418
supply: 585 571
sw: 722 708 698 684 680 657 653 602 593 68 67
switch: 716 714 586 541 540
switchexpr: 31 30
t: 1085 1085 1038 1038 1037 1034 1034 1015 1015 1014 969 966 891 891 863 862 861 856 855 764 404 403 385 385 288 282 272 264 263 261 260 185 185 141 141 101 101 100 98 98 81 80
t1: 929 928 307 303 297 297 296 296 218 218 189 189 163 163 103 103 91 90 88 87
t2: 929 928 309 303 297 297 296 296 218 218 189 189 163 163 103 103 92 90 89 87
t2e: 71 68 68 67 66 65 64 64 63 63 63 62 61 60 58 58 56
tau: 735 731 731 729 724 719 718 709 704 689 688 685
tc: 1093 1003 955 847 722 714 663 655 540 533 530 528 527 526 523 520 517 514 508 127
tcadd: 1098 1026 1020 1005
tcal: 1038 902 899 894
tcap: 918 911 524
tcap1: 928 926 918
tcap2: 936 934 929
tcapply: 969 939 287 214 201 197
tcarrow: 163 159
tcbar: 1037 394 390 385
tcbool: 177 175
tccase: 593 583 541
tccase1: 653 643 602
tccase2: 680 670 657
tccase3: 708 695 684
tccharval: 881 418 417 415
tccheck: 122 117
tccheckunifier: 365 364 363 361 356
tcconstrtypeschemes: 555 551 146
tcdelta: 264 247 242 238
tcdeoksel: 755 733 689 629 629 628
tcdeplete: 957 921 572 470 453 450
tcexclude: 406 404
tcextend: 284 260 255
tcgenbar: 1034 1028
tcgetallgammas: 809 807 804 799 659
tcgetgamman: 808 775 770
tcgettypedef: 818 814 604
tcid: 879 845 731 689 515 355 233 231
tcint: 170 168
tck31sel: 739 636
tck33: 740 659 637 608
tcl: 1058 995 918 856 846 844 838
tcl1: 855 854 847
tcl2: 862 861 856
tclambda: 955 948 531 529
tclambda1: 966 964 955
tclet: 991 983 535
tclet1: 1002 1000 992
tclet2: 1093 1014 1012 1003
tcletrec: 1056 1048 536
tcletrec1: 1075 1073 1057
tcletrec2: 1092 1090 1076
tcmapannexpr: 47 38 35 32 31 29 27 27 20 16
tcmergesubs: 733 727 339 336 333
tcmergesubsmain: 349 346 341
tcn: 300 300 299 299 216 216
tcname: 1067 1036 893 764 470 470 467
tcnew: 1067 1067 1062 974 958
tcnewinstance: 891 887 882
tcnewtypevars: 764 760 605 560
tcnext: 959 920 470 445 442
tcnsdlimit: 499 499 496 495 489 489
tcnsdouble: 492 491 487 486 483 462
tcnsslimit: 499 498 478
tcnssucc: 492 479 478 477 474 461 453
tcok13sel: 723 687 631 631 630
tcok23sel: 735 724 688 633 633 632
tcok33sel: 737 725 635 635 634
tcold: 1095 1085 1078
tcoldunified: 374 373 372 370 351
tcpretty: 143 111 108
tcreorder: 623 618 617 615 609
tcresult: 133 127 123
tcscomp: 1015 863 264 226 222
tcshowtexpr: 309 307 272 269 113 97 80 77
tcsplit: 1099 1061 1060 1007 994 849 665 664 606 461 458
tcsub: 1097 1096 1080 1079 1038 1006 891 863 856 735 729 434 434 430 404 403 399 374 288 218 218 218 216 216 214 210 204 47
tcsubstanntree: 135 47 43
tctdefsubst: 794 793 786 782 776 567
tctreetoenv: 137 55 52
tctvars: 1037 569 385 263 185 182
tcunify: 929 755 751 731 323 303 299 296 294 293 291 290 285 282 278
tcunifyl: 1076 320 316 301 297
tcunifyset: 753 752 750 749 745 689 355
tcunknowns: 1029 425 425 422 385 382
tcvar: 879 873 521 518
tdcnames: 740 720 609 608 599
tdefs: 146 127 122
tdefset: 825 823 821 819
tdinuse: 740 739 708 701 684 680 659 657 653 608 605 604 602
tds: 1093 1092 1090 1076 1075 1073 1058 1057 1056 1003 1002 1000 995 992 991 955 955 918 918 879 856 855 854 847 847 846 844 827 818 722 708 695 684 680 663 657 653 604 602 593 541 540 536 535 533 531 530 529 528 527 526 524 523 521 520 518 517 514
tdsignature: 739 729 568 566
te: 1097 1096 1080 1079 1029 1006 856 434 430 425 422
texp: 569 569 569
texpr: 247 247
that: 715
the: 717 717 716 716 715 714 714 712 712 712 711 710 683 682 682 681 681 655 654 654 598 597 596 594 571 565 565 562 559
themselves: 562
then: 822 820 656 600 535 338 284 203 124
therein: 595
these: 731
this: 715
tijp: 71 70
times: 574
tipe: 113 111
tn: 568 560 555
tname: 827 826
to: 1038 902 899 894 727 714 712 712 709 709 704 703 689 688 687 685 685 681 655 597 595 574 270
track: 378
tree: 725 719 56 55 47 47
ts: 1098 1095 1078 1076 1076 1075 1028 1026 1005 1002 863 862 301 301 299 299 216 216 188 188 102 102 99 98
tvars: 710 189 189 189 188 188 187 185
tvdict: 103 103 103 102 102 101 100 100 83
tvl: 809 808 807 804 776 775
tvn: 974 974 969 966 964 959 958 955 939 936 934 929 929 928 926 920 918 789 789 287 284 283 282 269 264 263 261 260 247 247 245 245 244 244 243 242 214 214 206 206 203 202 201
tvn2: 245 245 244 244 243 242
tvname: 99 98 98 96 83 83
tvs: 739 738 572 568 563
type: 1038 891 863 814 735 729 717 715 714 713 682 682 595 594 584 583 562 559 558 503 404 374 288 218 218 218 216 216 214 210 204 155 125 47 3
typedef: 712
types: 683 656 565 378
u: 374 373
undeclared: 621
unified: 347
unifiedolds: 341 339 338
unifier: 683 681
unifiers: 681
unify: 324 323 321 306
unknown: 710
unknowns: 1037 1034 1029 1028
unzip2: 609 544 543 538
uol: 623 619 618 617
up: 710
us: 374 373
use: 820 594
used: 815
usedc: 829 828
utdomain: 353
utlookup: 791
utlookupall: 354
utlookupdef: 619 418 206
utrange: 425
v: 60 23 23
v5: 3
var: 558 247 247
variable: 418
variables: 868 682 595 562 438
vars: 595 558
version: 4
vl: 764 764
vs: 141 32 32
where: 1094 1077 1059 1035 1027 1004 993 968 956 938 919 892 880 848 824 788 754 721 686 664 658 603 557 542 537 489 462 405 352 340 322 286 205 186 140 133 126 82 57 22 7
with: 806 558 308
x: 1085 974 974 967 966 964 958 955 955 881 879 879 628 628 531 530 529 528 518 517 434 434 394 394 394 187 187 133 133 130
x2: 131
xs: 1093 1092 1090 1076 1075 1073 1067 1067 1062 1057 1056 1026 1026 1015 1014 1012 1005 1003 1002 1000 992 991 538 536 535 531 530 394 394
y: 531 530 188
ys: 394 394
zip: 1076 1067 1036 1026 1015 893 776 764 720 720 607 607 351 301