("A",[3])
("AAp",[26,27,63,937])
("ACase",[30,31,67,719])
("AConstr",[25,25,62])
("ALam",[32,32,64,967])
("ALet",[28,29,65,1015])
("AList",[415,553,649,675,700,762,770,773,782,799,802,899])
("ANum",[24,24,61,515])
("AVar",[23,23,60,879])
("Also",[596,682])
("AnnExpr",[17,18,44,45,52,120,842])
("Association",[411])
("AtomicProgram",[119])
("BaseDefs",[8])
("Big",[718,733,735])
("CASE",[601,622,822])
("CExpr",[511,586,589,646,648,673,698,841,914,915,952,987,988,1052,1053])
("Cannot",[306])
("Char",[78,109,120])
("Circular",[268])
("ConstrAlt",[771,800])
("Corrected",[4])
("EAp",[523])
("ECase",[540])
("EConstr",[520])
("ELam",[526,528,530,531])
("ELet",[533])
("ENum",[514])
("EVar",[517])
("End",[1104])
("Eq",[390])
("Error",[601,621])
("Fail",[125,131,324,324,364,629,631,633,635,854,854,861,861,926,927,934,935,964,964,1000,1000,1012,1012,1073,1073,1090,1090])
("False",[81,89,90,92,131,150,1003])
("File",[3])
("Formatting",[13])
("Int",[474,475,483,484,495,498])
("Just",[789])
("Keeping",[378])
("Merging",[329])
("Message",[120,258,280,318,361,512,590,651,677,678,702,706,747,842,877,916,953,989,1054])
("MyUtils",[10])
("Naam",[44,45,52,108,120,415,415,553,587,588,615,615,647,649,674,675,699,700,762,770,772,773,782,799,801,802,815,842,876,951,986,1022,1051])
("New",[438])
("No",[125])
("Nothing",[790])
("Ok",[124,130,133,262,264,321,323,363,515,628,630,632,634,717,718,749,845,855,862,863,879,928,936,937,966,967,1002,1014,1015,1075,1092])
("Projection",[627])
("RHS",[654,655,656])
("RHSs",[716])
("Reply",[120,258,280,318,361,512,590,651,677,678,702,706,747,842,877,916,953,989,1054])
("Representation",[155])
("Scheme",[141,385,403,404,569,776,891,974,1034,1085])
("Subst",[43,197,210,222,223,224,231,240,255,258,278,280,316,318,333,334,346,347,347,361,361,370,399,430,703,705,745,747,842,900])
("Substitutions",[193])
("T1",[681])
("TArr",[87,90,103,163,189,218,218,293,296,296,566,929,969])
("TCons",[84,85,86,93,102,170,177,188,216,216,290,299,299,515,515,568,739,790,794])
("TDefCons",[793])
("TDefExpr",[783])
("TDefVar",[786])
("TExpr",[44,45,52,77,108,120,159,160,161,168,175,182,199,211,212,239,257,279,279,317,317,370,370,704,746,784,842,842,889,1023])
("TVName",[183,198,238,256,383,423,443,468,649,675,700,762,770,782,799,899,899])
("TVar",[83,101,187,202,203,206,214,241,241,242,244,245,261,269,282,283,290,293,568,739,789,902,929,974])
("TcTypeEnv",[117,422,431,432,509,584,644,671,696,839,874,912,949,984,1020,1024,1049])
("The",[503])
("Tk",[681])
("True",[87,88,91,95,130,150,1093])
("Type",[97,267,305,548,833,868,906,943,978,1043])
("TypeCheck5",[3,7,1104])
("TypeDef",[508,552,583,643,650,670,676,695,701,760,814,816,838,873,911,948,983,1048])
("TypeEnv",[53,120])
("TypeInfo",[512,590,651,677,678,702,706,877,916,953,989,1054])
("TypeNameSupply",[118,442,450,451,458,459,459,467,510,551,553,585,645,672,697,761,840,875,887,913,950,985,1021,1050])
("TypeScheme",[382,400,401,553,773,802,888])
("Undeclared",[820])
("Unification",[251])
("Utils",[9])
("a",[4,16,17,390,390,391,392,574,630,630,632,634,636,636,637])
("aFN",[66,70])
("abstractions",[943])
("accordance",[806])
("actual",[562])
("ae1",[26,27,63,63,928,929,934,936,937])
("ae2",[26,27,63,63,928,929,934,936,937])
("al",[417,418,793,794,893,894,902,902,1034,1036,1038])
("all",[241,654,655,681])
("allowable",[713])
("als",[593,607])
("alternatives",[601])
("alters",[543,544])
("alts",[67,68,540,543])
("an",[574,594,715])
("and",[597,627,656,681,716])
("ann",[20,21])
("annAlts",[30,31])
("annDefs",[28,29])
("annoTree",[133,135])
("annotatedE",[855,856,861,862,864,966,967,1014,1015])
("annotatedEs",[862,864])
("annotatedRHSs",[720,737])
("applications",[906])
("apply",[574,712])
("applyNtimes",[572,575,577])
("arg",[574,575,576,577])
("arglists",[541,544])
("argument",[588,596])
("as",[597,655])
("associates",[558])
("association",[594])
("b",[16,18,83,84,85,86,93,415,415,615,615,630,632,632,634,636,637])
("baseTypes",[122,128])
("be",[805])
("big",[717])
("bindings",[584,716,717])
("binds",[347])
("body",[70,71])
("bool",[85,85,150,177])
("builtInTypes",[127,146,149])
("bvar",[958,974,1067,1078,1085,1095])
("bvars",[1062,1067])
("c",[17,18,25,25,62,102,520,521,630,632,634,634,636,637,637,764,793,794])
("cAltsCurried",[556,566])
("cAltsXLated",[566,567])
("cal",[555,560,567,775,776])
("calculate",[654])
("call",[655,714])
("calt",[807,808])
("calts",[806,807,809])
("case",[548])
("char",[86,86])
("check",[715])
("checker",[3,503])
("checking",[548,833,868,906,943,978,1043])
("chr",[83])
("cl",[93,95,826,827,829])
("cname",[775])
("compute",[682])
("concat",[66,68,95,102,143,147,350,425,727])
("constrTypes",[145,147])
("constructor",[565,583,621])
("constructors",[541,543,587,598,815,820,822])
("contains",[822])
("cparams",[775,776,807,808])
("cparamss",[805,807,809])
("cs",[64,593,599,604,607,818,828])
("current",[584])
("decls",[1005,1020,1026,1098])
("deduced",[715])
("definition",[594,598,682])
("definitions",[583,814])
("dl",[65,66,533,538])
("downhill",[241])
("e",[32,32,64,64,406,406,526,527,528,529,530,531,533,535,536,846,847,955,955,991,992,1000,1002,1003,1056,1057,1073,1075,1076,1090,1092,1093])
("e1",[523,524,749,750,751,752,755,918,918])
("e2",[523,524,750,751,752,753,755,918,918])
("e3",[752,753])
("each",[558,655,656,710])
("elem",[394,406,829])
("else",[125,204,285,339,536,602,821,823])
("enScheme",[556,569])
("eqn",[323,323,324])
("eqns",[320,321])
("error",[267,305])
("es",[535,536,538,752,753,846,847,854,855,856,991,995,1056,1058])
("expr",[34,35,122,128])
("expression",[586,714,716,822])
("expressions",[155,548,589,597,833,978,1043])
("exprs",[541,544])
("f",[20,21,27,27,29,31,32,35,38,133,133,139,141,445,453,453,461,462,787,789,790])
("f2",[461,461,462])
("fail",[266,304,600,620,820,822])
("failed",[97])
("final",[718,719,735])
("finalConstrTypes",[128,139,147])
("finalNameSupply",[556,572])
("finalNs",[128,145])
("finalType",[879,879,882,937,937,939,967,967,969])
("first",[608,740,829,1098,1100])
("foldr",[188,321,566])
("for",[4,654,655,656,681,681,710])
("from",[716])
("ftvs",[826,827])
("fullEnv",[124,139,143])
("fullEnvWords",[124,143])
("func",[575,577,577])
("function",[574])
("functions",[565,627])
("g",[662,663])
("gamma",[425,425,434,434,514,517,518,520,521,523,524,526,527,528,529,530,531,533,535,536,540,541,593,602,653,657,663,680,684,696,708,722,844,846,847,847,854,855,856,879,881,918,918,955,955,958,958,991,992,995,1000,1002,1003,1005,1005,1006,1006,1026,1026,1029,1056,1057,1058,1073,1075,1076,1080,1080,1090,1092,1093,1097,1097,1098,1098])
("gammas",[654])
("gather",[655,716])
("gathered",[717])
("general",[713])
("get",[594,681,712,714])
("going",[270])
("good",[123,130,131])
("gs",[662,663])
("head",[374,735,823])
("hence",[681])
("here",[815])
("if",[123,202,283,337,534,599,819,821])
("import",[8,9,10])
("in",[182,185,185,187,188,188,189,189,189,263,267,305,385,559,569,594,598,601,601,621,622,682,805,820,1037])
("input",[713,715])
("instance",[715])
("int",[84,84,170,515,515])
("into",[711])
("is",[715])
("k",[417,418,418,618,619,621])
("ks",[618,623])
("l",[187,187,188,188,189,189])
("lambda",[943])
("lead",[241])
("length",[572,599,599,819,821])
("let",[978])
("letrec",[1043])
("lhs",[729,731,731,733])
("list",[815])
("lists",[411,588,596,805,833])
("ljustify",[112])
("lookUpResult",[202,204,206])
("lookup",[83,96,97,98,99])
("m",[3,324,324,364,365,629,629,631,631,633,633,635,635,854,854,861,861,926,927,934,935,964,964,1000,1000,1012,1012,1073,1073,1090,1090,1104])
("mainExpr",[28,29])
("make",[710])
("map",[29,31,66,68,95,102,139,143,216,354,355,356,425,563,567,568,608,687,688,735,737,738,739,740,776,794,829,1028,1034,1067,1078,1095,1098,1100])
("map2nd",[556,566,567,902])
("mapAccuml",[146])
("mapAnnAlt",[31,37])
("mapAnnDefn",[29,34])
("mapAnnExpr",[21,23,24,25,26,28,30,32])
("me",[65,66])
("merge",[607,609,711])
("missing",[601])
("mixed",[822])
("module",[7])
("most",[713])
("must",[805])
("n",[24,24,61,112,267,267,268,270,270,273,305,305,306,308,308,310,406,406,406,478,478,478,487,488,489,489,489,490,491,491,514,515,574,575,576,577,685,685,687,688,689,703,704,709,709,727,786,790,791])
("naam",[34,35,37,38,70,71,111,112,141,141])
("name",[97,442,445,470,571,585,920,959])
("nameMap",[786,791,793,794])
("nbvs",[1057,1058,1062,1073,1075,1076,1078,1079,1079,1090,1092,1095,1096,1096,1098,1100])
("new",[347,558,716])
("newBinds",[337,339,341])
("newSub",[753,755])
("newTVs",[560,563,567,602,605,653,657,659,680,684,700,708,738])
("newUnifiers",[355,356])
("newUnifiersChecked",[350,351,356])
("no",[418])
("node",[20,21,58,58])
("nodeType",[58])
("non",[247,247])
("not",[394,406,534])
("notArrow",[93,94])
("notElem",[263])
("note",[805])
("ns",[122,146,445,445,470,470,470,478,478,479,487,488,491,491,492,514,517,518,520,521,523,524,526,527,528,529,530,531,533,535,536,540,541,555,560,572,593,606,653,665,680,684,697,708,722,764,764,844,846,849,854,855,856,879,882,891,893,918,918,920,921,921,955,955,957,957,959,991,994,1000,1002,1007,1026,1028,1034,1036,1056,1060,1060,1061,1067,1067,1073,1075,1076,1090,1092,1099])
("ns0",[847,849,992,994,1005,1007,1057,1060,1098,1099])
("ns1",[602,606,660,665,847,849,994,995,1003,1007,1058,1061,1093,1099])
("ns2",[605,606,657,665,1061,1062])
("nsl",[661,662,664])
("nsl1",[663,664])
("nsl2",[663,664])
("nub",[100,353,569,599,825,1037])
("of",[13,155,329,347,378,565,594,598,683,710,714,715,815,833])
("og",[373,374])
("ogs",[373,374])
("oldGroups",[351,354,355])
("oldVars",[351,353,354])
("olds",[347])
("on",[656])
("one",[711])
("ordered",[805])
("otherwise",[99,265,479,490,492,577])
("p",[290,291,293,294])
("pair",[347])
("panic",[97,365,418,629,631,633,635])
("param",[805])
("pars",[37,38])
("pass",[595,656])
("phi",[47,47,201,204,206,214,214,216,216,218,218,218,260,262,264,282,284,285,287,288,290,291,293,294,296,297,299,301,303,320,321,323,323,336,341,349,353,354,403,404,406,406,434,434,685,685,687,689,703,705,709,709,718,722,723,723,724,725,727,727,727,727,729,731,733,733,733,735,855,856,856,861,862,863,891,894,928,929,936,937,939,966,967,969,1002,1003,1006,1012,1014,1014,1015,1015,1075,1076,1079,1080,1092,1093,1096,1097])
("phit",[284,285,288])
("phitvn",[283,285,287])
("poly",[558])
("pretty",[81,83,84,85,86,87,88,89,90,91,92,93,95])
("program",[267,305,601,621])
("psi",[862,863,863])
("q",[290,291,293,294])
("r",[363,363,662,663])
("reOals",[602,609,653,657,659,680,684,699,708,720])
("reOres",[602,609,653,660])
("recFlag",[28,29,1012,1014,1015])
("recursive",[533,534])
("reflect",[597])
("reorder",[596])
("res",[593,607])
("resExpr",[37,38])
("result",[683,717,787,791])
("resulting",[589,597])
("results",[13])
("return",[717])
("reverse",[731])
("revised",[571])
("rf",[65])
("rhs",[685,689,705,709,727])
("rhsAnnExprs",[1002,1003,1012,1014,1015,1075,1076,1090,1092,1093])
("rhsGammas",[659,660])
("rhsTc1",[660,661,662,663])
("rhsTcs",[657,660,680,684,687,688,702,708,735,737])
("rhsTypes",[992,995])
("rootEnv",[137,139])
("rootSubst",[133,135])
("rootTree",[124,135,137])
("rootType",[133])
("rs",[662,663])
("rubbish",[627])
("s",[445,453,453,461,654,712,719,722,723,723,724,724,725,725,727,731])
("sTau",[722,723,724,725])
("sTree",[722,723,724,725])
("scheme",[382,385,399,403,425,434,881,882])
("schemes",[1026,1028])
("scvs",[385,385,403,404,404,406,406,891,893,1036,1037])
("second",[68,68,563,738,1034])
("sequence",[467,470,470,598,764,893,1036,1067])
("sigmas",[656])
("signature",[712])
("similar",[627])
("so",[597,655])
("source",[267,305,601,621])
("st",[434,434])
("stvs",[555,560])
("sub",[197,201,214,287,749,749,750,751,752,755,939,969])
("sub1",[226,226])
("sub2",[226,226])
("subnames",[1100])
("subst",[231,233,355,515,689,731,845,879,894,899,902,1038])
("substitution",[268,712,717])
("substitutions",[241,329,710,711])
("such",[418])
("supply",[571,585])
("sw",[67,68,593,602,653,657,680,684,698,708,722])
("switch",[540,541,586,714,716])
("switchExpr",[30,31])
("t",[80,81,98,98,100,101,101,141,141,185,185,260,261,263,264,272,282,288,385,385,403,404,764,855,856,861,862,863,891,891,966,969,1014,1015,1015,1034,1034,1037,1038,1038,1085,1085])
("t1",[87,88,90,91,103,103,163,163,189,189,218,218,296,296,297,297,303,307,928,929])
("t2",[87,89,90,92,103,103,163,163,189,189,218,218,296,296,297,297,303,309,928,929])
("t2e",[56,58,58,60,61,62,63,63,63,64,64,65,66,67,68,68,71])
("tVs",[563,568,572,738,739])
("tau",[685,688,689,704,709,718,719,724,729,731,731,735])
("tc",[127,508,514,517,520,523,526,527,528,530,533,540,655,663,714,722,847,955,1003,1093])
("tcAdd",[1005,1020,1026,1098])
("tcAl",[894,899,902,1038])
("tcApply",[197,201,214,287,939,969])
("tcArrow",[159,163])
("tcBar",[385,390,394,1037])
("tcBool",[175,177])
("tcCharVal",[415,417,418,881])
("tcCheck",[117,122])
("tcCheckUnifier",[356,361,363,364,365])
("tcConstrTypeSchemes",[146,551,555])
("tcDeOkSel",[629])
("tcDeOksel",[628,629,689,733,755])
("tcDelta",[238,242,247,264])
("tcDeplete",[450,453,470,572,921,957])
("tcExclude",[404,406])
("tcExtend",[255,260,284])
("tcGenbar",[1028,1034])
("tcGetAllGammas",[659,799,804,807,809])
("tcGetGammaN",[770,775,808])
("tcGetTypeDef",[604,814,818])
("tcId",[231,233,355,515,689,731,845,879])
("tcInt",[168,170])
("tcK31sel",[636,739])
("tcK33",[608,637,659,740])
("tcMapAnnExpr",[16,20,27,27,29,31,32,35,38,47])
("tcMergeSubs",[333,336,339,727,733])
("tcMergeSubsMain",[341,346,349])
("tcNSDouble",[462,483,486,487,491,492])
("tcNSSucc",[453,461,474,477,478,479,492])
("tcNSdlimit",[489,489,495,496,499,499])
("tcNSslimit",[478,498,499])
("tcName",[467,470,470,764,893,1036,1067])
("tcNew",[958,974,1062,1067,1067])
("tcNewTypeVars",[560,605,760,764])
("tcNewinstance",[882,887,891])
("tcNext",[442,445,470,920,959])
("tcOk13sel",[630,631,631,687,723])
("tcOk23sel",[632,633,633,688,724,735])
("tcOk33sel",[634,635,635,725,737])
("tcOld",[1078,1085,1095])
("tcOldUnified",[351,370,372,373,374])
("tcPretty",[108,111,143])
("tcReorder",[609,615,617,618,623])
("tcResult",[123,127,133])
("tcScomp",[222,226,264,863,1015])
("tcShowtExpr",[77,80,97,113,269,272,307,309])
("tcSplit",[458,461,606,664,665,849,994,1007,1060,1061,1099])
("tcSub",[47,204,210,214,216,216,218,218,218,288,374,399,403,404,430,434,434,729,735,856,863,891,1006,1038,1079,1080,1096,1097])
("tcSubstAnnTree",[43,47,135])
("tcTDefSubst",[567,776,782,786,793,794])
("tcTreeToEnv",[52,55,137])
("tcTvars",[182,185,263,385,569,1037])
("tcUnify",[278,282,285,290,291,293,294,296,299,303,323,731,751,755,929])
("tcUnifySet",[355,689,745,749,750,752,753])
("tcUnifyl",[297,301,316,320,1076])
("tcUnknowns",[382,385,422,425,425,1029])
("tcap",[524,911,918])
("tcap1",[918,926,928])
("tcap2",[929,934,936])
("tccase",[541,583,593])
("tccase1",[602,643,653])
("tccase2",[657,670,680])
("tccase3",[684,695,708])
("tcl",[838,844,846,856,918,995,1058])
("tcl1",[847,854,855])
("tcl2",[856,861,862])
("tclambda",[529,531,948,955])
("tclambda1",[955,964,966])
("tclet",[535,983,991])
("tclet1",[992,1000,1002])
("tclet2",[1003,1012,1014,1093])
("tcletrec",[536,1048,1056])
("tcletrec1",[1057,1073,1075])
("tcletrec2",[1076,1090,1092])
("tcn",[216,216,299,299,300,300])
("tcvar",[518,521,873,879])
("tdCNames",[599,608,609,720,740])
("tdInUse",[602,604,605,608,653,657,659,680,684,701,708,739,740])
("tdSignature",[566,568,729,739])
("tdefs",[122,127,146])
("tdefset",[819,821,823,825])
("tds",[514,517,518,520,521,523,524,526,527,528,529,530,531,533,535,536,540,541,593,602,604,653,657,663,680,684,695,708,722,818,827,844,846,847,847,854,855,856,879,918,918,955,955,991,992,995,1000,1002,1003,1056,1057,1058,1073,1075,1076,1090,1092,1093])
("te",[422,425,430,434,856,1006,1029,1079,1080,1096,1097])
("texp",[569,569,569])
("texpr",[247,247])
("that",[715])
("the",[559,562,565,565,571,594,596,597,598,654,654,655,681,681,682,682,683,710,711,712,712,712,714,714,715,716,716,717,717])
("themselves",[562])
("then",[124,203,284,338,535,600,656,820,822])
("therein",[595])
("these",[731])
("this",[715])
("tijp",[70,71])
("times",[574])
("tipe",[111,113])
("tn",[555,560,568])
("tname",[826,827])
("to",[270,574,595,597,655,681,685,685,687,688,689,703,704,709,709,712,712,714,727,894,899,902,1038])
("track",[378])
("tree",[47,47,55,56,719,725])
("ts",[98,99,102,102,188,188,216,216,299,299,301,301,862,863,1002,1005,1026,1028,1075,1076,1076,1078,1095,1098])
("tvars",[185,187,188,188,189,189,189,710])
("tvdict",[83,100,100,101,102,102,103,103,103])
("tvl",[775,776,804,807,808,809])
("tvn",[201,202,203,206,206,214,214,242,243,244,244,245,245,247,247,260,261,263,264,269,282,283,284,287,789,789,918,920,926,928,929,929,934,936,939,955,958,959,964,966,969,974,974])
("tvn2",[242,243,244,244,245,245])
("tvname",[83,83,96,98,98,99])
("type",[3,47,125,155,204,210,214,216,216,218,218,218,288,374,404,503,558,559,562,583,584,594,595,682,682,713,714,715,717,729,735,814,863,891,1038])
("typedef",[712])
("types",[378,565,656,683])
("u",[373,374])
("undeclared",[621])
("unified",[347])
("unifiedOlds",[338,339,341])
("unifier",[681,683])
("unifiers",[681])
("unify",[306,321,323,324])
("unknown",[710])
("unknowns",[1028,1029,1034,1037])
("unzip2",[538,543,544,609])
("uol",[617,618,619,623])
("up",[710])
("us",[373,374])
("use",[594,820])
("used",[815])
("usedc",[828,829])
("utDomain",[353])
("utLookup",[791])
("utLookupAll",[354])
("utLookupDef",[206,418,619])
("utRange",[425])
("v",[23,23,60])
("v5",[3])
("var",[247,247,558])
("variable",[418])
("variables",[438,562,595,682,868])
("vars",[558,595])
("version",[4])
("vl",[764,764])
("vs",[32,32,141])
("where",[7,22,57,82,126,133,140,186,205,286,322,340,352,405,462,489,537,542,557,603,658,664,686,721,754,788,824,848,880,892,919,938,956,968,993,1004,1027,1035,1059,1077,1094])
("with",[308,558,806])
("x",[130,133,133,187,187,394,394,394,434,434,517,518,528,529,530,531,628,628,879,879,881,955,955,958,964,966,967,974,974,1085])
("x2",[131])
("xs",[394,394,530,531,535,536,538,991,992,1000,1002,1003,1005,1012,1014,1015,1026,1026,1056,1057,1062,1067,1067,1073,1075,1076,1090,1092,1093])
("y",[188,530,531])
("ys",[394,394])
("zip",[301,351,607,607,720,720,764,776,893,1015,1026,1036,1067,1076])