diff --git a/projectors/hazel.js b/projectors/hazel.js index 0313dfe8..6ca6b44f 100644 --- a/projectors/hazel.js +++ b/projectors/hazel.js @@ -443283,171 +443283,171 @@ d=/*<>*/g(aj[40],function(a){/*<>*/function -f(a,b){return(a.l>=0?a.l:a.l=a.length)==1?a(b):o.caml_call_gen(a,[b])}/*<>*/function -g(a,b,c){return(a.l>=0?a.l:a.l=a.length)==2?a(b,c):o.caml_call_gen(a,[b,c])}/*<>*/function +e(a,b){return(a.l>=0?a.l:a.l=a.length)==1?a(b):o.caml_call_gen(a,[b])}/*<>*/function +f(a,b,c){return(a.l>=0?a.l:a.l=a.length)==2?a(b,c):o.caml_call_gen(a,[b,c])}/*<>*/function p(a,b,c,d){return(a.l>=0?a.l:a.l=a.length)==3?a(b,c,d):o.caml_call_gen(a,[b,c,d])}var -b=o.caml_get_global_data(),d=G,l=G,i=b.Util__OptUtil,k=b.Stdlib,n=b.Stdlib__Int,j=b.Stdlib__List,e=b.Haz3lcore__Zipper,z=b.Haz3lcore__Measured,E=b.Util__Direction,y=b.Haz3lcore__Secondary,A=b.Haz3lcore__Unicode,c=b.Stdlib__Format,x=b.Ppx_yojson_conv_lib__Yojson_conv,m=b.Ppx_yojson_conv_lib__Yojson_conv_error,w=b.Sexplib__Std,h=b.Sexplib0__Sexp_conv_error,ad=[0,0,0],$=[0,"src/haz3lcore/zipper/action/Move.re",14,2],M=s,N=q,O=[0,[12,40,[18,[1,[0,[11,K,0],K]],[11,"CanEnter (",[17,[0,H,0,0],0]]]],"(@[<2>CanEnter (@,"],P=[0,[4,0,0,0,0],L],Q=[0,[12,44,[17,[0,"@ ",1,0],0]],",@ "],R=[0,[4,0,0,0,0],L],S=[0,[17,[0,H,0,0],[11,"))",[17,0,0]]],"@,))@]"],T=[0,[15,0],"%a"],X=[0,v,[0,[0,u,s],0]],Y=[0,v,[0,[0,u,q],0]],Z=[0,u,r],U=[0,s],V=[0,q],W=[0,r],ae=b.Haz3lcore__Indicated,af=b.Haz3lcore__Action,ac=b.Haz3lcore__Projector,ab=b.Haz3lcore__Siblings,aa=b.Assert_failure,_=b.Haz3lcore__Token;/*<>*/function +b=o.caml_get_global_data(),d=G,l=G,i=b.Util__OptUtil,k=b.Stdlib,n=b.Stdlib__Int,j=b.Stdlib__List,g=b.Haz3lcore__Zipper,z=b.Haz3lcore__Measured,E=b.Util__Direction,y=b.Haz3lcore__Secondary,A=b.Haz3lcore__Unicode,c=b.Stdlib__Format,x=b.Ppx_yojson_conv_lib__Yojson_conv,m=b.Ppx_yojson_conv_lib__Yojson_conv_error,w=b.Sexplib__Std,h=b.Sexplib0__Sexp_conv_error,ad=[0,0,0],$=[0,"src/haz3lcore/zipper/action/Move.re",14,2],M=s,N=q,O=[0,[12,40,[18,[1,[0,[11,K,0],K]],[11,"CanEnter (",[17,[0,H,0,0],0]]]],"(@[<2>CanEnter (@,"],P=[0,[4,0,0,0,0],L],Q=[0,[12,44,[17,[0,"@ ",1,0],0]],",@ "],R=[0,[4,0,0,0,0],L],S=[0,[17,[0,H,0,0],[11,"))",[17,0,0]]],"@,))@]"],T=[0,[15,0],"%a"],X=[0,v,[0,[0,u,s],0]],Y=[0,v,[0,[0,u,q],0]],Z=[0,u,r],U=[0,s],V=[0,q],W=[0,r],ae=b.Haz3lcore__Indicated,af=b.Haz3lcore__Action,ac=b.Haz3lcore__Projector,ab=b.Haz3lcore__Siblings,aa=b.Assert_failure,_=b.Haz3lcore__Token;/*<>*/function B(a,b){/*<>*/if(typeof -b==="number")return b?/*<>*/g(c[13],a,M):/*<>*/g(c[13],a,N);var -d=b[2],e=b[1];/*<>*/ /*<>*/g(c[t],a,O);f(/*<>*/g(c[t],a,P),e);/*<>*/ /*<>*/g(c[t],a,Q);f(/*<>*/g(c[t],a,R),d);return g(c[t],a,S)/*<>*/}function -C(a,b,c){/*<>*/if(c>=/*<>*/f(j[1],b))/*<>*/throw/*<>*/ag([0,aa,$],1);a:{switch(a){case +b==="number")return b?/*<>*/f(c[13],a,M):/*<>*/f(c[13],a,N);var +d=b[2],g=b[1];/*<>*/ /*<>*/f(c[t],a,O);e(/*<>*/f(c[t],a,P),g);/*<>*/ /*<>*/f(c[t],a,Q);e(/*<>*/f(c[t],a,R),d);return f(c[t],a,S)/*<>*/}function +C(a,b,c){/*<>*/if(c>=/*<>*/e(j[1],b))/*<>*/throw/*<>*/ag([0,aa,$],1);a:{switch(a){case 1:if(!b||b[2]||0!==c)break a;break;case -0:break;default:break a}/*<>*/var/*<>*/e=/*<>*/g(j[8],b,c),/*<>*/d=/*<>*/f(_[8],e)-2|0;return d<0?0:[0,c,d]}/*<>*/return 0/*<>*/}function +0:break;default:break a}/*<>*/var/*<>*/g=/*<>*/f(j[8],b,c),/*<>*/d=/*<>*/e(_[8],g)-2|0;return d<0?0:[0,c,d]}/*<>*/return 0/*<>*/}function D(z,b){/*<>*/var h=b[3],i=h[2];/*<>*/function a(a,b){/*<>*/return C(z,a,b)}var B=h[1];if(i)/*<>*/var -k=i[1][1],l=k[5][1],m=k[2],/*<>*/D=a(m,/*<>*/f(j[1],l)+1|0),o=D,n=a(m,/*<>*/f(j[1],l));else +k=i[1][1],l=k[5][1],m=k[2],/*<>*/D=a(m,/*<>*/e(j[1],l)+1|0),o=D,n=a(m,/*<>*/e(j[1],l));else var -o=1,n=1;/*<>*/var/*<>*/p=/*<>*/f(ab[25],B),q=p[2],r=p[1];/*<>*/if(r){var +o=1,n=1;/*<>*/var/*<>*/p=/*<>*/e(ab[25],B),q=p[2],r=p[1];/*<>*/if(r){var c=r[1];a:{switch(c[0]){case 0:var -s=c[1][2],d=a(s,/*<>*/f(j[1],s)-1|0);break a;case +s=c[1][2],d=a(s,/*<>*/e(j[1],s)-1|0);break a;case 2:var -w=c[1];/*<>*/if(/*<>*/f(y[25],w)){/*<>*/var/*<>*/x=/*<>*/f(y[26],w[2]),/*<>*/G=/*<>*/f(A[11],x)-2|0,/*<>*/H=[0,/*<>*/f(A[11],x)-1|0,G],d=H;break a}break}var +w=c[1];/*<>*/if(/*<>*/e(y[25],w)){/*<>*/var/*<>*/x=/*<>*/e(y[26],w[2]),/*<>*/G=/*<>*/e(A[11],x)-2|0,/*<>*/H=[0,/*<>*/e(A[11],x)-1|0,G],d=H;break a}break}var d=0}var t=d}else var t=n;/*<>*/if(q){var -e=q[1];a:{switch(e[0]){case +f=q[1];a:{switch(f[0]){case 0:var -g=a(e[1][2],0);break a;case +g=a(f[1][2],0);break a;case 2:var -v=e[1];/*<>*/if(/*<>*/f(y[25],v)){/*<>*/var/*<>*/E=/*<>*/f(y[26],v[2]),/*<>*/F=[0,0,/*<>*/f(A[11],E)-2|0],g=F;break a}break}var +v=f[1];/*<>*/if(/*<>*/e(y[25],v)){/*<>*/var/*<>*/E=/*<>*/e(y[26],v[2]),/*<>*/F=[0,0,/*<>*/e(A[11],E)-2|0],g=F;break a}break}var g=0}var u=g}else var u=o;/*<>*/return[0,t,u]/*<>*/}o.caml_register_global(54,[0,B,function(a){/*<>*/return/*<>*/p(c[143],T,B,a)/*<>*/},function(a){/*<>*/a:{if(0===a[0]){var -c=a[1];b:if(c!==r){c:if(c!==q){if(c!==s){if(c===F)break b;if(c===J)break c;if(c!==I)break a}/*<>*/return 1}/*<>*/return 0}/*<>*/return/*<>*/g(h[5],d,a)}var -e=a[1];if(!e)/*<>*/return/*<>*/g(h[7],d,a);var -k=e[1];if(0!==k[0])/*<>*/return/*<>*/g(h[6],d,a);var -b=k[1];b:if(b!==r){c:if(b!==q){if(b!==s){if(b===F)break b;if(b===J)break c;if(b!==I)break a}/*<>*/return/*<>*/g(h[3],d,a)}/*<>*/return/*<>*/g(h[3],d,a)}var -i=e[2];/*<>*/if(i){var +c=a[1];b:if(c!==r){c:if(c!==q){if(c!==s){if(c===F)break b;if(c===J)break c;if(c!==I)break a}/*<>*/return 1}/*<>*/return 0}/*<>*/return/*<>*/f(h[5],d,a)}var +g=a[1];if(!g)/*<>*/return/*<>*/f(h[7],d,a);var +k=g[1];if(0!==k[0])/*<>*/return/*<>*/f(h[6],d,a);var +b=k[1];b:if(b!==r){c:if(b!==q){if(b!==s){if(b===F)break b;if(b===J)break c;if(b!==I)break a}/*<>*/return/*<>*/f(h[3],d,a)}/*<>*/return/*<>*/f(h[3],d,a)}var +i=g[2];/*<>*/if(i){var j=i[2];if(j&&!j[2]){/*<>*/var -l=j[1],/*<>*/m=/*<>*/f(w[16],i[1]);/*<>*/return[0,m,/*<>*/f(w[16],l)]}}/*<>*/return/*<>*/p(h[4],d,b,a)}/*<>*/return/*<>*/g(h[8],d,a)/*<>*/},function(a){/*<>*/if(typeof +l=j[1],/*<>*/m=/*<>*/e(w[16],i[1]);/*<>*/return[0,m,/*<>*/e(w[16],l)]}}/*<>*/return/*<>*/p(h[4],d,b,a)}/*<>*/return/*<>*/f(h[8],d,a)/*<>*/},function(a){/*<>*/if(typeof a==="number")return a?U:V;/*<>*/var -b=a[2],/*<>*/c=/*<>*/f(w[15],a[1]);/*<>*/return[1,[0,W,[0,c,[0,/*<>*/f(w[15],b),0]]]]/*<>*/},function(a){/*<>*/if(typeof +b=a[2],/*<>*/c=/*<>*/e(w[15],a[1]);/*<>*/return[1,[0,W,[0,c,[0,/*<>*/e(w[15],b),0]]]]/*<>*/},function(a){/*<>*/if(typeof a!=="number"){var -i=a[1];if(u===i){if(a[2]===r)/*<>*/return/*<>*/g(m[5],l,a)}else if(v===i){var -b=a[2];if(!b)/*<>*/return/*<>*/g(m[7],l,a);var +i=a[1];if(u===i){if(a[2]===r)/*<>*/return/*<>*/f(m[5],l,a)}else if(v===i){var +b=a[2];if(!b)/*<>*/return/*<>*/f(m[7],l,a);var d=b[1];if(typeof d!=="number"){var j=d[1];if(u===j){var c=d[2];if(c===r){var -e=b[2];/*<>*/if(e){var -h=e[2];if(h&&!h[2]){/*<>*/var -k=h[1],/*<>*/n=/*<>*/f(x[45][22],e[1]);/*<>*/return[0,n,/*<>*/f(x[45][22],k)]}}/*<>*/return/*<>*/p(m[4],l,c,a)}if(c===q)return b[2]?/*<>*/g(m[3],l,a):0;if(c===s)return b[2]?/*<>*/g(m[3],l,a):1}else if(v===j)/*<>*/return/*<>*/g(m[6],l,a)}}}/*<>*/return/*<>*/g(m[8],l,a)/*<>*/},function(a){/*<>*/if(typeof +g=b[2];/*<>*/if(g){var +h=g[2];if(h&&!h[2]){/*<>*/var +k=h[1],/*<>*/n=/*<>*/e(x[45][22],g[1]);/*<>*/return[0,n,/*<>*/e(x[45][22],k)]}}/*<>*/return/*<>*/p(m[4],l,c,a)}if(c===q)return b[2]?/*<>*/f(m[3],l,a):0;if(c===s)return b[2]?/*<>*/f(m[3],l,a):1}else if(v===j)/*<>*/return/*<>*/f(m[6],l,a)}}}/*<>*/return/*<>*/f(m[8],l,a)/*<>*/},function(a){/*<>*/if(typeof a==="number")return a?X:Y;/*<>*/var -b=a[2],/*<>*/c=/*<>*/f(x[45][6],a[1]);/*<>*/return[0,v,[0,Z,[0,c,[0,/*<>*/f(x[45][6],b),0]]]]/*<>*/},C,D,function(l){/*<>*/ /*<>*/var -h=/*<>*/f(e[64],l[2]);function -w(a){/*<>*/return[0,/*<>*/f(/*<>*/f(e[30],0),a)]/*<>*/}function +b=a[2],/*<>*/c=/*<>*/e(x[45][6],a[1]);/*<>*/return[0,v,[0,Z,[0,c,[0,/*<>*/e(x[45][6],b),0]]]]/*<>*/},C,D,function(l){/*<>*/ /*<>*/var +h=/*<>*/e(g[64],l[2]);function +x(a){/*<>*/return[0,/*<>*/e(/*<>*/e(g[30],0),a)]/*<>*/}function r(a,b){/*<>*/ /*<>*/var -c=/*<>*/f(/*<>*/f(e[30],0),b);/*<>*/return/*<>*/f(/*<>*/f(e[50],a),c)/*<>*/}function -x(a,b,c){/*<>*/return[0,/*<>*/g(e[30],[0,a,b+1|0],c)]/*<>*/}function -y(a,b){/*<>*/return[0,/*<>*/g(e[30],[0,a,0],b)]/*<>*/}function -A(a,b,c,d){/*<>*/ /*<>*/var -g=/*<>*/f(/*<>*/f(e[30],[0,b,c]),d);/*<>*/return/*<>*/f(/*<>*/f(e[50],a),g)/*<>*/}function +c=/*<>*/e(/*<>*/e(g[30],0),b);/*<>*/return/*<>*/e(/*<>*/e(g[50],a),c)/*<>*/}function +y(a,b,c){/*<>*/return[0,/*<>*/f(g[30],[0,a,b+1|0],c)]/*<>*/}function +A(a,b){/*<>*/return[0,/*<>*/f(g[30],[0,a,0],b)]/*<>*/}function +B(a,b,c,d){/*<>*/ /*<>*/var +f=/*<>*/e(/*<>*/e(g[30],[0,b,c]),d);/*<>*/return/*<>*/e(/*<>*/e(g[50],a),f)/*<>*/}function d(a,b,c){/*<>*/var -d=c[4],/*<>*/f=D(a,c);if(0!==c[1][2])/*<>*/return r(b,c);/*<>*/if(!d&&0!==/*<>*/g(ac[96][1],b,c))/*<>*/return/*<>*/g(e[50],b,c);if(!b){if(d)return 2===a?w(c):[0,/*<>*/g(e[29],e[1][7],c)];var -h=f[1];return typeof -h==="number"?/*<>*/g(e[50],b,c):A(b,h[1],h[2],c)}if(!d){var -j=f[2];return typeof -j==="number"?/*<>*/g(e[50],b,c):y(j[1],c)}var -i=f[2],k=d[1],l=d[2];if(typeof -i!=="number"&&l===i[2])/*<>*/return r(b,c);return 2===a?r(b,c):x(k,d[2],c)/*<>*/}function -B(a,b){/*<>*/var/*<>*/c=/*<>*/f(h,b),j=c[2],k=c[1],/*<>*/d=/*<>*/g(e[50],a,b);if(!d)/*<>*/return 1;/*<>*/var/*<>*/i=/*<>*/f(h,d[1]),m=k!==i[1]?1:0,l=i[2],n=m||(j===l?1:0);return n/*<>*/}function -m(r,b,c,d,e){/*<>*/var -w=b?b[1]:1,/*<>*/l=/*<>*/f(h,e),a=d[1]>*/e=D(a,c);if(0!==c[1][2])/*<>*/return r(b,c);/*<>*/if(!d&&0!==/*<>*/f(ac[96][1],b,c))/*<>*/return/*<>*/f(g[50],b,c);if(!b){if(d)return 2===a?x(c):[0,/*<>*/f(g[29],g[1][7],c)];var +h=e[1];return typeof +h==="number"?/*<>*/f(g[50],b,c):B(b,h[1],h[2],c)}if(!d){var +j=e[2];return typeof +j==="number"?/*<>*/f(g[50],b,c):A(j[1],c)}var +i=e[2],k=d[1],l=d[2];if(typeof +i!=="number"&&l===i[2])/*<>*/return r(b,c);return 2===a?r(b,c):y(k,d[2],c)/*<>*/}function +C(a,b){/*<>*/var/*<>*/c=/*<>*/e(h,b),j=c[2],k=c[1],/*<>*/d=/*<>*/f(g[50],a,b);if(!d)/*<>*/return 1;/*<>*/var/*<>*/i=/*<>*/e(h,d[1]),m=k!==i[1]?1:0,l=i[2],n=m||(j===l?1:0);return n/*<>*/}function +v(a,b,c,d,e){/*<>*/var +f=e[1]>*/var -j=i?0:1,/*<>*/m=function(a,b){/*<>*/var -i=a,e=b;/*<>*/for(;;){/*<>*/var/*<>*/n=/*<>*/f(h,e),/*<>*/x=/*<>*/p(z[13][11],j,n[2],d[2]),/*<>*/m=/*<>*/p(z[13][11],j,n[1],d[1]);a:{switch(x){case -0:/*<>*/if(!m)/*<>*/return e;break;case -1:/*<>*/if(!m)break a;break;default:/*<>*/if(!m){if(!r){if(B(/*<>*/f(E[7],j),e))/*<>*/return e;/*<>*/var/*<>*/A=/*<>*/f(k[18],n[2]-d[2]|0),/*<>*/C=d[2],D=/*<>*/f(h,i)[2]-C|0;return/*<>*/f(k[18],D)>*/}function +m(l,r,c,d){/*<>*/var/*<>*/j=/*<>*/e(h,d),a=c[1]>*/o.caml_equal(/*<>*/f(h,i),l)&&w)/*<>*/return e;/*<>*/return i}}/*<>*/ /*<>*/var -s=/*<>*/g(c,j,e);if(!s)/*<>*/return e;i=e;e=s[1]}/*<>*/}(e,e),/*<>*/q=/*<>*/f(h,e),/*<>*/s=/*<>*/f(h,m);return/*<>*/g(z[13][8],s,q)?0:[0,m]/*<>*/}function -C(a,b,c){/*<>*/var/*<>*/d=/*<>*/f(h,c),/*<>*/e=l[4],g=1===b?1:-1;/*<>*/return m(0,0,a,[0,d[1]+g|0,e],c)/*<>*/}function -s(a,b,c){/*<>*/var/*<>*/d=/*<>*/f(h,c),/*<>*/e=typeof -b==="number"?0===b?ad:[0,n[5],n[5]]:0===b[0]?[0,d[1],0]:[0,d[1],n[5]];/*<>*/return m(0,0,a,e,c)/*<>*/}var/*<>*/G=0,H=2;/*<>*/function -I(a,b){/*<>*/return d(H,a,b)}/*<>*/function -c(a){/*<>*/return s(I,G,a)}var/*<>*/J=1,K=2;/*<>*/function -L(a,b){/*<>*/return d(K,a,b)}/*<>*/function -b(a){/*<>*/return s(L,J,a)}function -a(a){/*<>*/return a?b:c/*<>*/}function -t(a,b,c,d){/*<>*/var -e=a?a[1]:1;function -h(d){/*<>*/ /*<>*/var -a=/*<>*/p(ae[1],0,function(a){/*<>*/return 0/*<>*/},d);/*<>*/return/*<>*/g(i[10][1],a,function(a){/*<>*/if(/*<>*/f(c,a[1]))/*<>*/return[0,d];function -h(a){/*<>*/return t([0,e],b,c,a)/*<>*/}var -j=e?[0,d]:/*<>*/f(b,d);/*<>*/return/*<>*/g(i[10][1],j,h)/*<>*/})/*<>*/}var -j=e?/*<>*/f(b,d):[0,d];/*<>*/return/*<>*/g(i[10][1],j,h)/*<>*/}function -F(e,b,c){/*<>*/var -j=2,/*<>*/h=t(0,function(a){/*<>*/return d(j,b,a)},e,c);if(h)/*<>*/return[0,h[1]];/*<>*/ /*<>*/var -k=a(/*<>*/f(E[7],b))(c);/*<>*/return/*<>*/g(i[10][1],k,function(a){/*<>*/var -c=2;/*<>*/return t(0,function(a){/*<>*/return d(c,b,a)},e,a)/*<>*/})/*<>*/}function -q(a,b){/*<>*/if(0!==b[1][2])/*<>*/return[0,/*<>*/g(e[49],a,b)];var -c=0;/*<>*/return C(function(a,b){/*<>*/return d(c,a,b)},a,b)/*<>*/}function -v(a){/*<>*/ /*<>*/var -l=/*<>*/f(h,a);function -i(a,b){/*<>*/var -g=b;/*<>*/for(;;){/*<>*/ /*<>*/var -j=d(0,a,g);if(!j)/*<>*/return 0;/*<>*/var -c=j[1],/*<>*/k=l[1];if(/*<>*/f(h,c)[1]!==k)/*<>*/return 0;if(/*<>*/f(e[34],c))/*<>*/return[0,c,i(a,c)];g=c}/*<>*/}/*<>*/var -b=/*<>*/f(e[34],a)?[0,a,0]:0,/*<>*/c=i(1,a),/*<>*/m=/*<>*/g(k[37],b,c),/*<>*/n=i(0,a),/*<>*/o=/*<>*/f(j[10],n);/*<>*/return/*<>*/g(k[37],o,m)/*<>*/}function +m=c[1]===j[1]?1:0,b=m?c[2]>*/var +i=b?0:1,/*<>*/g=function(a,b){/*<>*/var +g=a,d=b;/*<>*/for(;;){/*<>*/var/*<>*/n=/*<>*/e(h,d),/*<>*/s=/*<>*/p(z[13][11],i,n[2],c[2]),/*<>*/m=/*<>*/p(z[13][11],i,n[1],c[1]);a:{switch(s){case +0:/*<>*/if(!m)/*<>*/return d;break;case +1:/*<>*/if(!m)break a;break;default:/*<>*/if(!m){if(l)/*<>*/return v(l[1],i,g,d,c);if(C(/*<>*/e(E[7],i),d))/*<>*/return d;/*<>*/var/*<>*/t=/*<>*/e(k[18],n[2]-c[2]|0),/*<>*/u=c[2],w=/*<>*/e(h,g)[2]-u|0;return/*<>*/e(k[18],w)>*/o.caml_equal(/*<>*/e(h,g),j)?d:g}/*<>*/ /*<>*/var +q=/*<>*/f(r,i,d);if(!q)/*<>*/return d;g=d;d=q[1]}/*<>*/}(d,d),/*<>*/n=/*<>*/e(h,g);return/*<>*/f(z[13][8],n,j)?0:[0,g]/*<>*/}function +F(a,b,c){/*<>*/var/*<>*/d=/*<>*/e(h,c),/*<>*/f=l[4],g=1===b?1:-1;/*<>*/return m(0,a,[0,d[1]+g|0,f],c)/*<>*/}function +s(a,b,c){/*<>*/var/*<>*/d=/*<>*/e(h,c),/*<>*/f=typeof +b==="number"?0===b?ad:[0,n[5],n[5]]:0===b[0]?[0,d[1],0]:[0,d[1],n[5]];/*<>*/return m(0,a,f,c)/*<>*/}var/*<>*/H=0,I=2;/*<>*/function +J(a,b){/*<>*/return d(I,a,b)}/*<>*/function +c(a){/*<>*/return s(J,H,a)}var/*<>*/K=1,L=2;/*<>*/function +M(a,b){/*<>*/return d(L,a,b)}/*<>*/function +b(a){/*<>*/return s(M,K,a)}function +a(a){/*<>*/return a?b:c/*<>*/}function +t(a,b,c,d){/*<>*/var +g=a?a[1]:1;function +h(d){/*<>*/ /*<>*/var +a=/*<>*/p(ae[1],0,function(a){/*<>*/return 0/*<>*/},d);/*<>*/return/*<>*/f(i[10][1],a,function(a){/*<>*/if(/*<>*/e(c,a[1]))/*<>*/return[0,d];function +h(a){/*<>*/return t([0,g],b,c,a)/*<>*/}var +j=g?[0,d]:/*<>*/e(b,d);/*<>*/return/*<>*/f(i[10][1],j,h)/*<>*/})/*<>*/}var +j=g?/*<>*/e(b,d):[0,d];/*<>*/return/*<>*/f(i[10][1],j,h)/*<>*/}function +G(g,b,c){/*<>*/var +j=2,/*<>*/h=t(0,function(a){/*<>*/return d(j,b,a)},g,c);if(h)/*<>*/return[0,h[1]];/*<>*/ /*<>*/var +k=a(/*<>*/e(E[7],b))(c);/*<>*/return/*<>*/f(i[10][1],k,function(a){/*<>*/var +c=2;/*<>*/return t(0,function(a){/*<>*/return d(c,b,a)},g,a)/*<>*/})/*<>*/}function +q(a,b){/*<>*/if(0!==b[1][2])/*<>*/return[0,/*<>*/f(g[49],a,b)];var +c=0;/*<>*/return F(function(a,b){/*<>*/return d(c,a,b)},a,b)/*<>*/}function +w(a){/*<>*/ /*<>*/var +l=/*<>*/e(h,a);function +i(a,b){/*<>*/var +f=b;/*<>*/for(;;){/*<>*/ /*<>*/var +j=d(0,a,f);if(!j)/*<>*/return 0;/*<>*/var +c=j[1],/*<>*/k=l[1];if(/*<>*/e(h,c)[1]!==k)/*<>*/return 0;if(/*<>*/e(g[34],c))/*<>*/return[0,c,i(a,c)];f=c}/*<>*/}/*<>*/var +b=/*<>*/e(g[34],a)?[0,a,0]:0,/*<>*/c=i(1,a),/*<>*/m=/*<>*/f(k[37],b,c),/*<>*/n=i(0,a),/*<>*/o=/*<>*/e(j[10],n);/*<>*/return/*<>*/f(k[37],o,m)/*<>*/}function u(c,b){function -m(a,b){/*<>*/return/*<>*/f(e[34],b)?[0,b]:u(a,b)/*<>*/}/*<>*/if(typeof -c==="number"){/*<>*/if(0===c){/*<>*/ /*<>*/var -a=q(0,b);/*<>*/return/*<>*/g(i[10][1],a,function(a){/*<>*/var/*<>*/d=v(a),/*<>*/b=/*<>*/f(/*<>*/f(j[59],function(a,b){/*<>*/var -i=l[4],c=/*<>*/f(h,a)[2]-i|0,/*<>*/j=l[4],d=/*<>*/f(h,b)[2]-j|0,/*<>*/m=/*<>*/f(k[18],d),/*<>*/o=/*<>*/f(k[18],c),/*<>*/e=/*<>*/g(n[9],o,m);return 0!==e?e:/*<>*/g(n[9],c,d)/*<>*/}),d);/*<>*/return b?[0,b[1]]:u(c,a)/*<>*/})}/*<>*/ /*<>*/var -o=q(1,b);/*<>*/return/*<>*/g(i[10][1],o,function(a){/*<>*/var/*<>*/d=v(a),/*<>*/b=/*<>*/f(/*<>*/f(j[59],function(a,b){/*<>*/var -i=l[4],c=/*<>*/f(h,a)[2]-i|0,/*<>*/j=l[4],d=/*<>*/f(h,b)[2]-j|0,/*<>*/m=/*<>*/f(k[18],d),/*<>*/o=/*<>*/f(k[18],c),/*<>*/e=/*<>*/g(n[9],o,m);return 0!==e?e:-/*<>*/g(n[9],c,d)|0/*<>*/}),d);/*<>*/return b?[0,b[1]]:u(c,a)/*<>*/})}/*<>*/if(0===c[0]){/*<>*/ /*<>*/var -p=d(c[1],0,b);/*<>*/return/*<>*/g(i[10][1],p,function(a){/*<>*/return m(c,a)/*<>*/})}/*<>*/ /*<>*/var -r=d(c[1],1,b);/*<>*/return/*<>*/g(i[10][1],r,function(a){/*<>*/return m(c,a)/*<>*/})/*<>*/}/*<>*/return[0,h,w,r,x,function(a){/*<>*/return[0,/*<>*/g(e[29],e[1][7],a)]/*<>*/},y,A,d,B,m,C,s,c,b,a,t,F,function(e,b){/*<>*/ /*<>*/var -a=/*<>*/g(z[41],b,l[2]);/*<>*/return/*<>*/g(i[10][1],a,function(a){/*<>*/var -h=a[1],/*<>*/b=c(e),f=b?b[1]:e,i=0,/*<>*/g=m(0,0,function(a,b){/*<>*/return d(i,a,b)},h,f);return g?[0,g[1]]:[0,f]/*<>*/})/*<>*/},q,v,u,function(a,b){/*<>*/switch(a[0]){case +m(a,b){/*<>*/return/*<>*/e(g[34],b)?[0,b]:u(a,b)/*<>*/}/*<>*/if(typeof +c==="number"){/*<>*/if(0===c){/*<>*/ /*<>*/var +a=q(0,b);/*<>*/return/*<>*/f(i[10][1],a,function(a){/*<>*/var/*<>*/d=w(a),/*<>*/b=/*<>*/e(/*<>*/e(j[59],function(a,b){/*<>*/var +i=l[4],c=/*<>*/e(h,a)[2]-i|0,/*<>*/j=l[4],d=/*<>*/e(h,b)[2]-j|0,/*<>*/m=/*<>*/e(k[18],d),/*<>*/o=/*<>*/e(k[18],c),/*<>*/g=/*<>*/f(n[9],o,m);return 0!==g?g:/*<>*/f(n[9],c,d)/*<>*/}),d);/*<>*/return b?[0,b[1]]:u(c,a)/*<>*/})}/*<>*/ /*<>*/var +o=q(1,b);/*<>*/return/*<>*/f(i[10][1],o,function(a){/*<>*/var/*<>*/d=w(a),/*<>*/b=/*<>*/e(/*<>*/e(j[59],function(a,b){/*<>*/var +i=l[4],c=/*<>*/e(h,a)[2]-i|0,/*<>*/j=l[4],d=/*<>*/e(h,b)[2]-j|0,/*<>*/m=/*<>*/e(k[18],d),/*<>*/o=/*<>*/e(k[18],c),/*<>*/g=/*<>*/f(n[9],o,m);return 0!==g?g:-/*<>*/f(n[9],c,d)|0/*<>*/}),d);/*<>*/return b?[0,b[1]]:u(c,a)/*<>*/})}/*<>*/if(0===c[0]){/*<>*/ /*<>*/var +p=d(c[1],0,b);/*<>*/return/*<>*/f(i[10][1],p,function(a){/*<>*/return m(c,a)/*<>*/})}/*<>*/ /*<>*/var +r=d(c[1],1,b);/*<>*/return/*<>*/f(i[10][1],r,function(a){/*<>*/return m(c,a)/*<>*/})/*<>*/}/*<>*/return[0,h,x,r,y,function(a){/*<>*/return[0,/*<>*/f(g[29],g[1][7],a)]/*<>*/},A,B,d,C,v,m,F,s,c,b,a,t,G,function(e,b){/*<>*/ /*<>*/var +a=/*<>*/f(z[41],b,l[2]);/*<>*/return/*<>*/f(i[10][1],a,function(a){/*<>*/var +h=a[1],/*<>*/b=c(e),f=b?b[1]:e,i=0,/*<>*/g=m(0,function(a,b){/*<>*/return d(i,a,b)},h,f);return g?[0,g[1]]:[0,f]/*<>*/})/*<>*/},q,w,u,function(a,b){/*<>*/switch(a[0]){case 0:var -j=2;/*<>*/return s(function(a,b){/*<>*/return d(j,a,b)},a[1],b);case +j=2;/*<>*/return s(function(a,b){/*<>*/return d(j,a,b)},a[1],b);case 1:var c=a[1];if(typeof -c==="number")if(0===c)var/*<>*/k=0,h=function(a){/*<>*/return q(k,a)};else -var/*<>*/l=1,h=function(a){/*<>*/return q(l,a)};else if(0===c[0])var +c==="number")if(0===c)var/*<>*/k=0,h=function(a){/*<>*/return q(k,a)};else +var/*<>*/l=1,h=function(a){/*<>*/return q(l,a)};else if(0===c[0])var n=c[1],o=0,h=function(a){/*<>*/return d(n,o,a)};else var -p=c[1],r=1,h=function(a){/*<>*/return d(p,r,a)};/*<>*/return h(b);default:var +p=c[1],r=1,h=function(a){/*<>*/return d(p,r,a)};/*<>*/return h(b);default:var i=a[1];if(0===i[0]){var -t=i[1],u=0;/*<>*/return m(0,0,function(a,b){/*<>*/return d(u,a,b)},t,/*<>*/g(e[42],0,b))}var -v=i[2];/*<>*/return F(/*<>*/f(af[7],i[1]),v,b)}/*<>*/}]}],"Haz3lcore__Move");return/*<>*/}(globalThis)); +t=i[1],u=0;/*<>*/return m(0,function(a,b){/*<>*/return d(u,a,b)},t,/*<>*/f(g[42],0,b))}var +v=i[2];/*<>*/return G(/*<>*/e(af[7],i[1]),v,b)}/*<>*/}]}],"Haz3lcore__Move");return/*<>*/}(globalThis)); //# 12674 "../haz3lcore/.haz3lcore.objs/jsoo/default/haz3lcore.cma.js" (function(a){"use strict";var -g=a.jsoo_runtime;/*<>*/function -c(a,b){return(a.l>=0?a.l:a.l=a.length)==1?a(b):g.caml_call_gen(a,[b])}/*<>*/function -d(a,b,c){return(a.l>=0?a.l:a.l=a.length)==2?a(b,c):g.caml_call_gen(a,[b,c])}/*<>*/function -o(a,b,c,d){return(a.l>=0?a.l:a.l=a.length)==3?a(b,c,d):g.caml_call_gen(a,[b,c,d])}/*<>*/function -k(a,b,c,d,e,f){return(a.l>=0?a.l:a.l=a.length)==5?a(b,c,d,e,f):g.caml_call_gen(a,[b,c,d,e,f])}var -b=g.caml_get_global_data(),e=b.Haz3lcore__Zipper,m=b.Haz3lcore__Measured,h=b.Util__OptUtil,n=b.Haz3lcore__Piece,r="Select.go not implemented for Piece Goal",s=b.Stdlib,q=b.Haz3lcore__TermRanges,p=b.Haz3lcore__Move;g.caml_register_global(8,[0,function(i){var +f=a.jsoo_runtime;/*<>*/function +c(a,b){return(a.l>=0?a.l:a.l=a.length)==1?a(b):f.caml_call_gen(a,[b])}/*<>*/function +d(a,b,c){return(a.l>=0?a.l:a.l=a.length)==2?a(b,c):f.caml_call_gen(a,[b,c])}/*<>*/function +o(a,b,c,d){return(a.l>=0?a.l:a.l=a.length)==3?a(b,c,d):f.caml_call_gen(a,[b,c,d])}/*<>*/function +k(a,b,c,d,e){return(a.l>=0?a.l:a.l=a.length)==4?a(b,c,d,e):f.caml_call_gen(a,[b,c,d,e])}var +b=f.caml_get_global_data(),e=b.Haz3lcore__Zipper,m=b.Haz3lcore__Measured,h=b.Util__OptUtil,n=b.Haz3lcore__Piece,r="Select.go not implemented for Piece Goal",s=b.Stdlib,q=b.Haz3lcore__TermRanges,p=b.Haz3lcore__Move;f.caml_register_global(8,[0,function(i){var f=c(p[9],i);function g(a,b){/*<>*/if(0===b[4])/*<>*/return/*<>*/d(e[51],a,b);if(0===a){/*<>*/var/*<>*/f=/*<>*/c(/*<>*/c(e[30],0),b),/*<>*/g=/*<>*/c(/*<>*/c(e[50],1),f),/*<>*/i=/*<>*/c(e[51],a);/*<>*/return/*<>*/c(/*<>*/c(h[9],i),g)}/*<>*/ /*<>*/var j=/*<>*/c(/*<>*/c(e[30],0),b);/*<>*/return/*<>*/c(/*<>*/c(e[51],a),j)/*<>*/}function -j(a,b){/*<>*/return/*<>*/o(f[11],g,a,b)/*<>*/}function +j(a,b){/*<>*/return/*<>*/o(f[12],g,a,b)/*<>*/}function l(a,b,c){/*<>*/ /*<>*/var -g=/*<>*/d(f[18],c,a);/*<>*/return/*<>*/d(h[10][1],g,function(c){/*<>*/ /*<>*/var -a=/*<>*/d(m[41],b,i[2]);/*<>*/return/*<>*/d(h[10][1],a,function(a){/*<>*/return/*<>*/k(f[10],0,0,e[51],a[2],c)/*<>*/})/*<>*/})/*<>*/}/*<>*/return[0,f,g,j,l,function(a,b){/*<>*/ /*<>*/var +g=/*<>*/d(f[19],c,a);/*<>*/return/*<>*/d(h[10][1],g,function(c){/*<>*/ /*<>*/var +a=/*<>*/d(m[41],b,i[2]);/*<>*/return/*<>*/d(h[10][1],a,function(a){/*<>*/return/*<>*/k(f[11],0,e[51],a[2],c)/*<>*/})/*<>*/})/*<>*/}/*<>*/return[0,f,g,j,l,function(a,b){/*<>*/ /*<>*/var e=/*<>*/d(q[17],a,i[3]);/*<>*/return/*<>*/d(h[10][1],e,function(a){/*<>*/var d=a[1],/*<>*/e=/*<>*/c(n[30],a[2]);/*<>*/return l(/*<>*/c(n[30],d),e,b)/*<>*/})/*<>*/},function(a,b){/*<>*/ /*<>*/var -c=/*<>*/d(f[18],b,a);/*<>*/return/*<>*/d(h[10][1],c,function(b){/*<>*/ /*<>*/var -c=/*<>*/d(m[41],a,i[2]);/*<>*/return/*<>*/d(h[10][1],c,function(a){/*<>*/return/*<>*/k(f[10],0,0,g,a[2],b)/*<>*/})/*<>*/})/*<>*/},function(a,b){/*<>*/switch(a[0]){case -0:/*<>*/return/*<>*/o(f[12],g,a[1],b);case +c=/*<>*/d(f[19],b,a);/*<>*/return/*<>*/d(h[10][1],c,function(b){/*<>*/ /*<>*/var +c=/*<>*/d(m[41],a,i[2]);/*<>*/return/*<>*/d(h[10][1],c,function(a){/*<>*/return/*<>*/k(f[11],0,g,a[2],b)/*<>*/})/*<>*/})/*<>*/},function(a,b){/*<>*/switch(a[0]){case +0:/*<>*/return/*<>*/o(f[13],g,a[1],b);case 1:var d=a[1];/*<>*/return typeof d==="number"?0===d?j(0,b):j(1,b):0===d[0]?g(0,b):g(1,b);default:var h=a[1];if(0!==h[0])/*<>*/return/*<>*/c(s[2],r);/*<>*/var -l=h[1],/*<>*/m=/*<>*/c(e[48],b),/*<>*/n=[0,/*<>*/c(/*<>*/c(e[64],i[2]),m)];/*<>*/return/*<>*/k(f[10],n,0,g,l,b)}/*<>*/}]}],"Haz3lcore__Select");return/*<>*/}(globalThis)); +l=h[1],/*<>*/m=/*<>*/c(e[48],b),/*<>*/n=[0,/*<>*/c(/*<>*/c(e[64],i[2]),m)];/*<>*/return/*<>*/k(f[11],n,g,l,b)}/*<>*/}]}],"Haz3lcore__Select");return/*<>*/}(globalThis)); //# 12701 "../haz3lcore/.haz3lcore.objs/jsoo/default/haz3lcore.cma.js" (function(a){"use strict";var @@ -443859,17 +443859,17 @@ aq=d[4]?0:/*<>*/e(h[55],0,d),/*<< 0:if(c[1])/*<>*/return[0,q(l[4][2],d)];if(!d[1][3])/*<>*/return[0,d];/*<>*/ /*<>*/var F=/*<>*/f(z[6],d);if(!F)/*<>*/return aC;var v=F[1];/*<>*/if(/*<>*/e(au[15],v,32)){/*<>*/var/*<>*/av=/*<>*/e(h[64],r[2],l[5][1]),/*<>*/ay=s(d,v),/*<>*/G=/*<>*/e(k[10][1],ay,function(a){/*<>*/ /*<>*/var -b=/*<>*/e(g[22],[2,[0,av]],a);/*<>*/return/*<>*/e(k[10][1],b,function(a){/*<>*/ /*<>*/var -b=/*<>*/e(g[22],ax,a);/*<>*/return/*<>*/e(k[10][1],b,function(a){/*<>*/return/*<>*/e(g[22],aw,a)/*<>*/})/*<>*/})/*<>*/});/*<>*/return G?[0,G[1]]:az}/*<>*/ /*<>*/var +b=/*<>*/e(g[23],[2,[0,av]],a);/*<>*/return/*<>*/e(k[10][1],b,function(a){/*<>*/ /*<>*/var +b=/*<>*/e(g[23],ax,a);/*<>*/return/*<>*/e(k[10][1],b,function(a){/*<>*/return/*<>*/e(g[23],aw,a)/*<>*/})/*<>*/})/*<>*/});/*<>*/return G?[0,G[1]]:az}/*<>*/ /*<>*/var H=s(d,/*<>*/f(aA[6],v));return H?[0,H[1]]:aB;case 1:/*<>*/ /*<>*/var I=s(d,c[1]);return I?[0,I[1]]:aD;case -2:/*<>*/return/*<>*/ac(aE[5],g[18],g[8],c[1],l[5][9],d);case -3:/*<>*/var/*<>*/aF=/*<>*/e(g[22],c[1],d),/*<>*/aG=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(aG,a,0)}(aF);case +2:/*<>*/return/*<>*/ac(aE[5],g[19],g[8],c[1],l[5][9],d);case +3:/*<>*/var/*<>*/aF=/*<>*/e(g[23],c[1],d),/*<>*/aG=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(aG,a,0)}(aF);case 4:/*<>*/var -J=c[1],/*<>*/aH=/*<>*/f(o[5],d),aI=l[4][2],/*<>*/aJ=J?/*<>*/e(g[18],d,J[1]):/*<>*/e(k[10][1],aH,function(a){/*<>*/ /*<>*/var +J=c[1],/*<>*/aH=/*<>*/f(o[5],d),aI=l[4][2],/*<>*/aJ=J?/*<>*/e(g[19],d,J[1]):/*<>*/e(k[10][1],aH,function(a){/*<>*/ /*<>*/var b=/*<>*/e(L[15][18],a,aI);/*<>*/return/*<>*/e(k[10][1],b,function(a){/*<>*/ /*<>*/var -b=/*<>*/f(K[206],a);/*<>*/return/*<>*/e(k[10][1],b,function(a){/*<>*/return/*<>*/e(g[18],d,a)/*<>*/})/*<>*/})/*<>*/}),/*<>*/aK=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(aK,a,0)}(aJ);case +b=/*<>*/f(K[206],a);/*<>*/return/*<>*/e(k[10][1],b,function(a){/*<>*/return/*<>*/e(g[19],d,a)/*<>*/})/*<>*/})/*<>*/}),/*<>*/aK=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(aK,a,0)}(aJ);case 5:var m=c[1];if(typeof m!=="number")switch(m[0]){case @@ -443882,7 +443882,7 @@ W=/*<>*/f(o[5],d);if(!W)/*<>*/e(j[6],W[1],d);return X?[0,X[1]]:a0;default:var y=m[1];if(!y)/*<>*/return A(d);/*<>*/var a2=y[2],/*<>*/Y=/*<>*/e(j[5],y[1],d);if(!Y)/*<>*/return a4;var -Z=Y[1],a3=1===a2?Z:/*<>*/f(h[48],Z);/*<>*/return[0,a3]}if(0===m){/*<>*/var/*<>*/aL=/*<>*/f(g[8],2),/*<>*/M=/*<>*/aa(g[12],aL,0,d);if(!M)/*<>*/return aO;/*<>*/ /*<>*/var +Z=Y[1],a3=1===a2?Z:/*<>*/f(h[48],Z);/*<>*/return[0,a3]}if(0===m){/*<>*/var/*<>*/aL=/*<>*/f(g[8],2),/*<>*/M=/*<>*/aa(g[13],aL,0,d);if(!M)/*<>*/return aO;/*<>*/ /*<>*/var N=/*<>*/e(j[7],aM,M[1]);return N?[0,N[1]]:aN}/*<>*/ /*<>*/var O=/*<>*/f(o[5],d);if(O)/*<>*/var P=O[1],/*<>*/aP=/*<>*/e(j[5],P,d),Q=/*<>*/ab(/*<>*/e(j[6],P,d),aP);else @@ -443898,7 +443898,7 @@ _=c[1];return _?[0,/*<>*/e(h[49], $=c[1],/*<>*/a5=/*<>*/f(/*<>*/f(t[4],$),d),/*<>*/a6=/*<>*/f(h[40],$),/*<>*/a7=/*<>*/f(/*<>*/f(u[7],a6),a5),/*<>*/a8=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(a8,a,2)}(a7);case 8:/*<>*/var/*<>*/a9=/*<>*/f(/*<>*/f(B[24],c[1]),d),/*<>*/a_=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(a_,a,1)}(a9);default:var p=c[1];if(typeof -p==="number"){/*<>*/var/*<>*/a$=/*<>*/e(g[21],p,d),/*<>*/ba=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(ba,a,0)}(a$)}/*<>*/if(/*<>*/f(bb[13],d[2])){/*<>*/var/*<>*/bc=/*<>*/e(g[21],p,d),/*<>*/bd=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(bd,a,0)}(bc)}/*<>*/var/*<>*/be=/*<>*/e(g[22],[1,p],d),/*<>*/bf=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(bf,a,0)}(be)}/*<>*/}function +p==="number"){/*<>*/var/*<>*/a$=/*<>*/e(g[22],p,d),/*<>*/ba=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(ba,a,0)}(a$)}/*<>*/if(/*<>*/f(bb[13],d[2])){/*<>*/var/*<>*/bc=/*<>*/e(g[22],p,d),/*<>*/bd=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(bd,a,0)}(bc)}/*<>*/var/*<>*/be=/*<>*/e(g[23],[1,p],d),/*<>*/bf=i[28];/*<>*/return function(a){/*<>*/return/*<>*/e(bf,a,0)}(be)}/*<>*/}function d(d,b,c){/*<>*/var a=c[1],g=a[2],h=a[1];/*<>*/ /*<>*/f(p[8],0);/*<>*/ /*<>*/var j=m([0,g],d,b,h);/*<>*/return/*<>*/e(i[42][2],j,function(a){/*<>*/return/*<>*/ac(n[13],[0,p[7][1]],d,b,a,c)/*<>*/})/*<>*/}g.caml_register_global(43,[0,j,l,q,m,d,function(a,b,c){/*<>*/if(c[3]&&j(b))/*<>*/return[0,c];if(a[3]&&a[1]){/*<>*/var