diff --git a/remove-dhexp/hazel.js b/remove-dhexp/hazel.js index 92a7a737..2dba1b32 100644 --- a/remove-dhexp/hazel.js +++ b/remove-dhexp/hazel.js @@ -568,27 +568,27 @@ 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(bT){"use strict";var -y4=bT,baN="loc",XU=289,bmT="src/haz3lcore/dynamics/VarBstMap.re.Inner.binding",aV="async_kernel",baM="src/haz3lcore/tiles/Secondary.re.t",auf="text/omd",bmS="tVarEntry",ZU="Duplicate",aab="ExportPersistentData",avK="Monitor",baL="stdDeviation",bmR="Core__Hashtbl",pH="seq",ah="%a",cH="Constructor",bgy="Core__Sexpable",bgz="%ni",eP="->",baK="fdivide",bs0="(@[<2>FunctionExp@ ",LO="p_arg",bmQ=11238,baJ="(OMD) Backslash 3\n",bmP="toggleShow",yU="%F",bsZ="Map15",aue="Out_of_memory",avJ="File_descr_watcher",bsY="Core__Hash_set_intf",aaa="arrowTyp",baH="correctImpl",VS="(@[<2>Exp@ ",baI="stack_limit",bgx="kind-view",bsX="(OMD) Oparenthesis 3\n",bgv="tag",bgw="href",Eq="thread_pool_cpu_affinity",LN="Failure",baG=2330,aud="Dec",avI="detect_invalid_access_from_thread",bsW="(@[<2>Stepper@ ",bgu="stabilize-for-action",ih="%s%s",bgt="src/haz3lcore/statics/TermBase.re.UExp.op_bin_string",bmO="sep",DD="(@[<2>Common@ ",XT="closure",yT="ArrowRight",bsV="(OMD) Minus 1\n",XS="listExp",Ll=170,avH="core/src/perms.ml",baF="invalidBuiltin",g6="false",bsU=1000000000,bsT="typing/ident.ml",baE="Core__Ordered_collection_common",baD="lhs_change",bgs="Core__Sequence",ZT="MoveToBackpackTarget",mA="(Some ",bgr="ifFalse",K1="sub_id",bmN="type_alias",hI="src/sexp_conv.ml",baC=304,yS="utils/warnings.ml",auc="Sexp",bsS="Core__Error",baB="0 0 512 512",baA=0.9,bmM="0 0 330 330",dJ="Test",ZS="Match_failure",bmL=427,aub="Conditional Expressions",bsQ=16777209,bsR="src/haz3lcore/tiles/Secondary.re.secondary_content",mh=" no_nl=",XR="InvalidBoxedTuple",bsP="dec",XQ="<.",bgq=927731004,bsO="monoByChar",VR="src/haz3lweb/Editors.re",VQ="YourTestsTesting",XP="LetBind",iU="None",bgp="acronym",vn="zipper",bmK="allocation_policy",XO="Unparsed",VP="StringEqualFalse",VO="object",bsN=5593,bmJ="Core__T",avG=438,bsM="child-line",K0="'+'",bsL=6505,bgo="EEXIST",ZR="ShowBackpackTargets",bgn=-108,bgm="-0.5 -0.5 25 25",bsK="custom_minor_max_size",bgk="letBind",bgl=11230,avF=-950194894,bmI="link",bgj="(OMD) Colon 4\n",asG="lo",aua=224,A="@,",asF="px; height: ",bgi="Incremental__Recompute_heap",at$="Clock",KZ=192,bmH=" is overridden.",$$="grout",baz="\xe2\x8f\xaf\xef\xb8\x8f",bax="neg",bay="DynamicErrorHole (",bgh="container",rn="Who_can_write",bsJ="Async_kernel__Job_queue",at_="media:type",Ep="\n\n",VN=": No such file or directory",bgg=" not found",Eo="lib/typerep_obj.ml",pG="!",bsI="src/haz3lcore/statics/TermBase.re.UExp.op_un",fA="%s%s%s",bsH="Async_kernel__Async_gc",po=")\n",ZQ="<\/%s>",bgf="comma_exp",KJ="exercise",bmG="read_int63_decimal",asE="One ",bge="Async_kernel__Time_ns",bmF="level_bits",bsG="fun x -> x + 1",uT="[]",bgd="",bmE="digraph G {\n",baw="Thread_pool_cpu_affinity",uo="CtrExp",rm="cell-item",bsF="visible",bgc="setMeta",bsE="pause $e in\nhide let = in in\nlet x = 1 in\nlet y = 2 in\nx + y",XN="wildPat",bgb="ListLit (",eQ=":",asD="major_words",bmD="::_) n=",at9="Sep",bsD="Snapshot",bf$="unknownException",bga=936718974,ZP="conApExp",bmC=5919,bau="forward",bav="Incr_dom__Js_misc",bmB="Let (",VM="multiHoleTPat",bmA="Printexc.handle_uncaught_exception",XM="stringExp",bmz=247,bsC="[Int.floor_log2] got invalid input",at8="cell-result",tL="ConsPat",bmy="andFalse",bf_="), but found nothing",bmx="updateGroupSelection",bsB="ERROR: Log.IDBKV.get_all",bf9="(OMD) Bar 2\n",bat="Core__Nothing",D2="settings",bf8="lte",at7=222,bsA=8891,tK="kind",aq_="rec",uS="UnOpExp",bmw="current",vm="&",bsz="bindingSiteOfIndicatedVar",aq9="slide",nM="mold",tJ="min",un="IntExp",bas="lessThanEqualFalse",bf7="(OMD) Colon 2\n",bmv="Ui_incr",VL="WantTypeFoundAp",bar="ftimes",ma=0xffff,baq="initImportScratchpad",bf6="Core__Unit_of_time",XL="prelude",$_="!=.",XK="show_case_clauses",ZO="RotateBackpack",at6=474,$9="lessThan",avE="Jan",ZN="Fix1",at5="max_num_open_file_descrs",bap="Incremental__Var",bsy="keygen",$8="pos_cnum",bao="Incremental__Kind",kf=-2147483648,bf5="List.nth",asC="compare: functional value",dz=1000,aq8="NoJoin",um="benchmark",bsx="(OMD) Caret 1\n",LM="whitespace",bmu="cell-report",VK="Pre",ban="empty input",bmt="http",avD="e_arg",KY="4",bms="Core__Doubly_linked",XJ="Unselect",bmr="toggle",bam="wantConstructorFoundAp",bsw=20492,aq7="OCAMLRUNPARAM",bf4=-696935855,bal="setHighlight",rl="Cons1",bak=6499,DC="dynamics",ul="Cons2Pat",baj=" tagstatus=",aq6="All ",rb="group",bai="(OMD) clean_paragraphs\n",vl="MultiHolePat",bah="Base_bigstring",bmq="shutdown",bag="unselect",VJ="ToggleStepper",VI="SeqTest",aq5="hr",bf3="(OMD) Exclamation 2\n",b3="\xe2\x8f\x8e",VH="SwitchDocumentationSlide",bf2=" title='",bsv="varLookup",avB="off",avC="weak_pointer",D1="tPat",asB="to_t",iT="Times",baf=875,tI="Basic",En="filterDebug",bae="window_size",bad="(@[<2>Post (@,",bmp="(OMD) Plus 3\n",avA="core/src/perms.ml.Types.Read.t",$7="Inconsistent",bmo=12689,LL="test-summary",lg="content",vk="CtrPat",ZM=">=",gL="src/debug.ml",Lk=-88,a1="@,]@]",bf1="FromCtx",avz=830377455,bf0="(OMD) Ampersand 2\n",XH="typAnnPat",XI="lessThanOrEqual",bac="section",avy="ConstructorExpected",bfY="yourImpl",bfZ="(@[<2>Any@ ",bmn="binFloatOp",bmm=708012133,ig="Arrow",uk="select",D0="",bfX="Core__Source_code_position0",bml="(OMD) Ampersand 1\n",bab="lxor",bmk=" rankdir = BT\n",bmi=798,Lj=60.,bmj="Async_kernel__Ivar",a="@ ",bfW="'*'",Em="captions",Li="left",vj="p_tl",pF="log",bsu="Bigarray.blit: dimension mismatch",bmg="(OMD) Dollar 1\n",bmh="Validate",baa="Map5",bfV="(OMD) At 4\n",bfU="str.ml",$6="tupleExp",VG="DebugConsole",bst="greaterThanTrue",fa=-48,bss="(OMD) Backquote 4\n",at4="impossible",aq4="free_words",ZL="VarLookup",aq3="fragments",ZK="GreaterThanEqualEqual",$5="Move",bfT="red",g4="Sum",bfS="interruptor",bsr="(OMD) Obracket 4\n",bfR="bad input: format type mismatch between %S and %S",a6=16777215,$4="ctrExp",bfQ=445,$2="check_invariants",bsq="Core__Int63",$3=400,bfP="typeHole",XG="record_backtraces",bmf="(OMD) Backquote 1\n",VF="ShowLookups",bfO="invalidStep",aT="@,))@]",avx=881,bme="divideByZero",g5="/",DZ="Eval",XF="siblings",ke=0xFF,bmd="(OMD) 3408 BHTML loop\n",EM=3654863,aq2="Map",a$$="bdo",k8="src/avltree.ml",bsp=847656566,$1="RemoveTypeAlias",bso="Core__Bigstring",bfM="ERROR: Log.IDBKV.clear",bfN="src/haz3lcore/dynamics/EvalCtx.re.t",a$_="fixClosure",XE="start",avw=16777211,bmc="Incremental__At_intervals",VE="AndTrue",a$9=-123,bfL="src/haz3lcore/zipper/Ancestor.re",uj="base",at3="base_bigstring",bsn=857423934,bmb="badPatternMatch",$0="expects",bsm="Core__Stable_internal",aq1="Cpuset",Lh="Empty",bsl="acceptSuggestion",XD="*.",bsk=426,a$8="