@stevenvo780/st-lang 4.6.0 → 4.8.0

package/dist/tests/game-theory/game-theory.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"game-theory.test.js","sourceRoot":"","sources":["../../../src/tests/game-theory/game-theory.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,mDAmB2B;AAE3B,SAAS,IAAI,CAAC,MAAc,EAAE,CAAS,EAAE,IAAY;IACnD,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAA,8BAAgB,EAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,KAAK,CAAC,MAAc,EAAE,IAAc;IAC3C,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;AACxC,CAAC;AAED,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,IAAA,8BAAgB,GAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,6BAAe,GAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAA,6BAAe,GAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAA,8BAAgB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,IAAA,+BAAiB,GAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,IAAA,8BAAgB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACzF,IAAI,CACL,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACzF,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,2BAAa,GAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,8BAAgB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,qEAAqE;QACrE,gDAAgD;QAChD,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,OAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACxF,IAAI,CACL,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,OAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CACxF,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,sBAAQ,GAAE,CAAC;QACrB,MAAM,KAAK,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,8BAAgB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,8BAAgB,GAAE,CAAC;QAC7B,kEAAkE;QAClE,+DAA+D;QAC/D,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,IAAA,0BAAY,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,CAAC,GAAG,IAAA,6BAAe,GAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,IAAA,0BAAY,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,IAAA,2BAAa,GAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,IAAA,0BAAY,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,uEAAuE;QACvE,MAAM,CAAC,GAAG,IAAA,iCAAmB,EAC3B;YACE,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,EACD;YACE,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,wEAAwE;QACxE,kEAAkE;QAClE,mEAAmE;QACnE,sCAAsC;QACtC,MAAM,CAAC,GAAG,IAAA,iCAAmB,EAC3B;YACE,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,+CAA+C;YACvD,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,4BAA4B;SACrC,EACD;YACE,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CACF,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,gCAAkB,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,6EAA6E;QAC7E,+CAA+C;QAC/C,6FAA6F;QAC7F,MAAM,CAAC,GAAG,IAAA,iCAAmB,EAC3B;YACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa;YACxB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,sBAAsB;SACnC,EACD;YACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa;YACxB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CACF,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,gCAAkB,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5C,sDAAsD;QACtD,sFAAsF;QACtF,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACrD,4DAA4D;QAC5D,MAAM,gBAAgB,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,CAAC,GAAG,IAAA,8BAAgB,GAAE,CAAC;QAC7B,yDAAyD;QACzD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,IAAA,gCAAkB,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,6BAAe,GAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,+BAAiB,GAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,gCAAkB,EAAC,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAC1F,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,2BAAa,GAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,uCAAuC;QACvC,MAAM,MAAM,GAAG,IAAA,8BAAgB,EAAC,CAAC,CAAC,CAAC;QACnC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CACvB,CAAC,CAAC,EAAE,EAAE,CACJ,IAAA,gCAAkB,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC;YACtF,IAAA,gCAAkB,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,EAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,CACzF,CAAC;QACF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,6BAAe,GAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,4BAAc,EAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,4BAAc,EAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAExE,0EAA0E;QAC1E,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,4BAAc,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,2BAA2B;QAC3B,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,4BAAc,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,gDAAgD;QAChD,gEAAgE;QAChE,8DAA8D;QAC9D,MAAM,CAAC,GAAG,IAAA,iCAAmB,EAC3B;YACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,EACD;YACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CACF,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CACtF,CAAC;QACF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,+BAAiB,GAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,oDAAoD;QACpD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,kDAAkD;QAClD,yEAAyE;QACzE,gDAAgD;QAChD,MAAM,OAAO,GAAG,CAAC,CAAC;QAClB,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAU,EAAE,EAAU,EAAU,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChG,MAAM,OAAO,GAAe,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,MAAM,GAAG,GAAa,EAAE,CAAC;YACzB,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC9B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;oBAC9B,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;wBAC9B,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;oBAC/B,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,CAAC,GAAmB,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,IAAA,0BAAY,EAAC,CAAC,CAAC,CAAC;QAC9B,mEAAmE;QACnE,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAC3B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAClD,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CACrD,CAAC;QACF,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/higher-order-unify/ho-unify.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ho-unify.test.d.ts","sourceRoot":"","sources":["../../../src/tests/higher-order-unify/ho-unify.test.ts"],"names":[],"mappings":""}

package/dist/tests/higher-order-unify/ho-unify.test.js

@@ -1,264 +0,0 @@
-"use strict";
-// ============================================================
-// Tests — Higher-order unification (Miller pattern)
-// ============================================================
-//
-// Cubre:
-//   - Unificación de primer orden con meta-variables libres
-//   - Patrón λx. M x ≈ λx. f x  →  {M: f}
-//   - No-patrón: λx. M x x  (var repetida) → null
-//   - isPattern / isHigherOrderPattern
-//   - applyHOSubst con β-reducción
-//   - normalize β
-//   - occurs check
-//   - rigidez (heads distintas no unifican)
-//   - identidad (M ≈ M sin binding → subst vacía)
-//   - unifyMetaApp helper
-//   - multi-binding compuesto
-//   - encadenado: applyHOSubst transitivo
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const higher_order_unify_1 = require("../../higher-order-unify");
-// ---- Helpers de construcción ----
-const v = (name) => ({ kind: 'var', name });
-const m = (name) => ({ kind: 'meta', name });
-const abs = (param, body) => ({ kind: 'abs', param, body });
-const app = (fn, ...args) => ({ kind: 'app', fn, args });
-(0, vitest_1.beforeEach)(() => {
-    (0, higher_order_unify_1.resetFreshCounter)();
-});
-// ===========================================================
-// 1. Unificación de primer orden: f(a,b) ≈ f(x,y) → {x:a, y:b}
-//    Modelado como: app(f, [M, N]) ≈ app(f, [a, b])
-//    donde M y N son meta-variables libres (no aplicadas a nada).
-// ===========================================================
-(0, vitest_1.describe)('unifyPattern — primer orden', () => {
-    (0, vitest_1.it)('meta libre unifica con término concreto: M ≈ a → {M: a}', () => {
-        const result = (0, higher_order_unify_1.unifyPattern)(m('M'), v('a'));
-        (0, vitest_1.expect)(result).not.toBeNull();
-        (0, vitest_1.expect)(result['M']).toEqual(v('a'));
-    });
-    (0, vitest_1.it)('f(M, N) ≈ f(a, b) → {M: a, N: b}', () => {
-        const t1 = app(v('f'), m('M'), m('N'));
-        const t2 = app(v('f'), v('a'), v('b'));
-        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
-        (0, vitest_1.expect)(result).not.toBeNull();
-        (0, vitest_1.expect)(result['M']).toEqual(v('a'));
-        (0, vitest_1.expect)(result['N']).toEqual(v('b'));
-    });
-    (0, vitest_1.it)('meta libre ≈ meta libre del mismo nombre → subst vacía', () => {
-        const result = (0, higher_order_unify_1.unifyPattern)(m('M'), m('M'));
-        (0, vitest_1.expect)(result).not.toBeNull();
-        (0, vitest_1.expect)(Object.keys(result).length).toBe(0);
-    });
-});
-// ===========================================================
-// 2. Pattern unification λx. M x ≈ λx. f x
-//    El MGU de Miller es M ↦ λx. f x (no simplemente M ↦ f).
-//    Ambos son η-equivalentes, pero el algoritmo produce la forma λ.
-// ===========================================================
-(0, vitest_1.describe)('unifyPattern — patrón Miller λx. M x ≈ λx. f x', () => {
-    (0, vitest_1.it)('unifica correctamente: M ↦ λx. f x (aplicar devuelve f x)', () => {
-        // λx. (M x) ≈ λx. (f x)
-        const t1 = abs('x', app(m('M'), v('x')));
-        const t2 = abs('x', app(v('f'), v('x')));
-        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
-        (0, vitest_1.expect)(result).not.toBeNull();
-        // El MGU es M ↦ λx. f x; verificamos aplicando M a un argumento
-        const mBinding = result['M'];
-        const applied = (0, higher_order_unify_1.applyHOSubst)(app(mBinding, v('a')), {});
-        // (λx. f x) a → f a
-        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(applied)).toEqual(app(v('f'), v('a')));
-    });
-    (0, vitest_1.it)('λx. M x ≈ λx. (g x) — aplicar M a a da g a', () => {
-        const t1 = abs('x', app(m('M'), v('x')));
-        const t2 = abs('x', app(v('g'), v('x')));
-        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
-        (0, vitest_1.expect)(result).not.toBeNull();
-        const mBinding = result['M'];
-        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(mBinding, v('a')))).toEqual(app(v('g'), v('a')));
-    });
-    (0, vitest_1.it)('λx. λy. M x y ≈ λx. λy. h x y — aplicar M a b da h a b', () => {
-        // M aplicada a dos vars ligadas distintas; MGU: M ↦ λx.λy. h x y
-        const t1 = abs('x', abs('y', app(m('M'), v('x'), v('y'))));
-        const t2 = abs('x', abs('y', app(v('h'), v('x'), v('y'))));
-        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
-        (0, vitest_1.expect)(result).not.toBeNull();
-        const mBinding = result['M'];
-        // (λx.λy. h x y) a b → h a b
-        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(mBinding, v('a'), v('b')))).toEqual(app(v('h'), v('a'), v('b')));
-    });
-});
-// ===========================================================
-// 3. Non-pattern: λx. M x x — variable repetida → null
-// ===========================================================
-(0, vitest_1.describe)('unifyPattern — no-patrón (var repetida)', () => {
-    (0, vitest_1.it)('λx. M x x no es patrón → unifyPattern devuelve null', () => {
-        const t1 = abs('x', app(m('M'), v('x'), v('x')));
-        const t2 = abs('x', app(v('f'), v('x'), v('x')));
-        // No puede unificar porque M x x es non-pattern
-        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
-        (0, vitest_1.expect)(result).toBeNull();
-    });
-    (0, vitest_1.it)('isPattern detecta λx. M x x como false', () => {
-        // En el scope interno {x}, M aplicada a [x, x] → repetida
-        const term = abs('x', app(m('M'), v('x'), v('x')));
-        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(term)).toBe(false);
-    });
-});
-// ===========================================================
-// 4. isPattern — detección correcta
-// ===========================================================
-(0, vitest_1.describe)('isPattern', () => {
-    (0, vitest_1.it)('variable libre es patrón', () => {
-        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(v('a'))).toBe(true);
-    });
-    (0, vitest_1.it)('meta libre es patrón', () => {
-        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(m('M'))).toBe(true);
-    });
-    (0, vitest_1.it)('abs con meta sola en body es patrón', () => {
-        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(abs('x', m('M')))).toBe(true);
-    });
-    (0, vitest_1.it)('λx. M x es patrón (M aplicada a var ligada única)', () => {
-        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(abs('x', app(m('M'), v('x'))))).toBe(true);
-    });
-    (0, vitest_1.it)('λx. M x x NO es patrón (var repetida)', () => {
-        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(abs('x', app(m('M'), v('x'), v('x'))))).toBe(false);
-    });
-    (0, vitest_1.it)('M aplicada a variable libre NO es patrón', () => {
-        // x es libre (no está en ningún binder)
-        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(app(m('M'), v('x')))).toBe(false);
-    });
-    (0, vitest_1.it)('isHigherOrderPattern es alias de isPattern con scope vacío', () => {
-        const term = abs('x', app(m('M'), v('x')));
-        (0, vitest_1.expect)((0, higher_order_unify_1.isHigherOrderPattern)(term)).toBe((0, higher_order_unify_1.isPattern)(term));
-    });
-});
-// ===========================================================
-// 5. applyHOSubst con β-reducción
-// ===========================================================
-(0, vitest_1.describe)('applyHOSubst', () => {
-    (0, vitest_1.it)('sustituye meta simple', () => {
-        const subst = { M: v('a') };
-        const result = (0, higher_order_unify_1.applyHOSubst)(m('M'), subst);
-        (0, vitest_1.expect)(result).toEqual(v('a'));
-    });
-    (0, vitest_1.it)('sustituye y β-reduce: M aplicada a x con M ↦ λx.x', () => {
-        // M ↦ λx.x, aplicar M a 'y' → (λx.x) y → y
-        const subst = { M: abs('x', v('x')) };
-        const term = app(m('M'), v('y'));
-        const result = (0, higher_order_unify_1.applyHOSubst)(term, subst);
-        (0, vitest_1.expect)(result).toEqual(v('y'));
-    });
-    (0, vitest_1.it)('sustituye y β-reduce: M ↦ λx.f x, M y → f y', () => {
-        const subst = { M: abs('x', app(v('f'), v('x'))) };
-        const term = app(m('M'), v('y'));
-        const result = (0, higher_order_unify_1.applyHOSubst)(term, subst);
-        // (λx. f x) y → f y
-        (0, vitest_1.expect)(result).toEqual(app(v('f'), v('y')));
-    });
-    (0, vitest_1.it)('no toca variables ordinarias', () => {
-        const subst = { M: v('a') };
-        const result = (0, higher_order_unify_1.applyHOSubst)(v('x'), subst);
-        (0, vitest_1.expect)(result).toEqual(v('x'));
-    });
-});
-// ===========================================================
-// 6. normalize — β-normalización
-// ===========================================================
-(0, vitest_1.describe)('normalize', () => {
-    (0, vitest_1.it)('variable queda igual', () => {
-        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(v('x'))).toEqual(v('x'));
-    });
-    (0, vitest_1.it)('(λx.x) a → a', () => {
-        const term = app(abs('x', v('x')), v('a'));
-        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(v('a'));
-    });
-    (0, vitest_1.it)('(λx.λy.x) a b → a', () => {
-        const term = app(abs('x', abs('y', v('x'))), v('a'), v('b'));
-        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(v('a'));
-    });
-    (0, vitest_1.it)('(λx. f x) a → f a', () => {
-        const term = app(abs('x', app(v('f'), v('x'))), v('a'));
-        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(app(v('f'), v('a')));
-    });
-    (0, vitest_1.it)('término sin redex queda igual', () => {
-        const term = abs('x', app(v('f'), v('x')));
-        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(term);
-    });
-});
-// ===========================================================
-// 7. Occurs check: M ≈ f(M) debe fallar
-// ===========================================================
-(0, vitest_1.describe)('unifyPattern — occurs check', () => {
-    (0, vitest_1.it)('M ≈ f M falla por occurs check', () => {
-        const t1 = m('M');
-        const t2 = app(v('f'), m('M'));
-        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
-        (0, vitest_1.expect)(result).toBeNull();
-    });
-});
-// ===========================================================
-// 8. Rigid heads distintas no unifican
-// ===========================================================
-(0, vitest_1.describe)('unifyPattern — rigid heads', () => {
-    (0, vitest_1.it)('f a ≈ g a falla (f ≠ g)', () => {
-        const t1 = app(v('f'), v('a'));
-        const t2 = app(v('g'), v('a'));
-        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
-        (0, vitest_1.expect)(result).toBeNull();
-    });
-    (0, vitest_1.it)('f a b ≈ f a falla (aridades distintas)', () => {
-        const t1 = app(v('f'), v('a'), v('b'));
-        const t2 = app(v('f'), v('a'));
-        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
-        (0, vitest_1.expect)(result).toBeNull();
-    });
-});
-// ===========================================================
-// 9. unifyMetaApp helper
-// ===========================================================
-(0, vitest_1.describe)('unifyMetaApp', () => {
-    (0, vitest_1.it)('M [x, y] ↦ λx.λy.body construye el lambda correcto', () => {
-        const result = (0, higher_order_unify_1.unifyMetaApp)('M', ['x', 'y'], app(v('f'), v('x'), v('y')));
-        (0, vitest_1.expect)(result).not.toBeNull();
-        (0, vitest_1.expect)(result['M']).toEqual(abs('x', abs('y', app(v('f'), v('x'), v('y')))));
-    });
-    (0, vitest_1.it)('rechaza si hay vars repetidas', () => {
-        const result = (0, higher_order_unify_1.unifyMetaApp)('M', ['x', 'x'], v('x'));
-        (0, vitest_1.expect)(result).toBeNull();
-    });
-});
-// ===========================================================
-// 10. Sustitución transitiva / encadenada
-// ===========================================================
-(0, vitest_1.describe)('applyHOSubst — sustitución encadenada', () => {
-    (0, vitest_1.it)('M ↦ N, N ↦ a  → aplicar sobre M da a', () => {
-        const subst = { M: m('N'), N: v('a') };
-        const result = (0, higher_order_unify_1.applyHOSubst)(m('M'), subst);
-        (0, vitest_1.expect)(result).toEqual(v('a'));
-    });
-});
-// ===========================================================
-// 11. Unificación con múltiples metas en simultáneo
-// ===========================================================
-(0, vitest_1.describe)('unifyPattern — múltiples metas', () => {
-    (0, vitest_1.it)('pair(M, N) ≈ pair(a, b) → {M:a, N:b}', () => {
-        const t1 = app(v('pair'), m('M'), m('N'));
-        const t2 = app(v('pair'), v('a'), v('b'));
-        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
-        (0, vitest_1.expect)(result).not.toBeNull();
-        (0, vitest_1.expect)(result['M']).toEqual(v('a'));
-        (0, vitest_1.expect)(result['N']).toEqual(v('b'));
-    });
-    (0, vitest_1.it)('λx. pair(M x, N x) ≈ λx. pair(f x, g x) — M a = f a, N a = g a', () => {
-        const t1 = abs('x', app(v('pair'), app(m('M'), v('x')), app(m('N'), v('x'))));
-        const t2 = abs('x', app(v('pair'), app(v('f'), v('x')), app(v('g'), v('x'))));
-        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
-        (0, vitest_1.expect)(result).not.toBeNull();
-        // MGU: M ↦ λx. f x, N ↦ λx. g x
-        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(result['M'], v('a')))).toEqual(app(v('f'), v('a')));
-        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(result['N'], v('a')))).toEqual(app(v('g'), v('a')));
-    });
-});
-//# sourceMappingURL=ho-unify.test.js.map

package/dist/tests/higher-order-unify/ho-unify.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ho-unify.test.js","sourceRoot":"","sources":["../../../src/tests/higher-order-unify/ho-unify.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;AAC/D,EAAE;AACF,SAAS;AACT,4DAA4D;AAC5D,0CAA0C;AAC1C,kDAAkD;AAClD,uCAAuC;AACvC,mCAAmC;AACnC,kBAAkB;AAClB,mBAAmB;AACnB,4CAA4C;AAC5C,kDAAkD;AAClD,0BAA0B;AAC1B,8BAA8B;AAC9B,0CAA0C;;AAE1C,mCAA0D;AAC1D,iEASkC;AAElC,oCAAoC;AAEpC,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC5D,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC7D,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACpF,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,GAAG,IAAc,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;AAEnF,IAAA,mBAAU,EAAC,GAAG,EAAE;IACd,IAAA,sCAAiB,GAAE,CAAC;AACtB,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,+DAA+D;AAC/D,oDAAoD;AACpD,kEAAkE;AAClE,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,MAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,2CAA2C;AAC3C,6DAA6D;AAC7D,qEAAqE;AACrE,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,wBAAwB;QACxB,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,gEAAgE;QAChE,MAAM,QAAQ,GAAG,MAAO,CAAC,GAAG,CAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAA,iCAAY,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxD,oBAAoB;QACpB,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAO,CAAC,GAAG,CAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,iEAAiE;QACjE,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAO,CAAC,GAAG,CAAE,CAAC;QAC/B,6BAA6B;QAC7B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,uDAAuD;AACvD,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,gDAAgD;QAChD,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,0DAA0D;QAC1D,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,oCAAoC;AACpC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,wCAAwC;QACxC,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,yCAAoB,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,kCAAkC;AAClC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,2CAA2C;QAC3C,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,oBAAoB;QACpB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,iCAAiC;AACjC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,wCAAwC;AACxC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,uCAAuC;AACvC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,yBAAyB;AACzB,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,0CAA0C;AAC1C,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,oDAAoD;AACpD,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,gCAAgC;QAChC,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,MAAO,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,MAAO,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/hindley-milner/hindley-milner.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"hindley-milner.test.d.ts","sourceRoot":"","sources":["../../../src/tests/hindley-milner/hindley-milner.test.ts"],"names":[],"mappings":""}