diff --git a/remove-dhexp/hazel.js b/remove-dhexp/hazel.js index 0f0b49ae..52031b09 100644 --- a/remove-dhexp/hazel.js +++ b/remove-dhexp/hazel.js @@ -568,114 +568,114 @@ instanceof this&&a.id===b.id&&b.update};f.prototype.hook=function(a,b,c){if(f.canTransition(c,this)){var d=f.read_state(a,b);d=this.update(d,a);f.write_state(a,b,d)}else{var d=this.init(a);f.write_state(a,b,d)}};f.prototype.unhook=function(a,b,c){if(f.canTransition(this,c));else{var -d=f.read_state(a,b);this.destroy(d,a);f.remove_state(a,b)}};b.GenericHook=f}(globalThis));(function(bS){"use strict";var -yU=bS,bag="loc",Xw=289,bmd="src/haz3lcore/dynamics/VarBstMap.re.Inner.binding",aS="async_kernel",baf="src/haz3lcore/tiles/Secondary.re.t",atL="text/omd",bmc="tVarEntry",Zy="Duplicate",$Q="ExportPersistentData",avf="Monitor",bae="stdDeviation",bmb="Core__Hashtbl",vf="seq",ah="%a",dd="Constructor",bf2="Core__Sexpable",bf3="%ni",eC="->",bad="fdivide",bsk="(@[<2>FunctionExp@ ",Ly="p_arg",bma=11238,bac="(OMD) Backslash 3\n",bl$="toggleShow",EA="%F",bsj="Map15",atK="Out_of_memory",ave="File_descr_watcher",bsi="Core__Hash_set_intf",$P="arrowTyp",baa="correctImpl",Vy="(@[<2>Exp@ ",bab="stack_limit",bf1="kind-view",bsh="(OMD) Oparenthesis 3\n",bfZ="tag",bf0="href",Eb="thread_pool_cpu_affinity",Lx="Failure",a$$=2330,atJ="Dec",avd="detect_invalid_access_from_thread",bsg="(@[<2>Stepper@ ",bfY="stabilize-for-action",h8="%s%s",bfX="src/haz3lcore/statics/TermBase.re.UExp.op_bin_string",bl_="sep",Dp="(@[<2>Common@ ",DQ="closure",yK="ArrowRight",bsf="(OMD) Minus 1\n",Xv="listExp",K8=170,avc="core/src/perms.ml",a$_="invalidBuiltin",gV="false",bse=1000000000,bsd="typing/ident.ml",a$9="Core__Ordered_collection_common",a$8="lhs_change",bfW="Core__Sequence",Zx="MoveToBackpackTarget",k8="(Some ",bfV="ifFalse",KN="sub_id",bl9="type_alias",hx="src/sexp_conv.ml",a$7=304,yJ="utils/warnings.ml",atI="Sexp",bsc="Core__Error",a$6="0 0 512 512",a$5=0.9,bl8="0 0 330 330",eB="Test",Zw="Match_failure",atH="Conditional Expressions",bsa=16777209,bsb="src/haz3lcore/tiles/Secondary.re.secondary_content",l7=" no_nl=",Xu="InvalidBoxedTuple",br$="dec",Xt="<.",bfU=927731004,br_="monoByChar",Vx="src/haz3lweb/Editors.re",Vw="YourTestsTesting",Xs="LetBind",h$="None",bfT="acronym",ve="zipper",bl7="allocation_policy",Xr="Unparsed",Vv="StringEqualFalse",Vu="object",br9=5593,bl6="Core__T",avb=438,br8="child-line",KM="'+'",br7=6505,bfS="EEXIST",Zv="ShowBackpackTargets",bfR=-108,bfQ="-0.5 -0.5 25 25",br6="custom_minor_max_size",bfO="letBind",bfP=11230,ava=-950194894,bl5="link",bfN="(OMD) Colon 4\n",ase="lo",atG=224,D="@,",asd="px; height: ",bfM="Incremental__Recompute_heap",atF="Clock",KL=192,bl4=" is overridden.",$O="grout",a$4="\xe2\x8f\xaf\xef\xb8\x8f",a$2="neg",a$3="DynamicErrorHole (",bfL="container",ra="Who_can_write",br5="Async_kernel__Job_queue",atE="media:type",Ea="\n\n",Vt=": No such file or directory",bfK=" not found",D$="lib/typerep_obj.ml",ps="!",br4="src/haz3lcore/statics/TermBase.re.UExp.op_un",fo="%s%s%s",br3="Async_kernel__Async_gc",pa=")\n",Zu="<\/%s>",bfJ="comma_exp",Kv="exercise",bl3="read_int63_decimal",asc="One ",bfI="Async_kernel__Time_ns",bl2="level_bits",br2="fun x -> x + 1",uL="[]",bfH="",bl1="digraph G {\n",a$1="Thread_pool_cpu_affinity",ue="CtrExp",q$="cell-item",br1="visible",bfG="setMeta",br0="pause $e in\nhide let = in in\nlet x = 1 in\nlet y = 2 in\nx + y",Xq="wildPat",eD=":",asb="major_words",bl0="::_) n=",atD="Sep",brZ="Snapshot",bfE="unknownException",bfF=936718974,Zt="conApExp",blZ=5919,a$Z="forward",a$0="Incr_dom__Js_misc",Vs="multiHoleTPat",blY="Printexc.handle_uncaught_exception",Xp="stringExp",blX=247,brY="[Int.floor_log2] got invalid input",atC="cell-result",tA="ConsPat",blW="andFalse",bfD="), but found nothing",blV="updateGroupSelection",brX="ERROR: Log.IDBKV.get_all",bfC="(OMD) Bar 2\n",a$Y="Core__Nothing",DP="settings",bfB="lte",atB=222,brW=8891,tz="kind",aqJ="rec",uK="UnOpExp",blU="current",vd="&",brV="bindingSiteOfIndicatedVar",aqI="slide",nD="mold",ty="min",ud="IntExp",a$X="lessThanEqualFalse",bfA="(OMD) Colon 2\n",blT="Ui_incr",Vr="WantTypeFoundAp",a$W="ftimes",l0=0xffff,a$V="initImportScratchpad",bfz="Core__Unit_of_time",Xo="prelude",$N="!=.",Xn="show_case_clauses",Zs="RotateBackpack",atA=474,$M="lessThan",au$="Jan",Zr="Fix1",atz="max_num_open_file_descrs",a$U="Incremental__Var",brU="keygen",$L="pos_cnum",a$T="Incremental__Kind",j9=-2147483648,bfy="List.nth",asa="compare: functional value",du=1000,aqH="NoJoin",uc="benchmark",brT="(OMD) Caret 1\n",Lw="whitespace",blS="cell-report",Vq="Pre",a$S="empty input",blR="http",au_="e_arg",KK="4",blQ="Core__Doubly_linked",Xm="Unselect",blP="toggle",a$R="wantConstructorFoundAp",brS=20492,aqG="OCAMLRUNPARAM",bfx=-696935855,a$Q="setHighlight",q_="Cons1",a$P=6499,Do="dynamics",ub="Cons2Pat",a$O=" tagstatus=",aqF="All ",q0="group",a$N="(OMD) clean_paragraphs\n",vc="MultiHolePat",a$M="Base_bigstring",blO="shutdown",a$L="unselect",Vp="ToggleStepper",Vo="SeqTest",aqE="hr",bfw="(OMD) Exclamation 2\n",bZ="\xe2\x8f\x8e",Vn="SwitchDocumentationSlide",bfv=" title='",brR="varLookup",au8="off",au9="weak_pointer",DO="tPat",ar$="to_t",iO="Times",a$K=875,tx="Basic",D_="filterDebug",a$J="window_size",a$I="(@[<2>Post (@,",blN="(OMD) Plus 3\n",au7="core/src/perms.ml.Types.Read.t",$K="Inconsistent",blM=12689,Lv="test-summary",k7="content",vb="CtrPat",Zq=">=",gA="src/debug.ml",K7=-88,a2="@,]@]",bfu="FromCtx",au6=830377455,a$H=309,bft="(OMD) Ampersand 2\n",Xk="typAnnPat",Xl="lessThanOrEqual",a$G="section",au5="ConstructorExpected",bfr="yourImpl",bfs="(@[<2>Any@ ",blL="binFloatOp",blK=708012133,h7="Arrow",ua="select",DN="",bfq="Core__Source_code_position0",blJ="(OMD) Ampersand 1\n",a$F="lxor",blI=" rankdir = BT\n",blG=798,K6=60.,blH="Async_kernel__Ivar",a="@ ",bfp="'*'",D9="captions",K5="left",va="p_tl",pr="log",brQ="Bigarray.blit: dimension mismatch",blE="(OMD) Dollar 1\n",blF="Validate",a$E="Map5",bfo="(OMD) At 4\n",bfn="str.ml",$J="tupleExp",Vm="DebugConsole",brP="greaterThanTrue",eZ=-48,brN="(OMD) Backquote 4\n",brO=404,aty="impossible",aqD="free_words",Zp="VarLookup",aqC="fragments",Zo="GreaterThanEqualEqual",$I="Move",bfm="red",gT="Sum",bfl="interruptor",brM="(OMD) Obracket 4\n",bfk="bad input: format type mismatch between %S and %S",a0=16777215,$H="ctrExp",bfj=445,$G="check_invariants",brL="Core__Int63",au4=400,bfi="typeHole",Xj="record_backtraces",blD="(OMD) Backquote 1\n",Vl="ShowLookups",bfh="invalidStep",a6="@,))@]",au3=881,blC="divideByZero",gU="/",DM="Eval",Xi="siblings",j8=0xFF,blB="(OMD) 3408 BHTML loop\n",Ez=3654863,aqB="Map",a$D="bdo",kW="src/avltree.ml",brK=847656566,$F="RemoveTypeAlias",brJ="Core__Bigstring",bff="ERROR: Log.IDBKV.clear",bfg="src/haz3lcore/dynamics/EvalCtx.re.t",a$C="fixClosure",Xh="start",au2=16777211,blA="Incremental__At_intervals",Vk="AndTrue",a$B=-123,bfe="src/haz3lcore/zipper/Ancestor.re",t$="base",atx="base_bigstring",brI=857423934,blz="badPatternMatch",$E="expects",brH="Core__Stable_internal",aqA="Cpuset",K4="Empty",brG="acceptSuggestion",Xg="*.",brF=426,a$A="