From 24e73e8a5cc22a22c562a7f61951224daca3a363 Mon Sep 17 00:00:00 2001 From: Emile Trotignon Date: Fri, 29 Sep 2023 15:48:06 +0200 Subject: [PATCH] css tweaks --- src/html_support_files/odoc.css | 3 +-- .../odoc_html_support_files.ml | 22 +++++++++---------- 2 files changed, 12 insertions(+), 13 deletions(-) diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css index 24ca45c95a..4f61a490be 100644 --- a/src/html_support_files/odoc.css +++ b/src/html_support_files/odoc.css @@ -252,9 +252,8 @@ body { } body.odoc { - max-width: 122ex; + max-width: 132ex; display: grid; - grid-template-columns: 28ex 1fr; column-gap: 4ex; } diff --git a/src/html_support_files/odoc_html_support_files.ml b/src/html_support_files/odoc_html_support_files.ml index f286730ba6..b138c70188 100644 --- a/src/html_support_files/odoc_html_support_files.ml +++ b/src/html_support_files/odoc_html_support_files.ml @@ -38,6 +38,8 @@ module Internal = struct let d_12f118e246f3896a9fe56593bbb460df = "\024\136\213B\138I\164\020\129\228\025 \227\001\2321\202k,\020\223\142\016\187\206\152cK\204\212i\137\200\229\029\159\006\141u\179\254V\144\017\219_\006\226\250un\204\185\129\182Wj\232s&!\135\003\145\184\251\140\129#\155\148\169\b\245\231\162\238y\227\177\028\214P\207\140e\162G\149\228b-1\210\246\144\145\186&\168\016 \186\129\0042\254\016\148H\166\028\245\188\163\022\175\153\219\128\181&\201\217\194pje\253\0192\212|\145(^\131\161\208~\153(&\195\002\138Q\020\159A\004A\016\152b3$\160\184\012\002\028<\249\018F\196\156\141\209.\199\136%\229i\023\243\188\139k3R3\135<5D\024\017v\252\204\158{\219\000'\237\028\168\158\177\t\146l^f7JXW\184\016\027V\022\253\216\143\1706\\\189\174j\011\233AU;\002\203\171\218c\170\170\234\192\157\177\170#\186P\026\r\245\159\003\226)5S\197\nQ\002m\213\242\222\208\022\159\1749t\001\170i\235F\1513\1809vH%\177d\n\2296\139\188\1943\135N\129\006\223\230O*t9\172\186<\006\182J\181{\229\202P\005\011\0164E\226l\241TrXj\253$r\218\142\182F\232(l\006\nH\168~\136 \193S\016\171\137\020\233\004\176Wh\244\215nV\164\235\138ly\188u\176T\0287Ne\194s\242jk\166-c~\187\159\233?\146\"Fej,\214|\006\246\027\137\208\002G\146\020\"\016l\245'a7d\011\217\027\001l}m\246b\237\138\001\031\194\198\132y\0191\144m9\132\203\208$\004\185&.\208\151Fq\217L\131\028\138\136C\248\204\203\214\152\200e\147A\177\171*L\194\023\149\237\231\023\234c\147\028\1385\155z\142C\245\233\002\182\158SL0\147\136\213\131\250\210\136x\164\030,\152MqF\235\193#\003\233\238\128\030\194\147H\192\192\244\144jA(\195M\015Er\193\161\160zhW<\128p\210\195\208<\\\000xM\000\022\141\128:\228\129\236mrr\242\221\r\249\170\\" + let d_13ebc6cdcb1f71fa352b660e5e0d8a88 = "-main-background);\n box-shadow: 2px 2px 4px lightgrey;\n}\n\ndiv.def {\n margin-top: 0;\n text-indent: -2ex;\n padding-left: 2ex;\n}\n\ndiv.def-doc>*:first-child {\n margin-top: 0;\n}\n\n/* Collapsible inlined include and module */\n\n.odoc-include details {\n position: relative;\n}\n\n.odoc-include.shadowed-include {\n display: none;\n}\n\n.odoc-include details:after {\n z-index: -100;\n display: block;\n content: \" \";\n position: absolute;\n border-radius: 0 1ex 1ex 0;\n right: -20px;\n top: 1px;\n bottom: 1px;\n width: 15px;\n background: var(--spec-details-after-background, rgba(0, 4, 15, 0.05));\n box-shadow: 0 0px 0 1px var(--spec-details-after-shadow, rgba(204, 204, 204, 0.53));\n}\n\n.odoc-include summary {\n position: relative;\n margin-bottom: 1em;\n cursor: pointer;\n outline: none;\n}\n\n.odoc-include summary:hover {\n background-color: var(--spec-summary-hover-background);\n}\n\n/* FIXME: Does not work in Firefox. */\n.odoc-include summary::-webkit-details-marker {\n color: #888;\n transform: scaleX(-1);\n position: absolute;\n top: calc(50% - 5px);\n height: 11px;\n right: -29px;\n}\n\n/* Records and variants FIXME */\n\ndiv.def table {\n text-indent: 0em;\n padding: 0;\n margin-left: -2ex;\n}\n\ntd.def {\n padding-left: 2ex;\n}\n\ntd.def-doc *:first-child {\n margin-top: 0em;\n}\n\n/* Lists of @tags */\n\n.at-tags { list-style-type: none; margin-left: -3ex; }\n.at-tags li { padding-left: 3ex; text-indent: -3ex; }\n.at-tags .at-tag { text-transform: capitalize }\n\n/* Alert emoji */\n\n.alert::before, .deprecated::before {\n content: '\226\154\160\239\184\143 ';\n}\n\n/* Lists of modules */\n\n.modules { list-style-type: none; margin-left: -3ex; }\n.modules li { padding-left: 3ex; text-indent: -3ex; margin-top: 5px }\n.modules .synopsis { padding-left: 1ch; }\n\n/* Odig package index */\n\n.packages { list-style-type: none; margin-left: -3ex; }\n.packages li { padding-left: 3ex; text-indent: -3ex }\n.packages li a.anchor { padding-right: 0.5ch; padding-left: 3ch; }\n.packages .version { font-size: 10px; color: var(--by-name-version-color); }\n.packages .synopsis { padding-left: 1ch }\n\n.by-name nav a {\n text-transform: uppercase;\n font-size: 18px;\n margin-right: 1ex;\n color: var(--by-name-nav-link-color,);\n display: inline-block;\n}\n\n.by-tag nav a {\n margin-right: 1ex;\n color: var(--by-name-nav-link-color);\n display: inline-block;\n}\n\n.by-tag ol { list-style-type: none; }\n.by-tag ol.tags li { margin-left: 1ch; display: inline-block }\n.by-tag td:first-child { text-transform: uppercase; }\n\n/* Odig package page */\n\n.package nav {\n display: inline;\n font-size: 14px;\n font-weight: normal;\n}\n\n.package .version {\n font-size: 14px;\n}\n\n.package.info {\n margin: 0;\n}\n\n.package.info td:first-child {\n font-style: italic;\n padding-right: 2ex;\n}\n\n.package.info ul {\n list-style-type: none;\n display: inline;\n margin: 0;\n}\n\n.package.info li {\n display: inline-block;\n margin: 0;\n margin-right: 1ex;\n}\n\n#info-authors li, #info-maintainers li {\n display: block;\n}\n\n/* Sidebar and TOC */\n\n.odoc-toc:before {\n display: block;\n content: \"Contents\";\n text-transform: uppercase;\n font-size: 1em;\n margin: 1.414em 0 0.5em;\n font-weight: 500;\n color: var(--toc-before-color);\n line-height: 1.2;\n}\n\n.odoc-toc {\n width: 28ex;\n background: var(--toc-background);\n overflow: auto;\n color: var(--toc-color);\n padding-left: 2ex;\n padding-right: 2ex;\n grid-row: 2;\n height: fit-content;\n border: solid 1px var(--border);\n border-radius: 5px;\n position:sticky;\n top: 50px\n}\n\n.odoc-toc ul li a {\n font-family: \"Fira Sans\", sans-serif;\n font-size: 0.95em;\n color: var(--color);\n font-weight: 400;\n line-height: 1.6em;\n display: block;\n}\n\n.odoc-toc ul li a:hover {\n box-shadow: none;\n text-decoration: underline;\n}\n\n/* First level titles */\n\n.odoc-toc>ul>li>a {\n font-weight: 500;\n}\n\n.odoc-toc li ul {\n margin: 0px;\n}\n\n.odoc-toc ul {\n list-style-type: none;\n}\n\n.odoc-toc ul li {\n margin: 0;\n}\n.odoc-toc>ul>li {\n margin-bottom: 0.3em;\n}\n\n.odoc-toc ul li li {\n border-left: 1px solid var(--toc-list-border);\n margin-left: 5px;\n padding-left: 12px;\n}\n\n/* Tables */\n\n.odoc-table {\n margin: 1em;\n}\n" + let d_1476b6e94be68e530a90bd0723d69c88 = "ing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14285714em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571429em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857143em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71428571em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714286em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857143em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96285714em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55428571em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.55555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.66666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.77777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.88888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.41666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.r" let d_15e4c6f6397133f32c4684fc37e813a1 = "\188\030^R`\172\170\238\159J\241\213\146\014E\\\248m\028\025\158\023\1955\019?\135\144&\241'\145E\229\161B\185\tk\159^\223&d\rl\247\162\149\011E\240!\030\178\193\182:[c\170n\223\134N0\242\134\250\246\171\173\229\202\134\178\206\171\241\186_^\131-\143\154\137\240K\2300\"eoy\197\144\183\r\027C\173\1723\214\t\254#)\215\178U\152\212?\188\228\147\212\024\159\233V\159\194\252\174Iu_\197\254\026\199\168\210\242\155\140\244j\211\182\194\230\017\133\220p\027\236t\226\141\136\154\rVR\222\251\016Z\129\179\234'\194\163n\197f-*\204\198u\244\1954\185\158\208\190\217\169MI\\!\020\239i\143\183,\204{7\131:\018;\242\031:\252\186\1581_5Q7\213\137\240}\1903+>R\194l`\214A\017\226\006\144\1916\203\235q\150\1781X\014\182\192\232\173V\170\206\145bf-\020`\199\198\211\130\178\182\152(\227\022z%G\131\200\170\196\223\191|\234\191\242<|P,\166\216fa\216\206\152L\143|\023\028\199\2233\237\138\159qJ%\136j\156<\187\203\027!\220Q\248bt~\166\000:\202\137\216\254\180RJ|\030\022\188\240\148:\205NM\028x\138\199\201\210(j0\183Uy^\005\228\198\128\026\001\165\189qv\183\133N/\145\019\194\158U\1671k\027\199\030\129?}\1456ZM\2556\165g(\201uXUo\128\226\170\185\249\t\167\"\219c9@\137Uj\215\135db\141\143\226U9\031N\252\156\212\146\166-a\216\175G\190\217_CVT\138b\255y\011\222\147\156!Q\211\207\232F\213\173F%\014\174>\172&\147F\163\211\006q\228\161\193P\154\162>\127\151\180\242Bk\1553\230\011[\248\203f\213}\149\253\195\217K\246\176|^QNO\161d1\229\026\186\183\244d\250\251\178\005]\199T%\134j\156\237\011{\248{\166Rc\175\193N~n\177\219\027\031\191Eyn\243\171\2119\190U'v\r\228\012\213\007\158\216\141\214\1400\155{\137\130\003q\201\163\146\255\178\192\173\219\173\250`m\188\223\232k:\189\b7^2\170\030(\233\182a.\150j\203*\186\193Q\128\016m\184\005\191\188\239b\004>\151\153P\193\194#\202\205\217S\164\206\149\157=\251\140\211\211Y\158\191\179\129\131\173\016 w\175\172\197C\142\173*d\176\1881\175Q\245\243O\234\216{\211\018Q\211k\131\t\147\164\206\149\181\249\210\218\181nW\254\206\"\200\206\217\011\187\185\168;\211%Fy\162^p\014\193<\191\192\230\015\248q\b\255\220\185G~}\023<\202\155\226&Iug_\229\241\015_\172\146\219\132_\245\201\194\"\223\151i^~\029\150T\027\219MT\131\1984\020\174f\222\162\152a\147\218\161f\202\195\213\014d\228\145\014\159\161\151\247\183Nb}!'\".\215R\133\210'\185\028\158\145)q\247\194{\185\214G\186#\017i\182\026\137>z\ni\0069>\144\211\244\180\157\216\022\158\131vuF\188'\214\025i\221\226\141o\215L\244S\024\247%\204\143\178\1776v\022\206J\163P\249\164\191\137v\231k\188\160X\142\130q\158\0293\151w\161\135\136\003\184\146\244\174\020\160\147\230\128A\171yQ\192\213\220\130,\219\228\2342#\")\130\205\158\135\207\0229\194&\233I\016\"\147j\143=\2404\179\n\146]\201\247\161\195\018\177X<\156\229\237\147\144\191\192v\141vP;\b@\172\219+\230\206\185\015h\179Va!j\220\246M\248\238}\017\028\145\185_\023\005i\135\180}\224\198\172\129\204\129\217z;H\130`bu\254\152p\243P\216$\226xgeI\246h\006\225a\143\172\173\234\205]W\236\211q\223\202\229B,\023\187\020oU<\206\005\0250\206\135y\221}4\"\026\202\236r\150<\214Z/\241\235r\242t\238\130\224\190\251_\bx\198\185\142\128\175\210\237\250\193\216\021\214\128\214\007S\183\172\153\199r\195{\232-\173\203\174\001\024m\027\r\229\171\148}\234\196\225\001e\147\186K\184<\024\017!y\225\210\244\215\177<\2294\192IHj0\214\149?0d\154\028S\2287\231\150sQ\b\134\001\149\211\028yD#Pv\207\164\150\167Wd\200\021\133\217\208\149\191\189T\184\250zOY\142\253\0053\157\028F\236\194\153\159\165\152\184\149\150\248\248\162\021\150\031\128$\221\163\163\207A\181\247Q\183\003S\021hdiq2\137?\221\248\170\029\185H\004vE\254\2550e\169\203\225\154\223.\152\207/nM\202\224\248\221\254\236\156Y\215\158\250)n\003\172\208\223\240j=6\191\225\237:\\}nj\153\185\021t\b\139\019\005Q\183\162\138n\254-\004\152\135\028\242\251&<\141.\141\025\237\211\254s\164\213\145\145zx\248\226;\193\153\221U\162_\218'\204\139\t\193\188W^\022\193\175\156z\232B\128\128\197\221[\031\234\018\127\143Gt\159\000\170\022\179\\a\186\144\007\150v\001\235\1349\185a\137x\251\198M\237M\184\152\232\235\253P\247\196\2273Z\230\226\147\218 \233\019\229\240\245\b\004bK\182mn\252\198\204\129\148\176J\243\245\233\200\018<_f\198\132\155\031gYG\001'_\014S\2220i\190\163'\022\161^\187\029\242d\003\179>\241\228\251\150\154n\238H\"-?V\225-\255\003\158\001\174\240\252\136n|\251\138e\1842\015\237L\173N\174x\166\163\139o\n+\251l\239\181\1725\006\142\026\160d\026\2497#f\247W\128\"\028\250\199\177\166\020\152*\241\244\151\199]\132\131\235\195v\134{\127_\242T\234*)\133\242\243\201\134\146\011\r\138Z&\2515\003\174b\214\162\2105B\014\160S\021an\189\249J2-\160\155\245\204\177k}0E\145Q`vR2\2006\236\173cH\157R\197\012\183U\219\027\0277\142\248\017\200;t\018\254\163;\183*\152\254Q(\135H\164d\227\247\135~\188\020\207\153(8\200\247\172\227\170A0*\178m\024\206j\254,,|\137\199\187\194\215\026\026\202\137\003\251x\252Yt\249(\189\170\195\244\243c\153\007\147\210U\029y\246\204\154\224\226=o\190\001\188\133\1887\239\163J\171\198\1897\231s2\bO\196\182\207.\206w\174+'\011\183\217qe\158bz\254\141\153]\185\158\210_\138\197\233'\011\237\182\030\001=V\135\232Z\206\1408\242\188\236\228\230\220j\253\197\210$\001C\192\214\237\028\144\132R\028~5\030X)\228X\230\228U\n\001\030x\165\152\247\151\241\145\011\019\209\"P\157yeb\015\012\198\177;z\239\016\019\142\246\193\208\020\171\213\236!\2004\225#\130G8F\189`8\203\011e\024\007\017\162\02641\189A\182\193\012\165\147\0193\160z}\001\189/&4'4\205:(t8\012\024\190\251\169p\029\015\225>\127\243U\160\159m4\159\140nf\163\217i\017\207q\1520\015P\020\168T\176\1444\007\251\129%\021\239\175\251\232\184T\016\001\174^\019m\015z\229\212\011\018\142u\222\024\018\160\242\159\132\028%\245gF\158U*\2100\168\228\222\205x\214D\157Q\137s\226\207\225\196\180^\207\206\1398\198cd\246\128D@\149\133\252\1412!\236\253\240y\000r\231N\255\007\138\130\194i\0072\193\023\250R\248\254\173!v\231y\248v\007\219\191\217\222\184;\207\149\147c\186\238=\157Y\231\005\131\tPn*\190\131\211\019\202]\151\187\022\230\017\204#c\187\151\129\134\190\165\192\137\\\254\193\157\186\188fo\137B,\025& a\217\003#1\029na\231E\191\215\231\023\193\130'\184\200JVA\133\242\201%a\028c\128p\136\127\"0tq\215\022\243\194P\168\127\225\185\190\141\197\178\252\012rA\\\254[\249\197\156\187V\014H_\026\228$\140\022L{YR\241\158\132c\169NM\149\219\023<\012|\136\197}\185\027\172\249MZ\255\1956u7\220(\236\187\241M\128\020!y\240\016\167\197Q?\234Y=s\226\139>\186\015\244\229%\151\238\025>\199\231\133\222\225}\031\147'\190\203\201G\1655M\204\159\151Q\017\026\018\018~\167[ \164\245\222\249mt\254\001\186\224S\006\173\016`G\212\169\bZ\202\203\228/\245v\185\133\198\178\185\189\190(;\221\165A\184\143K\219\214\133\227\245\019R\030\184\23320#\213\179\181:\014\232\"(#\190A\000\152\211\203\140\028\001t\025\160\199 R\173t- \163A\203\238\248hz\193\165\216t&3)\206\170\226s\212R\1543R\2158E\161\130\142\150uxv\139L\196].\201\183\011\151kCV\205R\142?\n\216t&?;%>J\194\217T\170\025\127\217\022\169\149\170&\233V/\147\232jP\230\153z\164TO6\234ZH\183Kt% I\138\145\153D\\.y3b\164\2333\181\021Y\tz\2256\234ht\161\235Y*\221\004\232\004\160c\128\222&\209=\128\174\007\2440\b\017\251\179.\229\128\128\216p]\142\162\212(\138;\165\150V\222R\228g\150\163\194I\137^l\1382\156:\215\190Y\236\167/\227C\150\028F\004\178\232K'-\221O\168\020\002\182\204\168dP\028\204I\144fq\186\147\017\193\2458Bgq\157\002\\\173\184\207\003\232\165&\153.\253uQ \227gY.E\160\216\168\017\129X\146!\180\180i5\003\167\207\228\2503\\6T\016\213\163\149\248\137\ns\188\201\018 }&\203\147\234\160\192\006E\131\022\203\163=N\235\147\020f\167\199a\240\235\196\168\024\146r\"\175\003\003i\230\227\208gM\176\192\007\n\004t\017P\214\203\011\215\197Ic\181\148\0039\189\139\181jDJ\001\208iW\151\166X)z\190E\202\153\006(oX\211\147\012\2456\213\022\234\244\004\160\194\138\165*|\214Q>\187@\130S\209\198[\239Y\021\003 \128\143\253\023\151\0280\212\203R\127Fd\156/\000\127f\185\249\209K\217\145\2212\159\130\199g\253\014\000\130\193\194\184\027\213\186\155\241X\019\150RE\191.N:\180\209\005p\031\254\216\023\188o\186\022y\182\143\026\011\251?\217C6\165\197G\185nN\180\180U\228\127\018\247\180\202\242\152*\226\003\146\135i\236\198\229^\208\196D\028\194\149\184\014{\1968\156l\235=dL\242k\180\223|7\201i\150\187S\242GtK\175\159\191\163\250\144\167Wx\162'\184s\141\179\154%\221s\238:/\006\148O\132\238r{\155\224\201\160\250;\170\245*[\235\153\238\243\255n\242\193X\235}\226\030\245\140W\234%\245iQ\241\004\243\175*\n~\157\166E\185N\175\213l\181ef~\171\184\235\206\179\249\152\197?\149O\152\157\b\165}\180T\235\131,\026!Vm\206/\156\205\159\011eR\168\022\181\028\185\\h\128\179\001\028*\247\177TD\220\154\212\146\138\\\0268\173\246\254\215\182\2188W{\230\207\157\" \149\028w\245\177\196\169\251zS&\231\1674\023\162\227?\019\012-$\154\211\188\228wq\170\000\\3\b%'q\031U\130\183\173-r\026@\005?\213\020\2455\254\177\"\025\249u\018\131~n\025\143\153L\139\231e\237\170E\190\245lZVj\133|\172\178\026\247\184\174~\172W\143\153\250I}\227\253\025\159\197z\141\232\215\169]\135A4\171f\017Tu\176_Q\146\152-g\177\155\230\215j\000\202{,\004M\133\173\1889\242\232\138\204\029\189{6B\228;XNL\228y\028\217\136\138\158j\163\022l-2\"/\199\210GV\168W\192;u\203k\177nK\238\248\224\206\187\171\139\205\178x\207\157\178v\191v\173\142\164\141\246;OF#\173\196\204\251\212+\n\200\203X\178\159\145\204\226*\203\022xJ\198\0075oC\190D\133\139u`X\028\200!\016O\012\239\2018\017\002\188\166\162\231\132\019\165\026~k\217,\210\168\170\029\022Rm)\027G\255%\233\"\164\026\228\208\235\002\237j\156\245;\230\209\024\253\208I+\162\005\252\">\249P$qmA\159\148V\168\209\162\225\210P\186E\1823\150w\015\216\241`\134m|x\199~\143\0060\241\024k\222\128+\190D\202\022\231\146\166#[\173\171\185\242UX\164\023\218\143\188;\031\001\162GI\005\215Fl\184\2196\173\209\144\015" @@ -82,6 +84,8 @@ module Internal = struct let d_2d798108ddda42cb699f6ad4421e720e = "@font-face{font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(fonts/KaTeX_AMS-Regular.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(fonts/KaTeX_Caligraphic-Bold.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Caligraphic-Regular.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(fonts/KaTeX_Fraktur-Bold.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Fraktur-Regular.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(fonts/KaTeX_Main-Bold.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(fonts/KaTeX_Main-BoldItalic.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(fonts/KaTeX_Main-Italic.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Main-Regular.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(fonts/KaTeX_Math-BoldItalic.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(fonts/KaTeX_Math-Italic.woff2) format(\"woff2\")}@font-face{font-family:\"KaTeX_SansSerif\";font-style:normal;font-weight:700;src:url(fonts/KaTeX_SansSerif-Bold.woff2) format(\"woff2\")}@font-face{font-family:\"KaTeX_SansSerif\";font-style:italic;font-weight:400;src:url(fonts/KaTeX_SansSerif-Italic.woff2) format(\"woff2\")}@font-face{font-family:\"KaTeX_SansSerif\";font-style:normal;font-weight:400;src:url(fonts/KaTeX_SansSerif-Regular.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Script-Regular.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size1-Regular.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size2-Regular.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size3-Regular.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Size4-Regular.woff2) format(\"woff2\")}@font-face{font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(fonts/KaTeX_Typewriter-Regular.woff2) format(\"woff2\")}.katex{text-rendering:auto;font:normal 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;text-indent:0}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:\"0.15.2\"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex ." + let d_2f5e154e0545511e50fc92f99bcdc8c4 = "or: #002800;\n --visited-number-color: #252;\n --unvisited-color: #380000;\n --unvisited-number-color: #622;\n --somevisited-color: #303000;\n --highlight-color: #303e3f;\n --line-number-color: rgba(230, 230, 230, 0.3);\n --unvisited-margin-color: #622;\n --border: #333;\n --navbar-border: #333;\n --code-color: #ccc;\n\n --li-code-background: #373737;\n --li-code-color: #999;\n --toc-color: #777;\n --toc-background: #252525;\n\n --hljs-link: #999;\n --hljs-keyword: #cda869;\n --hljs-regexp: #f9ee98;\n --hljs-title: #dcdcaa;\n --hljs-type: #ac885b;\n --hljs-meta: #82aaff;\n --hljs-variable: #cf6a4c;\n\n --spec-label-color: lightgreen;\n}\n\n@media (prefers-color-scheme: dark) {\n :root {\n --main-background: #202020;\n --code-background: #333;\n --line-numbers-background: rgba(0, 0, 0, 0.125);\n --navbar-background: #202020;\n\n --meter-unvisited-color: #622;\n --meter-visited-color: #252;\n --meter-separator-color: black;\n\n --color: #bebebe;\n --dirname-color: #666;\n --underline-color: #444;\n --visited-color: #002800;\n --visited-number-color: #252;\n --unvisited-color: #380000;\n --unvisited-number-color: #622;\n --somevisited-color: #303000;\n --highlight-color: #303e3f;\n --line-number-color: rgba(230, 230, 230, 0.3);\n --unvisited-margin-color: #622;\n --border: #333;\n --navbar-border: #333;\n --code-color: #ccc;\n --by-name-nav-link-color: var(--color);\n\n --li-code-background: #373737;\n --li-code-color: #999;\n --toc-color: #777;\n --toc-before-color: #777;\n --toc-background: #252525;\n --toc-list-border: #ccc;\n --spec-summary-hover-background: #ebeff2;\n --spec-details-after-background: rgba(0, 4, 15, 0.05);\n --spec-details-after-shadow: rgba(204, 204, 204, 0.53);\n\n --hljs-link: #999;\n --hljs-keyword: #cda869;\n --hljs-regexp: #f9ee98;\n --hljs-title: #dcdcaa;\n --hljs-type: #ac885b;\n --hljs-meta: #82aaff;\n --hljs-variable: #cf6a4c;\n\n --spec-label-color: lightgreen;\n }\n}\n\n/* Reset a few things. */\n\nhtml, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video {\n padding: 0;\n border: 0;\n font: inherit;\n vertical-align: baseline;\n\n}\n\ntable {\n border-collapse: collapse;\n border-spacing: 0;\n}\n\n*, *:before, *:after {\n box-sizing: border-box;\n}\n\nhtml {\n font-size: 15px;\n scroll-behavior: smooth;\n}\n\nbody {\n text-align: left;\n background: #FFFFFF;\n color: var(--color);\n background-color: var(--main-background);\n font-family: \"Noticia Text\", Georgia, serif;\n line-height: 1.5;\n}\n\nbody {\n margin-left: auto;\n margin-right: auto;\n padding: 0 4ex;\n}\n\nbody.odoc {\n max-width: 132ex;\n display: grid;\n column-gap: 4ex;\n}\n\nbody.odoc-src {\n margin-right: calc(10vw + 20ex);\n}\n\n.odoc-content {\n grid-row: 2;\n}\n\n.odoc-content > *:first-child {\n /* This make the first thing in the content align with the sidebar */\n padding-top: 0;\n margin-top: 0;\n}\n\nheader {\n margin-bottom: 30px;\n}\n\nheader.odoc-preamble {\n grid-column-start: 1;\n grid-column-end: 3;\n grid-row: 1;\n}\n\nnav {\n font-family: \"Fira Sans\", Helvetica, Arial, sans-serif;\n}\n\n/* Basic markup elements */\n\nb, strong {\n font-weight: bold;\n}\n\ni {\n font-style: italic;\n}\n\nem, i em.odd{\n font-style: italic;\n}\n\nem.odd, i em {\n font-style: normal;\n}\n\nsup {\n vertical-align: super;\n}\n\nsub {\n vertical-align: sub;\n}\n\nsup, sub {\n font-size: 12px;\n line-height: 0;\n margin-left: 0.2ex;\n}\n\nul, ol {\n list-style-position: outside\n}\n\nul>li {\n margin-left: 22px;\n}\n\nol>li {\n margin-left: 27.2px;\n}\n\nli>*:first-child {\n margin-top: 0\n}\n\n/* Text alignements, this should be forbidden. */\n\n.left {\n text-align: left;\n}\n\n.right {\n text-align: right;\n}\n\n.center {\n " + let d_2ff393213d2167dadd78d86ade35dc6d = " \248\150\245P`=|s Y\179P`v\020\167i)7U\203c\215~R\253\191\241\182\169O[&WOvMcm\217\199m\nT^>N\245\031-N.;Z\003\1966\242V\130\158\161\162]\241\181\188\025\166\237\"\023\231\151.\196?\154=\197Y\024\167\205\163L\133\170\249\141\152\157\1655;>\209)\"\129\250'\218\177\031\132+\215a\160\014\202\174\023X\143\029a=\166\176\184\\Z\014%\234U\170\180.\167\154C\142yU\154\025v\132\231\210\2009A\158WK\217\189_v\253\015\198\226H\012\172\141\021\133,\137\253\"\127\231W\0285\218\159b\004\214\240\249\186?\215A\199\221\207\131\004(O\190\242\190\228\149#xb\180&\225\019C8w\1692\137\249\2181\239\214\213\221\242\234\168u\215w\185w\012\019\003}\157\252\253\223\216g\022\142\199\194\1873v\238\206\142^\191l\141\\\218\220`\244%\189v\225\154\129x\216kaPk*!\181\189\024\177.R\187X\181t\219\154u\027/\175\244\222h\141\003\235g\253\233\134\012\177\194\186<]\161\030\187\212\210znh\180\253\155\143\247\156T\246>\254*\241\187\175I1`cs\155#zx\161\209\163\225\176\245F~\247\182y\161\027m\247b\248-JW\170\205$\242%a=\\C}\148\195u\tt\250tDl\163X\232\\6\016d+y\006\019\007w\241%\029\249o&\233s\218\255\162\012\128\199\159\151\240\188\148\225c\143\027W\230\n\223\152\242\022\023\026\212c\133\149\002o\177\233\135\166\135\154\226v\155\177sJ\234!\175\222o\208sY\028\237_\203\229T\1661\1934\243\003h\208\212(\160\164\019\144\232\231\159\176U\127\195\1434\t\015\138\173}n\127\218*\027\253\249u\170\188\144\128;\255\028\242\157\1955\152\022\193\012\000\158\168\197<\248x\182\196\255\224W\235<\190u\177\152o\221:w(4\235\246WW.?\235\tYD\131:\221\152\195\161\027\017\001\171\197p\004\198\158\210\022\138\217\127\128\027\1633pzM)\179\166W\243\223K\155=\154\142\213\179\1306\022'=\255\205\176Q?b6\235\135\135\r\022\211\144\001d\030\162\145!\163\169\238\229\152X\152T*\133\169\152D!\143J@\230\155|_2*\150w\127)\189f\0274\212wTw\214\193]\147\129u\012\172\148\137\216\143\169M\159\200\185\1999f\007\199\188x\246\250\n;\252-q\162{)Z_\143DC\253\228W\172\230\021m\130\178\201\178.\240\177\172\219\166\021r\253^\158Ps\176\003\147\234%\020#\129w\180&\175|\150V\248S\159?JU\215\129\176\203\239\219 <\253\135\252j\191u\157\188\177\241\243\131\1597\127&\167\213\017nA]}\213}S\151\159\235[:\189\250\145l\139\253\232\202L\196\025\243h\134^\233\251?8\026\246'6\\?C\217\209\014\005\146\186\214\233\146\204\020x\179\211I\024&\027\247\0301\170\004\142\148|\131DT\0074Q\149\025\163p\242\192=\166T\199\225U2\222\186mG\024TB\186\208|mP&\150\217\147\212:\185\183\022:z\238u\166\232\031&\146s\253\t\217\130\016\181x\248\015\205\185\219\004\020'\015\182 \000?4\243!\018-DW\237\237_v_\tU\235\190\175\198\140b\208\255\165|\142\n\217D\1840\240\212\011AP^\164\1928>\bjA\160\t\199\230\254\250\209\254\133~?*\223o\\\193\224[\012b.\253\025\247~A#\219\017\152B\020r\012!k\158-\197\\\250\029Rq\2457\1418\168E>\193\185\254;\164\236\249\223\026V=\138\213\160\182\151\130\141\165\248\177\1672\2115\181d\220+\200y\017WC\163\255ya\194\200\031\181\229\253\017\183h\135e\143\176\254\020\244\160R\156$[\181\204\181\233\2045\127\145\233\228\213\249\133\169\233-/\219P\253\212\011i\020\178\189\220'\253\003\128\161\198\254y\243\183\027\235g\245\244\182y$`\250z\005\030\211\177\156O\185\191\n\197[\206\178\127W\1863\221j\255Y\1791p\166}P7\253\232\207\151\226\143s\226.\249\206\251\235(I\127t\t\244\191\227\128\018\001t\130\2433\240XmN\219\160\156\183\154\012Y]~L\2323\138\216\006g\200js\206\006\229bB\147\223]\026\139\159\164dHJ\142\164\004\006\228I9@L~>~\1412\161/\165\171d\247\239j\171-\015\019T>)\028\253\031\144\021\n\226B\016\242\129\132\128$\004*!\183]\017\187?O\tS\222>\212\231\196\252g\201\146\242\191\177\184\252\175-!\255\186%\231/8%s\0074\199\004\240\150\000\222\020\192i\002S|\222\023:+\004A\001\000\005N\219c\179\004Mq\190\244d\155b\190\127\143{c\230|\1704\023\149\230\158\210\220U\218\031\167\172\016\159h\144s\026\228\182\006\185\165A\174\248$|\149'\203\230\012i\231\024cW\217\245\023\144\006\235\248\231\148\241S\020\219>\183}\209\178^p\241\182\015m\031\145\143e\240\171\150\243\249\181\149wy\251ph\128\128\237\227\237\254Fl\202%}\019s-|\215\236\231\192\209C(\133\215\191\r\2327\175\133\249w\020\132\201\185\229\160\128\\\201!y N\243\155O\187%\206xlg\232E\233\162!\188P2\127\150\134-\026\018pS\003v\245\b\160\252\202Km\178\130N\151\219\213\179`x\004\\P;OY\028\202\249\183wB\192#5'\142\227P\240p\185\195\150\130\028\192x^\222\t\221\128\192\015\243\028\231\021|t\030\1941&m~\151\162\238&=\015\1894\156\161\031{z>\196\159\157S\186\186g\228\002\027{q!P^\158\007\218!\233Y]\154\142\129\139:\147\"\238\023\179\167\253fw\143\b?\211\227\159\180Ug\202z\206\\\190\178'\007H\160V\130\028Hkt\1985Q\249\154\252S(\231fU\244\146_>pW\241\133r\170\145'\207y\239\019\153\2353\145\251\175t\177X\015\000\214\153\254\232\194\005\253\223n:\241\198]\175\000\131S\205C`FA\157$zA\007zN\211\011\201\\\005\186\185\229L\221\195z\169Sw/\029\208N\191\227\214dU w\154\128eV\1589+/\218(\185\025\016M\022\238\016I\150\174\244\211,\227\196\028\158\207\197b\235\132\137\158\230\024\185a\178r\135\b\002\021B)\185\025\027\177XP\b\220G\250\t\169H$=\151T\230\227%r?\149\219\133\020*:\177]\128[\019\167n\140\192\233i\129\136T\160\239\181\016A\212\220\012Pp1\\\181\149\014\244\161\241,R!\165\222\n\237\229\229aE\218\2399D\\\014V3\012\tm\011(*\000\019\172E\160\184\240Dx\131\251\129^\000\015\177\237\003\177\150f\206(\181\212]\005\145U/$x\138\141\\\1603p\143 (Q\2200\179\165\212\157\014%2\139K\220\173\2061\251x\168M\206\179\135q\022\002\189\243\225\183M\1478\n0\197Z?\145#\135\141MT\137\001\140\218+w8\005,\011\160\139\238Jq\173\180;\229\170\188V\220\131{\014\221T\162d)\131\211\155\184\210(\003+\012\162\153 \141\018<\165\227\226\176\024|\017%w=\t5*P\004\020\251n\017bly\1276\0259\027\138h\163\000\027\005\192`}\025\135\254\153$\166\030\230\193\148\028\173:X-\130U\n\144Y!\183Y\r\209\001/\189\204\137NL(X\246-\003\128?ee!\016\240x\179\012\213;\248\225;/\223k%g\179\027\141\0214\024\241\007\022l/\2454\195s\131\192\209;2.\183)\136\149j/Y\251C\151\209\203r\186wIC\015\1761\015\251i\224L\248\206\189>\226\197\211\2261\014(ys\160R\183\016\204\1705\164\152\149\1420eHl\208\196\180z6\149\155&I\154e3$u\178Xal\168\190\254\149Y\019\146\189\246\028 5\164t`\022\151Pt\228\200\204jT\011{\232u\208\0063f\249\209Gu`\001\227#{.y.\242\250\218\162!\226P\175\160N\219pQ\156\220\tV\130y/e\201\244\024\154\148W&W\229\178kT\134\235\187\1293\182\245\016a\223\026\001`\151\189\132\153j\149\028\215\133g_\237\003k\003\255H\029\140\209\233\031f\134J\029\r\024<\204\2473\002``\137z\\\145\2100<\185\163\017k\227+s\018\167\192h\224\031pG\015\227\128]E\142c\014\147\235I\200\206\215\161\212@AG\198\183\148p.\137\176\026m\139\136\182\241\224\195\217{\191\142B\141.\016\156\194R\203\172\216\234&\164XG+\n$\169=C\014\003\156%\250\205\019\rrp\014\135\tO\134\173\225Bu\231AVN\147\011v'$G\201Pb\188\152\025\2549U7\187\182\000\172E\251f\162`C\006\031\205N\167u\201\014du\209\221\012\202`\206wa\150\014\185e\129b3]\182\005\192\154!\243\145\169H\212\181\153\180\149\254\130\194x\197\199\188\005\005!\171\n0u\192yV\027\138c\224\148\136yU B\184\187\248\006\236\235\183\229\015\127\168lE\026w8\145\199#\022?\149\140\197b\0192\170\240\004\1657\182\241\176s0\020\244\162\173,E\160\025\153\002V_\219\004\144\144\163:\003Am);Q\030f(\203&\015UT\233v\011|\244\252r\222\222no\176\193Z<\196\006>1\139\026\207'0\158\132VN\251\218\169\224l\019\142\003\156(\156<\0141G\015u\210\142\004\176\222\2348\176\225\245:ZY\167\017\139\192\011\028\028wl\233\146o\220\218\254\003\186\154}\031k*V9\142\232:'i\174\nWzb\029\214BVa4\250r\170\\\229{e~\142+YQM\1470\168r\203Ar\1893.\147yd.#\169\186*\242,\137\195\192\247F\152\001\2011[AP\173\n\003C\213\243\198\159\195\240=\026J\147\006+H\168\194\172_\207!\019/Rp+yt\231\029\237\231\025\161\170\246\196\169\189M\127\248C%\227~\168\222\025\133D\173\001,\200\021T\004&qNx\180;\217\020|\179\192\216\156\187\254\195\244wJ\216\205\132VtH\149\004\189\138_\186\173\241\210qs\004\246B\228d\224\023\195\138\0028\191,\0063\b92)\193(4\004\182\188\252D4\131Tn'u\195\185\134\b}\025\186\253\237v.\234\b\026h\209\188\236\231cA\007i\006F\212\209\234\163\201\173d\017\011c\154\238\130\025\1821\nL\135)\165UY\254I9\000n\163\231\174/\227\189\b\237\156S\159r\210\178\240\199\031Q]\138.\148N\1311~\234\006\025\170\020\193\2406q\026=\133\136\025\161V\241\150\170\142l\130W\161\169\n?\216\1467\146l\176\001\024D\252!\131|g\240a\241\220\212H\146H{\169\228F\162\201\229\189\165H2\1385\128$\024\153\251.\160$\1667\241\232\178\024\218D|R\137\031\218\240\141\240\191\212\139*O\003\031S\172\r\029i\149,\0214\001\022\142\2550\137?\218>\196\132\188}\171\180\149a9\239\170b\219\166i\187j\151i\147\214w\204\133\172K\159N\205%\003!\188\230R\137Y\150\204\000RVi\175\161\202\213p\234{.\185\224R\155Y\205[\141n=\202U\245\132S\\P\193 \180\248\026\b\194s`T\207\139\250\197\228\021\005\199\005\169t\011\2348^O\241\172(\166\023\168a\204\176\217\003H\190\202\181\031\004n\007\197!\028\204Ed\028\158\197Id\241u\141\rJ\202<(kw\202\216J\182N\197'\017\031\251JM\147\t\154\005\"\001e[U\227\001/\0145\001R,\0025\007\012eK. \027{\027\156dm\160\215\207\248\131\177\131\240;?\200\168\004\221\228\166\005Wu\029\156\175\249\154g3\180K@\170\254\br\133C\140\163\228]m\198H\137\143\233%\194\220\209\163\223G\180e\2223\222\024\187`+J\133k+\244\206\020\015=i\129\156i\131\239\134B|\029\195\172\243\018\128\160\210e6J\231\193=\183\225{\228\130\238\145\249\241\028\202&7R\217\161\139\029a\177=\022\169r\002\144\236X\152\226e\159\231&\026\205q\180\152\190\168\213\150/Ny\248\174}2\197\128\145T\017\153\t\145Z\023\018\144\025\219Ex\164\161\179\193s!\201\183<\211\188\166\253\012\nU\133-\168\238\216\005z1\252\159_\011\138\130\221\2385j\031\023L:\166\148\158\134\189K]sW\171\216\017\017K\237\004h\249\000\n\175\212\178b\017N\003\137U\145!\025\179}\233\018\134\1523lv\183R$\141\159\006\t\144\030\239w\193tU\0071x\025\249\024wD\143!\203\006E\157\228\129\239\005\147\025V\140\196\012W\r\255&\n\0255\020@v\021\"\212^|\148\b\147\227z\163s\220U\020\250O\002\186\243\210h\250\1838\171\202\130\151\253\135\209\240L\024z\172\252\026H65\020\r6\249\197\187.8\226G4;\131\152zy\183\003\248l\179\194\254\134\020!SO\195\253\028\170\146\221\148g,i\240D\020\018\196\148\004\194hd&\\\190\179\007<\224\003=[?\019\217\231\014O@\174\245v\185<\240\244:-E3qW\t}\208\195?9)(\154\161\239\175O\251ZV5\186\230\215\001\128ouW\207F*w\2339u2D\246\190\221TM\228Q%\175,\251\239n\223\243\158kN\022h8+\165\231\014\230=\031\019g\140\232\238\232\148t\199O\022\137\182P21T\236\230\137\021\220\024p>\176\226\213'\175\216(\226\241\202\158\211\208\204\171Ur\199+&\178|\246\181j\215S\128\189\022\018\189-_%z\029n\176\204&h\025\239\252\193\234\243\195(\183I\030gB\228z\2154y.\143w\189\231\158\208\165\183,<\203$2\246\209\253\165\250\171\207\027\168:O\028\204\030\230\2248\146\185 \142\000R7c\209+nm=\231\236(1j\178\155\153\199v\160\216\138\020\158\238\005\158\029\251zO:\147\194\133\221u\214\162I\249\007\233\142\212\175 ]\245\143\242j\007~[\203\164\2548\242\253\222\241n\237\129\1771j\011\237\218$\237D\226e}8w\232;\190\227\184\175}\017j\028\205\161\199\251Z\158\1455\185\149\215^\168\154*\157W\206\193\225LWO\163\225F\243\238a\159\173\127\203KMf[\178%+-\142dM\197.\241\145\225\"\003\150\220BuM\218\157\006(d@~\023|h\015\165\173\012\251\168\214E\198@4\211\190a\191\159F\251A\248\251B\208\020\134\225\156\025e\162\026ex\170]\000-\185\182d\198\"\141\198s\142\1996\219\232_\197\016k\2191\226\002\184\127b/\252LP5,\1298\158\209'?\217I\148\137&<\197\129\129\219N\244\236\175\229o\190\210[\192\235I\245\140_tu~\234&,\210\135\226\188U\151\254\198\r\240\216\222t\151\171\022\222\016X\185\0007\227G\194\004c\129\198\030m*\019\189\188\227V~\173Y\r\138\212\0053\208\147F\185\138\021M\236Af\230N!\023\253\129\023L\149\225\129\133\186B\\A\195\217\014\210\198\024=\0112\204\132\194k \022\149\1674!\159\215<\195\173\0288%\146\227J\236\240x\225\166\015\130\240\177ZP\247\007l\005\223\247j\030\252T\177\026f}c\210\018\217\\r\004\000h\163\175\239\031Q\178\216t\131p\243}z\206\141\156t\215\240\251\173\224\205\029\170{'\158\006\001`a\134<\164\184p\170\159\251\005D\176\027\201s\154\144\006\214\149nw\186\175\169\138\209\211\191e4\234rU\239q\007\192\236\203\230 !\1534\198g\141\144m\245\000z\169\182\161\158\249\253ET\241\002\131\209\151\n\157\150Q\200\251$\222}\228\223\2264IW\187`\232h\208\200\222\230C\176\014\243\028\212V\194\207\001u\154s\138\158\024.\136\018\017\195\170w$\248\185,\239O\203\203\005\129\197\202\225~<\174\221\n\192\189b8\153!\000Q\221u\025n3\212\022=\255<\030\153u\001\027\154\203E\173\017\208=\241\185\224\209\176l\183\163\176\012\189\178\144P;\020\221\191h\142\140q'^@\212\194\018\193\r.\246\215\015\030\139\168\135:k\146B\014\1408k\\\246rc\139F\170$\n\139Wb'\224\180a\212\197\148\237J\129\210\188\180G\012\189l%'\184\186\204n>\154M\138\157(\151qf\208\204\153\016]\147\237cW\163\139G\171Ux\201\199\177K=\140\229\026\000\131l\142\165\227\177O?\173\142\238b#\185F\216\003\230\005\220\244\201\182\030M\030H\213\238\019V\200\\\174@\238\226mN\001}~\208\213w\bI6Y]\222g\187F\157OUoZ\015jd\255owE\147\242gR\023\214^\162\025@bo\219\227\031@\243\202\137\254\021\247L\224B\023\172\135?\157c`\019\019\209\209/\1643r\219o\251/\155\170A5?#\248\154IR\211M\196%\208L\242\220:\185$\149\200\188g\191\177\2201\015f\1285\206\127\129I\175\221W#{\213\1708f\235\151Z\153x\007F\017\021q.^\218y\201l\219\223B\142\129\025\192c\214hc\150]U#\2292\176\190Og\000\132s>\162\131c\199q\142\014\136\152\153I-\189|\206\134a\146\163'U\195?O\182\187\014\210o*z\162\239\002g\193\141\231\158\235\202\146\023\148\212\161\225\138\159\027\142\169\237\\Qn'\135\213Q\n\182 /\024\222\255\018+7'#\177\207<\147\134\031\233\170o\216\142\165\155\248~\137\r\2537K\19985\198p\174\176\189a\166\130?^\024\157=\216\151\189\006\252\1953$\224Qa\140d0\025+\158\237\201;\153\026]\251\222\230\134\001\005\026\165\249\151\028\166\001To\193M\206Rs\197\247\152\133]\149\157\246\206a?\188\189\004\030F\205\220Mx{S\217oi\203\011\221\r.A\210\025\151m7\208\176v\202\149\219\r\250?\216\249\161\018+\185 1\206\246\003\023\n\225\192M\185\247l\252\029c\139\211%\021r\127O\164\238S\225+\234\137\164\231\1977\252t\217I.hNj\220\026\233\163\207:\171\020[\198\199\0272\166n\199\027*\1680\150\144\r\249\024\209\160\154\230)e\184\146\214r\001*\133v3C\1934\190U\136\014\139r\248b\231\176@yv\203\128=\130\176\151\157\004#\161W\163\195\164\219\134cj\162\176\174\234E)Q\147\196\nr\026(\221p\n\015\255\133\214\2481\244\177*f\1780\207\244u\002\175\031d\n\023\184`8\1401\002\205}%P\251\018\2479\238\164`\244\249\168\239\235\182@U\158\1876\161\225]\014\159\243\t=\243\235&\177*\2146\005\028:\240'\187\019\148\022z\249THC\248G\186t\1398l\192\\\211\220M\146\188\167\231\134\"\200q Ij?f\145\018\188\224\175\157\206\148\016\243 \134\166D\2485V8t\001\243L\157au\225k\020<7\236\209V\220\201\023\144Ur\217^6\147\1472\142\217\237\212\142N\023XIhi\230\188\237pSD-\223\199g\221\196\ba\208\128a\231\174\135q\195E\225\182Q\160\254]\215\223\178\210r\210O\001\011v\170%\188\147.\230\153\172\021N^\158:!\245\157\031l\163\245?\167m*\231G\171h\158\159<\149)\252\022\207S\135\253\1605\201\252\157\159^\246\238U\198\155ACK\211\218\250\\AX\199~\017\209\226\026\201\214\189\153\127\205\215\166:\255\t\024\183*(0{i\246\153\212+\133\229>:~Q^\182N\224\0155\172,\024Y\224\253\216\187\227\134\2520\144\137\223\186\171\143\022\167\141\n\230i\179Y\136*\017\160\018\138b\145#\199\021\006\187\1994dIV\024jv\029Y\020\147\001\176\197\199;\205\180Q\237!k\147F\007P\183\\\161\141\144\225T\206:\243~k7\250\170\138\145n\007\0063[\151\132&\n\150Z\\\196\230u\253\177q\2512\tsku\162*\181=@\231*\251\221A\231| `:\232j%(\002\163G:2\221\168o_!\132\219\142H\022\228\240\157\185\221\150t\167\2195Ss\133\248\250\178\186\145\233yz?\029\238\243\222\204-\239\216\234U\253PVe\218\208\128\148#\201\020\227 \223;\175\006\130\180Y\027!\198\243\251[\248\211H\027@Te\221\242(\021\173\215\1582\219\132\145i\188d\157\136W\231\205\000\156\182\152\184\246\199M|V\191:\157\029zP\139;\128\169\158=56\211\134u\132\173?T\181Y\171\147\2411\251e\011\133\170\192\022\250o3\006\221s'\n\210u\204\254\175\161\131\253\229k\224\167r\202\r\203\150\128\180\253MZ\198\142\206\210\214'\161\215\251\133\250LU2\250&`\232_\015\237\164\1922#d\159\199~\021\237\000\159\153q\n\201\164\170\198/\255Z[\248m\205\153\204L\208\171l\180\165\176\204\202\207\r%\0295z\255\243\222\128\241s\133g\1882\146ui\190\178\129-\251\000\129\173\221\201\246>K\023\173@\2033\147h\202]TN\182\015/\253B\182S\154#6\188\175\176w\029\176\141/\143\153\139\2414\247\231\156\226\224A\026\152\228\206\252\146M\0127\007\202\235\210\b\223\220m=/i'\219\183\234\251`\212\176\201\194\247\169\253\157\136\235G]M+\130\011`\180ew\254\148\164\206\242h\143\031\183\137\204\234\r\252f/}\189\211B\167\217\148O\178\238\166\176\145\\\157\012\200\1280\210XxF\187\234\028\131\186\019P\2277\134%^\216\229&'b\176>\167\215\219\195\190MW\197}\166\189\161\190\164Q\r\205\127$rw\207w\189\188\232`\\c\1907at\146\004\2127;{L\133\172\160\244sS\224\169\175\231\161\219\129\149\215Ab\207\159_bc)#\212\185H5\229\135;\159\143\200l\200\153\247\003\165\158\151\142\232\132\179E\175\003\018\185\148K\244x\208\134\214\219-\208\018\216\188\210\212\199\145\029`\151\254\236\193\236\152~\227\150~g1=\245\014v\020\136h\023\229\214B\234\240_V\255DF\241\166\139\204h\248\206\129\026\224\131\189SV\187i\\U\174\184\135\252\030,\1694r\171k\133\252->W\222\209\238\207]\216+|\189`\143\185\255\181z2\250B\158\231\146j|^\171\b\253\238aW\\\234\025~\029r1\179\157\245\1645\142\237&\176\031\171\228\014\003\143\239\174\015\219\1451\1876\146=5P\129\138\001V\182\012[\171o\247}\241\011\131nj\227x\168\003\170\016g\232P\206Y\209\227\181\164\1382\1861\205\202\000\252X\234\197d\226\225\205\130(|\179\178\173\193#\2295@\226\156!;\223\001R\255\176-\180\143\244\254\163\237\253O*`fd\207\221\142\133F(y\177\196\231b~\170\179\178\015\243\t\236/R\211\250\199\163\233\t\157a\018\015\237\166\133S\247\164\175\2534\r\235\239\223!\004\242>R\002@\n2H\136\134\006J\148\002K\019;\019S\152/\152\234\223\136\164\236\168\020\186,K\161\001\145\221V\199/`\178\236v\145\165?\240\221\134,\187\171d^\225$\244\022,\241r0\179i\024\171\211\249\140\207\209\210\030\225\015I' \21595#\220d\191\\\021y\176\200\205\233&x\217\1788\244\182\140\171:\001\004Yv\211[w\031@`$\180\029\151\244\167\183%Xg'\195\142@:\006\232\197\135\160d\167f!\0315\200\229r\220\235\193+e\195\255\203\230c\197\250n\184qb\190\177\244G\148\172\181y\167J|g\172\165B\149\030\025?Eu\243\202\201\252\002\005\2186o\233\2073/\134'\197\151\171'\213\229q\017I\023\203\189\239^~\150&{z\142\232t\031\208\172\249\1439\200\194\215?\n\224\221NN\130Hm=\186oQP\205\180v\129\188\016\129o\235\127\151\213\240M\206\229\169@B\209mww\210`\249\242\1717\252\004Pq\176\226\186\147\205\219'=\246!p\160\171\170\\\164Fnh`tj\255\174+\170\164\212\213\174b\001u\1621=\151\253\240\b8D\\f1O@\2508\181e\206 \001%\017\192\224\176:\128!R\002\229\169+i(\149Y\n\143\176\153\189\233\159\b\197d %\021i\172\203ps!\2202\234\026\145TJ )\022\n\130#}S\204\135]|\207\131\142\014zFb|O\198\244\185\188#T\1964/\199\230\007d\160\151\128&\174\246/\165_\172\197rg\027U\213\246\170\"\239\154\228\142=\153^\218=\218\150\196\031Jp]\b\0067\147\159dE^rk\254hF\020\182\015\195/\250\205\152\170\205\030J\215\139m\222u\253\156<{\240\250\2362G\193\016\251>\021\190\166\233^~\167`{\179\176\189\028\141\t\179;0\147\1343$\136\190\153\147\027\209,u\205\189\175\175get\170_\154 \253\217\166\140\251/\175\153%6\002\209$\148d=\025T\230\026\187\217S\162\139\191V\031b\136\247I'`\220\031\129\218\161>\156\250\156\214\237\184\244\154\011f!\146\012\207&\147S\179\179Wn*.KJ\168\019~\178jqO\166\198\129q\142`\165\180\2518\015JQ%H!\015\191O\1637o\137>\012\015Z\026\021\133\232\196\238\\\210]\172C\020\026\178\197,\161\183\167m\206$Vqh\190\\\000\b\138Gx\248\026@\028\012\213O\245\005\140\132\221\188`\253\170\178` \195\187E\184\200\158w\228!{\254\005\134\199nT\208JxJ} \128\159\150\007\233+\169\191\137\185PB3~\236\019\168\024\200\021\255Fe\248\177\138\238\144\250\017\229J\232LDM\026\206>\156\234\214e7N\030\213\250\171O4\130\1826v\r\213+\233" @@ -152,8 +156,6 @@ module Internal = struct let d_5c59776002d57c2e9744a82da2dbbf81 = "\139\145[h,L\163\0023\204t4\184.f\255\158\023\145\n\145\153K\237\250\025\138m#\192\241\"D\143\0128\004\170\240`G\237\204[#V\031\219\152\225#\211V\198G\156-\021\003\020\t\1368\238\180\225\189\011\169S\023z\003\239\132\190\185b\b02K\006\254\241P\165Q\177Z\206\128\244\128\020\012\001)\020a\247\204g^wzw\174\180\145\031R\220l=\246\187\167\235\128\177\133O=\019d\132\250\185\020\170eH\n\199\208\021T\0075\151\221\006\250\025$;\001\153\029,\027P#\191\142\166O\163\239\240\213\202\172\239Y52\128z\005\239R\149\142c\250\240vr\216+\031+N\153\129N\210\145\1448?\144\024\183\215u\138\165\140\154g\158\161:\244\180\234h\1482w\b$\197\239x\185\0123\220\\z '\189\145\159*\238\239h\197\012\025iQ1\215\028\001\005GA\2011Pq\028\1808\015\212\156\000\r'A\155S\160\195\233yk\016\2363)\242\2213/\168-\251\014\018\225\201\190.\224(f\252U\222p,\207\248?Bw\177\1966\174\227\224\244\232\210G\024 \012\017F\bc\132%\132e\132\021\132U\228\208&\208\248\170l]\024\024\231h\229\202\183\246\228,\145\147m\210U\155\192!y\145\174\2300\217\0060\134#\227\018\215$+\230/\197\012\002`*\174\198';n_\179\023\183\189\127\170 \149\029t\242\019I\236\002\175\166,\239yw%\178\158\222\017\137\143\128|\155\020\197/\000\243\222\201Z\222\1411\192\195d\031h0\030u\136\184\146?\142*\030\160\190\209T<\020\215H\186\222\153\204#d\026v\247P\239\017b\020\026\201\237\244\233\177pG\132\159\152\236\154\169n8\140h{\245q\232|\012\162`\132\000\183\143X\18005\139y\154(\208\164\227\177jN5\160\238N#o\"\233\b\248@\226\200\188x\236\127\210\231\213\206\168\142\180Z\168K\166\243\021\145F\rB2\ny@\198$\011\t\141\204\029\163P\134\153\1441\206n\018}-\027\203B2\203\217\236tE\001\200\147\140\226\154\017*\142H-\224\129v5\1281)e\233\178`\137\176gQr\nF\200\147V\138\141\196i\129\164\203\172\225$}\169?\141\133\140N\208KeH\154\181\199\1423\006\149\1404\002\234\0259\176\254\236w\012HD9\019w\251\026\141X\211\164\235\189\128\158\029\002\194\026\253\182gxb\193\030}[t\022Sz\215\159;b\007\136;\022~\003r\194\246\217X;\015\195j$\005\1538\162?2'\234\209h\157'1*\028U/<\251\1379\026\252b\243\188\027\237\231K%\143\189\215e/\151<\229\169\255\220Pl7\166c\241N\228\1729\t\224\138\129\130\158|\"^\028\0194\200uk\029\167\\-\179\234\216m\015E\177\254\149\024S\023i\130\210\212\200F\214\140%I\208\2344\193\181y8.\176\144\1757\132\231\160\021.jC\129\195\027j\030\228\250\128x\150\174\244\156\251\215\154\220L\222*3\200E\128\007Q\186\237\147\143^\131\217\234P\244\130\026\1634*\208\210\223Q\250q\128\179{v\023\188\179\028\132\003cG\024\197n\016\028\163\184\014\152xF\241\027\132\192xa\136\159\000j\"\178J\220$$VI'\000\201\172\1467\t\133uP\014\139n\170\148\221$u\131\208\024\165u\192\1623J\223 \012F?FC\179S\154\253\140\020,V\191\"\005\155\213\239H\193a=w\"\227\204{\209_\194\006JO\193\141\1557\rk\212\1945\026\209\223\149;\221^\170+j@\128\241\197r\235\005\136\133\172`\208\177\208{\155\242\025\222\251\011\254J\181\214\151\001u:\0250\198\249s0\177\180\161p\155M\254\150\207Z\206h\180\149\r\025\200\179\003\192\143b\204K\b\205H\162\213\194I\136bp`\254P\019\177Y?eb\166QIWs\242\229u\n\148\029\143\011\017\b\244\222p\217\029Z\217\219\135\181s\242\241\179\177^\004G\133\130\166E\n7\221(D\017\195\012\027\145\208\212\190=\164*\255%o\024K6\197\007\1842\239m<\216\167\167q\244s\173Q/\017\185N\138\149CI\219\006qY1oDc\218\025|\251\2539L5\214{\143:\218\238a\231\023\189\239\244H\157<\244\133a\201\239\167\000+\171&;xv\244\217\b\135\151\162\028\154_b\243\027\156NZ\222\026_\127\2426\015}*\142 4l\238\129Rw\236\165\2493\031\018\186\150\229:\226'a\228\022Q\027|\221\023m\171\132\022\138\161\136\150\191\1754\142\248^i\216\2522\206\219\156\198e<\140G\187V\232\201[\180$\244\198\133b\029\161\172\223\230\173?\199\221\173@4\133 N?U\194\221\172\252\134\165\000\249\014\217\020\212\239\252\164\023\205\253\136r\1473\185d\156\252\248\181^\144FN\164\\\212+\r\224\186[\158X\157\197\223D\176\209t\132\169\233\153\138\015\030\222\226\199\249\181\007r/=c>\236\194\001\143\254'/\138'\019\029\206\230g\174\193U\134\149k5\220\202Y\213l\143\233\158:\228\1386\025\1541\218\b7o\151\229l\168h\188\209\\\230Kv\n\199\176\140A\230\207[{\n\203H\227p\193;\129\128\208\195X\005\220MBJ\240;\178s\164\146e\219\194\210\\K\182\191\253#\241\r}MH\1612i\007\248\180D\227\208Q\209\020\186t\175\135\135\019\131\157\207\215c0\237\004\228\226\210%/\251\167\161\173\253T\241\028w\233\205x%\132\212\024\237\182\241\t%\186\146\239dv\"\211\1799:\0152x\200v\025\ns\187\159Sp\164\1965\017\2225y\176\172\226m\127\142\137Y\024\230p\201-\021\252\217\219\186\2238z\175/\182\147\149\190tv537\224\011|\128I^'\241*\219\129\030\024\128\169\195\136\137E5\018\145\244\007\207\192\004^\018\246\198\249\154j\147\167\247\195\025\160l{\201\027\014\230\226\b\015\197%\2181\186\248\147\014n\\\1548Y3!\248Xl&\127\249s\235\253dHe\132H\1537\150\014\205y1y*\191\166\181\238\239\177\169\026\155\167e\002\129\142\t7{!\159\223T\031-\016C\012%\133x\221\217\143\175\253\179\149\163\b\245_j\015\138c\170\164\156[\243E\\\233/\025c\178\213;M\129\214dw\237wW\147\212,US\024\153\189jL\167\162D30\147+\205b\178q\153X-\002\001KI2\238\219W\011F\238\244\216\153A\224>\027\217\027P\1806\181%\231(aH\241\189$\012\180\128\127K\144KX\228\224\129\173\147\135H\245\169\233\133\198O\004\136\1760\185[>\215\017\006kExK\169\142Jk\190\143P\242.#\159\187\tr\017\236\141F\196+^\2134f\127\005\153\026\211-YN\161\015ii\007\030\235^\016\022\003\tE#\158\192JG\128\026?\173( \168\004\148o\000\016\161\011]\029\254\129\143|d$R0\003rX<\167fS\b\217U\146i\221\196\206\253N\214\027fVO\176\200\228\252\206Do\226\022difI{\022\191~\022\163\147&\198\153 \014_\239U#%\225\007\006\163\1338\145vYb\168\188\241\216\191:\146\227<\0295\174e\026\252\131\001\194j\015\134G\134f\2056J\217n\213B\253K\028sY\022\155\239H1\163\151\168\223\245\131i\145|\011\245'\n\176Lrc\179\\P#g\236M\255|\161\003\254h\155\202\029\138\240\240\t\132\21892\140\162v\200\144\0183\237a!\160HG\127\175\230\230\127\236\186$\168\151\136\175\129L\244a\239\001` h|\221\254FY,\224\188^\201fW\180\145\205\030\160\012m\0281}4\216B\015\140R!\134\bs>\167\236\241\225\184A\031V\176\207\158\158\131\241N\0185'\207ho?\244\233\193\129T\245\245\203\000nvn_}\192\242\169\208D\199\028M\175\220+\211k\137\1461Q\243\2518\170\150\234\245\030\0141\206^\026\218\214\179\219I\222\140\244\241\183F\225\146a)\220\250(vh\240)]\139a\135F\182%\222x/r\2498\2439\012H\244X\173\019\155\030\207\001\004\144l\026\191x\173\187\196W\1378\218\132\025\213\025B\\\241\165\012\242\2555\006\b\186aL\215\180J\184\194\227\146\166\182\232\191Sd*\137a\183+un~\199\166N\253\019'\t4\182\246\143\180\140\148\\\253\139\232\021G\231\218=\131\250P\231\252(8\251_\173\127\248\0128\150\028F\177\225\170\230\217&\155\1819\175Z\029\132/m\182\134\1553\2303gfue&\218\243\002\029A)\212\004d\175\026p\158\nI$e\147\143\147~\146\0205\020PD\207@B\214_\003\175.\141jp\163\227FH&\168\188\246l\nM\205\214\229nQ3\146\152\200\128\2346deT\1906>\133'\220$C\027\149\176\147\205\006\030q\241\234\230w\214R7\143e\218}\203A?\">\246S\216l\175\246-\231\226\019J\244\239\209\220\186\216\176Z\168O\233y\240\004\158\177\169l]\247`\030\133\183\166\251L\015\187\175{d\212\183\012\246x\232\247|l#\197H\168\246F\215~\148Y\200\133^\160\186\234A\196\253\219\007\014\144\161\145}\219\176\154\157\130\019\198\196\199\166\215\202\250\175W\192\241L\201\252\223\138\023\252T\192\029{\249:\187\253&.\184\179\140o\255;n\234\139&\215\208=H{\168\220\178\240\n\196n\2059\223\127\184\252\007\158\185\255Q\014!St\204,0++K\011\206bfe\028*\219\127'\254\209\218\248n\242\208\173\228\240\138\237n-\137\026\250:l\135\237\127\204\219\191\005\156|\156\025\132\019\151\254\b\221&\226_\148\233\132w\171]zSl\135o\227\213\197S\208\227b\173\193w\249\171\151\173\220\1994\134\012\167v?4\016\197B\rS\226\127\223(\218\177T\129:'3\190!7\006\250G\215\249\007M\132\191\004b#\170\145*\243m\180\235\231:\218L\007\199\237.V\026\198C\170\197\229.K\023\189@\012\171,y\248\025\130\142\204=HK\171\232\206\220\242\226\190\148\131J\138\187t\146\221\2017&\206\189\241\234\158\201W\022\2311\161\007RO8\1825\196h\180a\004\164\231No\139ct\025q\243\237\230\205mZ|n\1945qC*\250\"\153a\250wi\030\250\244bvxf\145j]\028\2030\253|\229z\232\022\156px\169\030\255\141Jk\000\138\136\150\218\248\200&K\159]r\247d}F\2407[\139|hz\207\153\019m\142\185\237v\143\244\"\251\023\246\200\226H\222/y\163\139\184\155\201E;u\209\221\154\150\250\214 \012Yy\252\194\031T\237h\206\153\219\236\170\015\188\229}{\127l}(%\222L\170\2432\163\155\022a\169\159\015g\195W\237\242\163\007\031\r\142>^.E\250S\170\192%\tNr~\237W\029_-\224\205\135\239SViW\245\216!\189\139\207>\166\186\211\214I\021\189\208\211Kcv\205\193\2466\237\1931g\160\002@[\214\170\157\027/h\174\177\015\140\173\216l\177\245\143\143IW\011I\216\166?\212\153t\213\144\159P\189\017\b>\174\"\232\231:s\140\002\239@\247\213\021\227\019\247\196\139K=\179c\251\1679\185f\208\252m\216S\018\251p\219\2319y\n\239\139\205\020\231:\187z\174\173U37\236t\210\135\146\153&x\185vu\247\233\208\169\213\245\n#w\174\197:\160\153]\137\175\208Z\0067,\028LN65wL\181\247[\191\031Y\188\164\172T\0114\253\219\213\255\168is\210\137\230\214\238\169\206\135\160\247b\143\180i\148\017\181H/" - let d_5e2b862c0123f3c6d90905cdbb16db48 = "or: #002800;\n --visited-number-color: #252;\n --unvisited-color: #380000;\n --unvisited-number-color: #622;\n --somevisited-color: #303000;\n --highlight-color: #303e3f;\n --line-number-color: rgba(230, 230, 230, 0.3);\n --unvisited-margin-color: #622;\n --border: #333;\n --navbar-border: #333;\n --code-color: #ccc;\n\n --li-code-background: #373737;\n --li-code-color: #999;\n --toc-color: #777;\n --toc-background: #252525;\n\n --hljs-link: #999;\n --hljs-keyword: #cda869;\n --hljs-regexp: #f9ee98;\n --hljs-title: #dcdcaa;\n --hljs-type: #ac885b;\n --hljs-meta: #82aaff;\n --hljs-variable: #cf6a4c;\n\n --spec-label-color: lightgreen;\n}\n\n@media (prefers-color-scheme: dark) {\n :root {\n --main-background: #202020;\n --code-background: #333;\n --line-numbers-background: rgba(0, 0, 0, 0.125);\n --navbar-background: #202020;\n\n --meter-unvisited-color: #622;\n --meter-visited-color: #252;\n --meter-separator-color: black;\n\n --color: #bebebe;\n --dirname-color: #666;\n --underline-color: #444;\n --visited-color: #002800;\n --visited-number-color: #252;\n --unvisited-color: #380000;\n --unvisited-number-color: #622;\n --somevisited-color: #303000;\n --highlight-color: #303e3f;\n --line-number-color: rgba(230, 230, 230, 0.3);\n --unvisited-margin-color: #622;\n --border: #333;\n --navbar-border: #333;\n --code-color: #ccc;\n --by-name-nav-link-color: var(--color);\n\n --li-code-background: #373737;\n --li-code-color: #999;\n --toc-color: #777;\n --toc-before-color: #777;\n --toc-background: #252525;\n --toc-list-border: #ccc;\n --spec-summary-hover-background: #ebeff2;\n --spec-details-after-background: rgba(0, 4, 15, 0.05);\n --spec-details-after-shadow: rgba(204, 204, 204, 0.53);\n\n --hljs-link: #999;\n --hljs-keyword: #cda869;\n --hljs-regexp: #f9ee98;\n --hljs-title: #dcdcaa;\n --hljs-type: #ac885b;\n --hljs-meta: #82aaff;\n --hljs-variable: #cf6a4c;\n\n --spec-label-color: lightgreen;\n }\n}\n\n/* Reset a few things. */\n\nhtml, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video {\n padding: 0;\n border: 0;\n font: inherit;\n vertical-align: baseline;\n\n}\n\ntable {\n border-collapse: collapse;\n border-spacing: 0;\n}\n\n*, *:before, *:after {\n box-sizing: border-box;\n}\n\nhtml {\n font-size: 15px;\n scroll-behavior: smooth;\n}\n\nbody {\n text-align: left;\n background: #FFFFFF;\n color: var(--color);\n background-color: var(--main-background);\n font-family: \"Noticia Text\", Georgia, serif;\n line-height: 1.5;\n}\n\nbody {\n margin-left: auto;\n margin-right: auto;\n padding: 0 4ex;\n}\n\nbody.odoc {\n max-width: 122ex;\n display: grid;\n grid-template-columns: 28ex 1fr;\n column-gap: 4ex;\n}\n\nbody.odoc-src {\n margin-right: calc(10vw + 20ex);\n}\n\n.odoc-content {\n grid-row: 2;\n}\n\n.odoc-content > *:first-child {\n /* This make the first thing in the content align with the sidebar */\n padding-top: 0;\n margin-top: 0;\n}\n\nheader {\n margin-bottom: 30px;\n}\n\nheader.odoc-preamble {\n grid-column-start: 1;\n grid-column-end: 3;\n grid-row: 1;\n}\n\nnav {\n font-family: \"Fira Sans\", Helvetica, Arial, sans-serif;\n}\n\n/* Basic markup elements */\n\nb, strong {\n font-weight: bold;\n}\n\ni {\n font-style: italic;\n}\n\nem, i em.odd{\n font-style: italic;\n}\n\nem.odd, i em {\n font-style: normal;\n}\n\nsup {\n vertical-align: super;\n}\n\nsub {\n vertical-align: sub;\n}\n\nsup, sub {\n font-size: 12px;\n line-height: 0;\n margin-left: 0.2ex;\n}\n\nul, ol {\n list-style-position: outside\n}\n\nul>li {\n margin-left: 22px;\n}\n\nol>li {\n margin-left: 27.2px;\n}\n\nli>*:first-child {\n margin-top: 0\n}\n\n/* Text alignements, this should be forbidden. */\n\n.left {\n text-align: left;\n}\n\n.right {\n " - let d_5e57240b8ff6745d663ebd2060201199 = "0;d<2;d++){for(var f=!0,g=c+1;g0&&(n.style.minWidth=V(a)),n};function Ut(e,t){if(!e||e.type!==t)throw new Error(\"Expected node of type \"+t+\", but got \"+(e?\"node of type \"+e.type:String(e)));return e}function Yt(e){var t=Xt(e);if(!t)throw new Error(\"Expected node of symbol group type, but got \"+(e?\"node of type \"+e.type:String(e)));return t}function Xt(e){return e&&(\"atom\"===e.type||re.hasOwnProperty(e.type))?e:null}var Wt=function(e,t){var r,n,a;e&&\"supsub\"===e.type?(r=(n=Ut(e.base,\"accent\")).base,e.base=r,a=function(e){if(e instanceof W)return e;throw new Error(\"Expected span but got \"+String(e)+\".\")}(wt(e,t)),e.base=n):r=(n=Ut(e,\"accent\")).base;var i=wt(r,t.havingCrampedStyle()),o=0;if(n.isShifty&&l.isCharacterBox(r)){var s=l.getBaseElem(r);o=ee(wt(s,t.havingCrampedStyle())).skew}var h,m=\"\\\\c\"===n.label,c=m?i.height+i.depth:Math.min(i.height,t.fontMetrics().xHeight);if(n.isStretchy)h=Gt(n,t),h=Ke.makeVList({positionType:\"firstBaseline\",children:[{type:\"elem\",elem:i},{type:\"elem\",elem:h,wrapperClasses:[\"svg-align\"],wrapperStyle:o>0?{width:\"calc(100% - \"+V(2*o)+\")\",marginLeft:V(2*o)}:void 0}]},t);else{var u,p;\"\\\\vec\"===n.label?(u=Ke.staticSvg(\"vec\",t),p=Ke.svgData.vec[1]):((u=ee(u=Ke.makeOrd({mode:n.mode,text:n.label},t,\"textord\"))).italic=0,p=u.width,m&&(c+=u.depth)),h=Ke.makeSpan([\"accent-body\"],[u]);var d=\"\\\\textcircled\"===n.label;d&&(h.classes.push(\"accent-full\"),c=i.height);var f=o;d||(f-=p/2),h.style.left=V(f),\"\\\\textcircled\"===n.label&&(h.style.top=\".2em\"),h=Ke.makeVList({positionType:\"firstBaseline\",children:[{type:\"elem\",elem:i},{type:\"kern\",size:-c},{type:\"elem\",elem:h}]},t)}var g=Ke.makeSpan([\"mord\",\"accent\"],[h],t);return a?(a.children[0]=g,a.height=Math.max(g.height,a.height),a.classes[0]=\"mord\",a):g},_t=function(e,t){var r=e.isStretchy?Vt(e.label):new Tt.MathNode(\"mo\",[Bt(e.label,e.mode)]),n=new Tt.MathNode(\"mover\",[Rt(e.base,t),r]);return n.setAttribute(\"accent\",\"true\"),n},jt=new RegExp([\"\\\\acute\",\"\\\\grave\",\"\\\\ddot\",\"\\\\tilde\",\"\\\\bar\",\"\\\\breve\",\"\\\\check\",\"\\\\hat\",\"\\\\vec\",\"\\\\dot\",\"\\\\mathring\"].map((function(e){return\"\\\\\"+e})).join(\"|\"));ot({type:\"accent\",names:[\"\\\\acute\",\"\\\\grave\",\"\\\\ddot\",\"\\\\tilde\",\"\\\\bar\",\"\\\\breve\",\"\\\\check\",\"\\\\hat\",\"\\\\vec\",\"\\\\dot\",\"\\\\mathring\",\"\\\\widecheck\",\"\\\\widehat\",\"\\\\widetilde\",\"\\\\overrightarrow\",\"\\\\overleftarrow\",\"\\\\Overrightarrow\",\"\\\\overleftrightarrow\",\"\\\\overgroup\",\"\\\\overlinesegment\",\"\\\\overleftharpoon\",\"\\\\overrightharpoon\"],props:{numArgs:1},handler:function(e,t){var r=lt(t[0]),n=!jt.test(e.funcName),a=!n||\"\\\\widehat\"===e.funcName||\"\\\\widetilde\"===e.funcName||\"\\\\widecheck\"===e.funcName;return{type:\"accent\",mode:e.parser.mode,label:e.funcName,isStretchy:n,isShifty:a,base:r}},htmlBuilder:Wt,mathmlBuilder:_t}),ot({type:\"accent\",names:[\"\\\\'\",\"\\\\`\",\"\\\\^\",\"\\\\~\",\"\\\\=\",\"\\\\u\",\"\\\\.\",'\\\\\"',\"\\\\c\",\"\\\\r\",\"\\\\H\",\"\\\\v\",\"\\\\textcircled\"],props:{numArgs:1,allowedInText:!0,allowedInMath:!0,argTypes:[\"primitive\"]},handler:function(e,t){var r=t[0],n=e.parser.mode;return\"math\"===n&&(e.parser.settings.reportNonstrict(\"mathVsTextAccents\",\"LaTeX's accent \"+e.funcName+\" works only in text mode\"),n=\"text\"),{type:\"accent\",mode:n,label:e.funcName,isStretchy:!1,isShifty:!0,base:r}},htmlBuilder:Wt,mathmlBuilder:_t}),ot({type:\"accentUnder\",names:[\"\\\\underleftarrow\",\"\\\\underrightarrow\",\"\\\\underleftrightarrow\",\"\\\\undergroup\",\"\\\\underlinesegment\",\"\\\\utilde\"],props:{numArgs:1},handler:function(e,t){var r=e.parser,n=e.funcName,a=t[0];return{type:\"accentUnder\",mode:r.mode,label:n,base:a}},htmlBuilder:function(e,t){var r=wt(e.base,t),n=Gt(e,t),a=\"\\\\utilde\"===e.label?.12:0,i=Ke.makeVList({positionType:\"top\",positionData:r.height,children:[{type:\"elem\",elem:n,wrapperClasses:[\"svg-align\"]},{type:\"kern\",size:a},{type:\"elem\",elem:r}]},t);return Ke.makeSpan(" @@ -190,8 +192,6 @@ module Internal = struct let d_75c9537a4e6c7e6b38174a4b3ceb478c = ";\199-\145\130\178C\"\206\195i\028o\192Z\249#W\175\222j0\249\026?b\174\248\172?\002\n\160\004\000?\218\188#\141\245\204\018cxj\191\237\2221\167r\206_M\140\0171\178h\007\130\196\019\230\208\157=\b\r.\022\143\228\019\128@Mu\137,\150\225=\213\196\166\021a.}\179\240\017\222\197f\2206\\]\199\241\172\144\202_\164E\193\177\129\128\006\020|\007\146G.^K|\176\1623\180\146\185\206\155\177\007\160\215\251MGu,I\243K\191\n\1392R\237\021\015\r\127^\233\171\175\142`\t\182\217\017\248\1591\219\212i\206Vy\250\136k\162Y\162\175L\177iP\024\207\027-\007\023\003v\216tw}h\132\136\142\233\191O=\168\168W?\198\151\169\187\2295\209\173\131\224h\234\bi\137ss\183t\209\188(\218\2292\191\014\0227C\020] 6Q\190,\016\0177\144\209\187\164\240`\160\237`\205\130\127\172\196\196\160\159\152y\2523\135V\023\161TZ:\234\201Yq4\201\t\147'\135_+\254@\198\147A\212`~W\143\220\\\176\225\195\223\2069\229\170Q\200z\2348\150\017\196*\193-\182\218\191pH\129\159\169B+\198\233\174\186|\167\180\177'%\252\162\215/\175I\2020k\131\027\212v\029\1673\0277\212q\218\024\000\234\216\252QB:\t\236\210\016e\140\1689/\006&!lZ\210\253\019\240\151\195\228n\148\018\133\002\233a\234\213\220R9j\209\029\210oN\179\191 \215\028\209\029l\189\025\007:\020A\251\154m\240\244d\200>\183\005\220\002\146^)\2129l:\016\212\139\225\230\252\218\225\011\1456\187\228\000#\201\167\172\249\128>ElO\131R1\150Z\213,\136\155\nKs\1298\136\030\164~,/S\214\150\019 o\250\021\016\243j\026\234x\024\174\219{\2404L>\164~\2140V\006\129\227\160\223\249\023_\203B\194\023\020\132M\209\170\218\023\005\134\139\2193\166O\217\193\007M\231\154\156\142i\156\167\180\166[\194]\159\250\179+\028O\199\184I\194\209\b)U\146+\2061 o\185\213\202\014-\nI\137\164\n\165\210e\029 \253W\169\181\012{1\160b\200\006=\253\152\180\236\181\203g\149\188\004'\189j\174\\\165\178\020\230\190-GO\011t|\154>\r\n\012Og\229\002w\178\021\175S\209a\021\200\224(s\240\192\164)1\253\1286\003\155\215'\148\137%\017\169m\196k\210\215\207\027\143\236/\234I]\017\142\176\191\031K\179\1302(Q;\140.o\203U\181|I'`\158]f\165\216H\015I\164\222=\0187\235t\176\241\187\024\014\233\n\\\210Z\252H\213\172\251\016\137\016*\167\003\000j\212\006\181\157g\170\235\247mj\151\238Q'yW\226\007\243\239\1754\142\245\158\202e\189\246\129\003\172\221\2160B%\1361Be\004~5\252T\211\131Q\162\180\200I\155\153&\022{\142w\026a<\219\242\200\2460\152\2044\234!b\185P\191\134\1844g\170\139I6\239\006\165\212\233#S*\\\bt\136]\227\145\173.\174\007\218\186\227\020k)Wf7\030\198#\130%\154\150\b\197\233>'BW\208\236\015\245\159.\218\254\144\132P\174\140[\018Y\131\1643\208T\150'O\164\142;u\214v\157t\023\157\208\199p\196\020j{~\170\129z\191KKB\245\151\202$$Qj\143\232{\006\140Fu\253\171\143\248JI\200\014\202\255sm)^1\158\029\173$ -\137$G8\241\181\251/\192^\254\211C~\173^\205~\251;:v\210b\211\207\190X\188(avMS/\155#\163\242\130\163\129\152\175\169R\146\136\028\023\211/-\198\138\198v\146\242\219\150\153\137\203q\163\129\154\170Mu\022{\243{q\n\177\238\213\198[!\003\144Y\169-j\127\168}a\195\015\158\163\235zS~\142\136W\024_\242\154A\138u\026\251\169\134A\136;\217H\016\153w\t\249\130o\232\211\138eL[C\253\204a\179\139v\227\229\229 \168\253\155\156\191^-\151c!pW\151i\179\219EM\150G\0279\174{M<\142\151\140\246E\206\003x@;Z\192\190\175#\212V\024\223?\220~g~CV\02287\159J\211\022\223\128\000\156gn\223\215\2075I\161\233\133\252\177\216\026;\178\018K\226ods\180\181\246\1739w4\245\230\168\231q\173\152\186\166\202C\129\154\r\246;\249\238\141E\007\194\030\017\237\222\222\163\229\019P\128f\r\022\233\178W\204\213\1342G\183\136\144\224\022\209c\182S\2105\028\005\164\164\004t\228Bp\1449\025\021\006&|\246\171>\195(\211\215XV\213\238^\180K\185\029W\030\2554\222u\178\133I\195z\224\004tv\219~\212\018\153\225\199\200S\213Qx\2078\251\191\249Q\2331\177\223\255XA\014wv\199\170\199\243\138\229\224\135\158\211\158v\024\156\145\234\133\152\177\165\bU\014\130C!\204\236A\183L\220\201\011\189\238.O\024\156\185\171\180\213Hp=\189(\019AbG\166\251\241\186,tf\149\004\131f2\135%\138\228\182\215o\217>\215T\183\206\168e\172L\139Y\161\217\181\021:\213\1429\006g\200#\147\012\159\2274K\151\180\205\235\144NI\1979\173\139\162\203p\159&M\187\143\149\223!\253=\156\191\161\149\220\184K\142\227\239\241S\199\175|K$\007\141\218i\236\217\019fx\028+\199wy3\160;\234\015\129J/]\154\190\1786t\159\025\132\214\198\194\162x.\170\143\164\233\146\170\145\190\029qf\212o8\142\247\200\128i\169\195\240\135FG5\236\238\168y}Ls#\158\155\1821\227\129\140\139\206%f\127\188Qc\243\138\207\181_\190\246 *\136\002\206\171\163\160\017\221\200%\237:\240\171x\238R1-\014[k\241I\183\218%\253+\242\2283|C}\007cN\029\175\223_\207_,= \154\153\138\016\237\142\192\t\171.\b\199\217\148s\167Z\162a\169\156\208+\000a\223\241b\188+\129\220\030\146\024[\183Sg\178@\142\028\th\014\184pS)X\145\177\179\237\216Y>B\011\022V\181\156\196\243\029\238\204*\195\192\164\231\028\022\189\005y\151\139\r\173\139\029\209L-\162\197\243\213\027\163\208a^2H\227BX\167\130p\225\2373\180\173s\129\229\233\185\238\242\193\027\173;\130\019\214>\218\163\166\140\211|\139=\015\228\004>\250 \149\145\r\226\232\t\140\007\149a4:\180\138\165~V\127\167o\235\n\148\178d21%\131\146\"\156DB^4\213a\"]\026\252$\250o\148\028|\246\225f\133\019\207\192\140CY\164r\248b \208r\232=\221~\204\166{n\227QZ(O7\028\204\145\152]\213\241\029\222\226\156Yi\208\155[-\203KL\r7\165|\178i\141\136<\135v\133\021Z\006\147\255s{\150D\012\208-.\134\017Cr\216\204h9\216Zb\0152\179C(\189\196\145 \214\209t\017\0054\023V^\212\157\169\245\200\020\011\011\228\176w\231KvF]\146\230\230T\003\174\232\205\147\223Y\231\190&\138\186\193\156\198[\157\188\200g\160\231\144\220\148\169KS\219\018\145!Q\225[\139f\200\250\1351<\238F.\245<\235\0241\ny\164[}T\194\177g\141\198\236\004\133\233\224\220A\246$ \rnA`4\140j\016z&\028\199\161[\217\242\249\222' \012$\1515p\154\014\r\146-\209\0256\138\229w\166\024\164I\127\172\245\162\156\251\215\2101\145~]f\141\214\026u\127\169V\217E\251\253{\198\133*k\133\020\228H\167\182\130\206\144\223i\189\011\158\023\187\255\237\131\144\210\153\150m3\157\197\208\177E\213\169e\243\129\1403\133\169\014\133\190\190q\181\197\200\161\024\180i\236\006A\0185\224\199JO(\147(b\207D\187\195,\020N\005\206\017\212J;i?Y7\154v9,\213[\187\021\004\210\196\nsW\175\021\214\179.6\141(\130\205\208\130sQ^p\177\180\196\171{\177m\212\189{\194\231\003\152o:3JI\151Z\204\027\165\019\171\166\012\229J-5\203j\153\129\175\235\218\166\238\229%\155N\147\154\210\236\b\210;[t*\160\230\018\2037\243s\024>\154Q\250\029~\234t\147\156\242\207\249\233-\128[fq\b2d=\004\011\133\202\214\214\025\245v\185\191\221m'\020\r\198q!\029\000\237{\212\230p\204\187<\199\133\020$?\224z;-\216\201HF2\144*G\212\191\142\015\151\240\006\237\140+P-*\143b.\1530\t\250\rMhD'\b\200\230\1729fb\162\223\176\173|\247a\237=\164\147\018\140\167\160\002r\1893\199\019\206\015\178:\137\245\204\020\233?%\165\012\228\237\252\002J\207\175_\249\159cZ9\220\1971[a\129U\241\179\195\190\136\223\204^\026\142B\179U\1649Z7\252\170\181\204\155|\155Z\016\243\025~1j\251>Rfs\253\017y\153\018cS<,\246cF)\135b\2287A\132\134\167\201\1869z\223&\022\204h\205\174^\248\154\213\018\230I\240\229L\168\028Aw\209%LSQ\222\132\218\224\169\005\210\0072\213m\166 \224Ur\001Z\133|\"\249\134\186fIh\179Q:\170y\189\213~\011\141\1861\164?\016v&s\129\223\189t\154\2221%J\221\242\145\225\210\140\027\160\202^\026\004\020!6\231\b[?.g\184\165\210\162\181,\178[\229\179\185D\248T\026\250\182\143\134\237\238,\198\242t\255\002\250:kk\162\135A\209\\\023\156\239\241>\183\231\168\007\178\1896\214\183nh\213\240\204\2127\175\188\026\226[\029G\135\231\012\232\030X/\2188\214$\168s\005\228\1299\155\193x\255\232#Z\135\024\207\238\243R\202\001x\213\229(o\242\196q\178$\137\250\148\147$Q\"\162\187A\188\011\208\162\018\130\156T\250\208\213Vp\205\213#u@=\136\1494V\140V\1973cU\239\241(\150uU\025\007;\174J\217\143\017\171G\170\225\225q \024\189\1806+\017\251m\234\245$\200\030\219~\030\129\000I\200H\248\182\177\191\190i(t5\149\248\139\223'\253\163zz\193~\b\027\194T\176\146\221\195\248\144\027\247_V\168[\231\239/\255\241\1867\147\185\182\172\136L\162>\140\195.\255\192R\231\233k\175\208L\221\174R\\t\253\171\1469\022B\229y\176,\237y\211g\005\223E\244\251\t\162\155\152\180\177\221\nV\1748\187$\019\018\253\200LV6&\172:\025v\252PV\135J\186\133\190n\151\159\004\230\205\235\006\1433$M\031\137\244Dzv?\2395\210t\246\234V\175\209d\244\182\250\131@y=m\165J\223\029\255YI\127\220If\030\152_V\127C0?S\246?|\169\250\136RqV\174x\255\208'>DP\161%7\223w\225\022d\244E\159,\147\017>\239\233\143\182\220\191+n\204}$\244~]\b\143\255*\246\219P\227\179\192\203\243\241\196\131\1684\216{\240\018\175\209\024Y\028\235\177xR\130\029\230\152\133>\144\147w\000U\"\151\167\247\189X\149\252\022\134\236\169+\160\192\234\195E\030\018\011}\031\030\234\143\135{\194o\241(\199\228\198\007\030zk\214Hb9b\194wqy\186\185iY\242C\133\220w)\230\216\244\213\245g\188\247?\235\172\2478\184\217\153P\254\234\003.\241\152\134R\\\238s9\022U\165\"\174\156\143\030\1399\223\178NL\240z\022\254\014\203\202\179M\194)\151\226\028\171x\255\140\016\155\1917/\232\240\141\206\241\219\242\130\r\196\203\223\188\173i\173Z\244m\203=\025+xI\248\018\\/h\157\019.n\245\014\199\174\255kcyUSE\177\234\253\179O\212\152s\031\153\021\249\1629\162\188?\239(\202\185\235\194`\031y;\2547Y\007\232\168\027\207\162\133U\148G\026\134\255\203.i\161b\027(\178\rh\002\154\000\021\175bmH\1903\"\162R@\181\228\132\248\239\191k\153\228\181\162\203/\168*\209R\190\234UZ\200\179\023\180\254\1350\246\208\157\1279\155\219\175\024\132\134p\195j@\185\220c\152\176[\140*\2472\148\211\239\134\214#/\135\004\003\147^3\215\218\237\139\239\243\227\137\186\210\152\191\166\161n\004\239>s\210\216\231\007ps\130\019b\026\248\149\152y\171y8d*\252\127O\006b\142H$/\021S5\127'\147G7\199<\222p\177<\255\171\162D\227\020\004\155v\018a2\140\142\133\160\246n\031\214? \220v>\029[\018*~kiA\213\178\146n\201\006>\219\222\222\155\198\187%\182\227\183u-'}UA\t\139\195\nE\219\238\157\237\140\221<\180}\130\234\\f\153\137\143\229\1356\1424\171np[\018\143l!\159\218\014\144\217\133\011\152\148\143\251yr&%#B\176\129\198\244\158\149\150\201\006\023\004\220\196s\183BcEM\228\226\245=\158\1674cm\157\253Cs\204\203'\160\149\237(\160\nk\251\025\135\186\242u\187\227\141\2170\006+9=\167\004\199\163\244\206R\004\237\246'\247,\145\250|\222\130\174\156k\240GN\b;\241\252\1791l&\003\185zmp\213\247p\183J\224\159\251\185c7\140\195\180\175\027\227%\220\144\005\2266r\155\140&\181)\021\026\161u\165\138DQ\166\230?\024\237\014BK\158}A\230k\182v\\\158V\024\211\252\225\127CF\205[Q\b\177\006k\130\222\1280\219rP>:~\194\144E\011\220\169\188A\148\167z\003\200)\241\000\2460\208\182A\140\216\178\129\138\166PQ\024\021\240\170t\177Wb\171[\154!\2158\011q\235\rs\165G\018\188\011\254\215a\005\194p" - let d_76f7b414a17c3c308e50e9c94ef0bd61 = "\n flex-grow:1;\n background: var(--main-background);\n box-shadow: 2px 2px 4px lightgrey;\n}\n\ndiv.def {\n margin-top: 0;\n text-indent: -2ex;\n padding-left: 2ex;\n}\n\ndiv.def-doc>*:first-child {\n margin-top: 0;\n}\n\n/* Collapsible inlined include and module */\n\n.odoc-include details {\n position: relative;\n}\n\n.odoc-include.shadowed-include {\n display: none;\n}\n\n.odoc-include details:after {\n z-index: -100;\n display: block;\n content: \" \";\n position: absolute;\n border-radius: 0 1ex 1ex 0;\n right: -20px;\n top: 1px;\n bottom: 1px;\n width: 15px;\n background: var(--spec-details-after-background, rgba(0, 4, 15, 0.05));\n box-shadow: 0 0px 0 1px var(--spec-details-after-shadow, rgba(204, 204, 204, 0.53));\n}\n\n.odoc-include summary {\n position: relative;\n margin-bottom: 1em;\n cursor: pointer;\n outline: none;\n}\n\n.odoc-include summary:hover {\n background-color: var(--spec-summary-hover-background);\n}\n\n/* FIXME: Does not work in Firefox. */\n.odoc-include summary::-webkit-details-marker {\n color: #888;\n transform: scaleX(-1);\n position: absolute;\n top: calc(50% - 5px);\n height: 11px;\n right: -29px;\n}\n\n/* Records and variants FIXME */\n\ndiv.def table {\n text-indent: 0em;\n padding: 0;\n margin-left: -2ex;\n}\n\ntd.def {\n padding-left: 2ex;\n}\n\ntd.def-doc *:first-child {\n margin-top: 0em;\n}\n\n/* Lists of @tags */\n\n.at-tags { list-style-type: none; margin-left: -3ex; }\n.at-tags li { padding-left: 3ex; text-indent: -3ex; }\n.at-tags .at-tag { text-transform: capitalize }\n\n/* Alert emoji */\n\n.alert::before, .deprecated::before {\n content: '\226\154\160\239\184\143 ';\n}\n\n/* Lists of modules */\n\n.modules { list-style-type: none; margin-left: -3ex; }\n.modules li { padding-left: 3ex; text-indent: -3ex; margin-top: 5px }\n.modules .synopsis { padding-left: 1ch; }\n\n/* Odig package index */\n\n.packages { list-style-type: none; margin-left: -3ex; }\n.packages li { padding-left: 3ex; text-indent: -3ex }\n.packages li a.anchor { padding-right: 0.5ch; padding-left: 3ch; }\n.packages .version { font-size: 10px; color: var(--by-name-version-color); }\n.packages .synopsis { padding-left: 1ch }\n\n.by-name nav a {\n text-transform: uppercase;\n font-size: 18px;\n margin-right: 1ex;\n color: var(--by-name-nav-link-color,);\n display: inline-block;\n}\n\n.by-tag nav a {\n margin-right: 1ex;\n color: var(--by-name-nav-link-color);\n display: inline-block;\n}\n\n.by-tag ol { list-style-type: none; }\n.by-tag ol.tags li { margin-left: 1ch; display: inline-block }\n.by-tag td:first-child { text-transform: uppercase; }\n\n/* Odig package page */\n\n.package nav {\n display: inline;\n font-size: 14px;\n font-weight: normal;\n}\n\n.package .version {\n font-size: 14px;\n}\n\n.package.info {\n margin: 0;\n}\n\n.package.info td:first-child {\n font-style: italic;\n padding-right: 2ex;\n}\n\n.package.info ul {\n list-style-type: none;\n display: inline;\n margin: 0;\n}\n\n.package.info li {\n display: inline-block;\n margin: 0;\n margin-right: 1ex;\n}\n\n#info-authors li, #info-maintainers li {\n display: block;\n}\n\n/* Sidebar and TOC */\n\n.odoc-toc:before {\n display: block;\n content: \"Contents\";\n text-transform: uppercase;\n font-size: 1em;\n margin: 1.414em 0 0.5em;\n font-weight: 500;\n color: var(--toc-before-color);\n line-height: 1.2;\n}\n\n.odoc-toc {\n width: 28ex;\n background: var(--toc-background);\n overflow: auto;\n color: var(--toc-color);\n padding-left: 2ex;\n padding-right: 2ex;\n grid-row: 2;\n height: fit-content;\n border: solid 1px var(--border);\n border-radius: 5px;\n position:sticky;\n top: 50px\n}\n\n.odoc-toc ul li a {\n font-family: \"Fira Sans\", sans-serif;\n font-size: 0.95em;\n color: var(--color);\n font-weight: 400;\n line-height: 1.6em;\n display: block;\n}\n\n.odoc-toc ul li a:hover {\n box-shadow: none;\n text-decoration: underline;\n}\n\n/* First level titles */\n\n.odoc-toc>ul>li>a {\n font-weight: 500;\n}\n\n.odoc-toc li ul {\n margin: 0px;\n}\n\n.odoc-toc ul {\n list-style-type: none;\n}\n\n.odoc-toc ul li {\n margin: 0;\n}\n.odoc-toc>ul>li {\n margin-bottom: 0.3em;\n}\n\n.odoc-toc ul li li {\n border-left: 1px solid var(--toc-list-border);\n margin-left: 5px;\n padding-left: 12px;\n}\n\n/* Tables " - let d_77497cc3f3fcf3d076beca018e694901 = "\253g\212s\210\239\147\167#\023\014M<\246N\189\248\156:=q\171ij\200D\168~\182\000\021.\215\160\241\002i(\148S\016<\016I\171a\224ur)^RZ\001*<\214`\239\031\015\213\160\154\211\167\193\195\tM}!\021\1812\rl\217%\233\001\208\138{$\162s\165\136k7GnAK\165\168\252\235\176\168\217\b#\171(\189W<\141\149Kf\182H\179\164\1471v\146`o\022Qv\002&\169W\245\218\152t\179\019\163\226\151\196O\178\144i'\243+k_A\027\201\000\210&\183w\162^]\181\222Fl\248\002-\229c\216\001\232\182\204$\252\227\161NQ9\253,\006\164\207\012{\012\180\154\139\157S\151y\211\2443\015\253\173~1<}\223\145\2199Y&\140$9h\234#\195\18583\0289\141\164\180t\220\215k\136\154\205\230\n\173I$\007\005\153\029fn\195\137\228f\211\003JO\189\136>\014[\"\134\004T\021t3\218\211d\135\022\212^\137\014\155O7n\153\129@\155$$\142k\018\227\250\226\001F2\244\234\212\209Q\139\022\r\185\219\212\149Ja\017H\202\223\222z\020\011\188\218\244Y\246\007\019\254\189|5\237\011\022\144\017,\023,\"\1479\148$\ne\137AE\226P\149\004\212$\t\161\164@]R\161!i{\199\208\232\175KY\236\156:EI\242\253j\162\172\149q\145\250R\221_\203I\253\160\238\255su\019#|\216\027\137-lb\027\005;(\216E\193\b\005{(\216G\193\001\n\014Qp\132R\152\002\213\222\n\179\177\129^\129\1346E\163C\r\146\205\233\128\141\207a1<\025/\245g\203\002@\007}\153\215\184\170o\023\231O3M\012 \209\022\181\201\129\139\151,\226\190\229\238\250z\138e|\230W\168\176\002\030\137\230k\243K0\151\149!\241*\148un\138\210/\000\192\2293]\205\171X\172\227g\203\006\168\208\169\182K\\\240\143\160\130[\148W\170\130\233\022q\146\190\250h\242\0142\r\135Y\1481MD\175\028\003[\233\161\163e(\194u\205\219\215\201j\2354\146\253\212\146\027\187\011\162D\023\tno\180puj\\\030\164\185\002U\218\029lc\175\011%c\156\\'t\229j~\246\166c\242\233\145\251I\239\198\219F\014\165\241\154\183oN\135U\"E>\174\182\003/\201\215J3\188Ic\239=\170P\134\190\1461\246Ym%\162\241fxsV\210\211\141\n\222\136'm\199U\163T\217&\181\011\r\245\018\003&\166\130k\223\012]\145\018\022E\201\162\138\197L\205\018V\021\175\005\246\006sN@\195\191\162\251\209\224\232%E\130\171\213\234@\253\129C\149d\180A\202&}\024=$\208:iq\158\140W\174D\165bt}\249J\160\232\136\1324m\209\214\251x\214\133e\247n\173\191L\029\224\209\163{\218\007\218\198\012\031\b\148\172y\184\147\227\199\168\2052\150\138\184\184Kwh\142\189C\229\203<\143\133eK\235\147w|l\014\151?e\152\183\223'\251l\133\187^\238\244\243\021\238yj\223U\131\236\165L\187[\140!g\201\185\131\011\007\165\001*'\182\031\231\020\021\216Z\229\254Q\244r%\171=\179D)\253S\209\025\188\164)\228\r\213\153\149\174\026N\145a\146\020/\020\156\189\248<\026\220\163){Rt\1705G\175;z#\231\213\220\174\241\026mLv\189\162\208\017\223\128?C+A\201\027\001#W.\016<\031nV\148h\167\200\141\151\029\218\147\019\204\026c\1945\186\140\024\145@\180\129aL\002\241\000\186\194\132\004\146\r\012S\146\177\233\159\bg\00132\200\238a\152\147A\254RD\176 \131\226\030\134%\153Y\014\140\023R\133(\16860\172I\192\r\160k\172K\160\209\192\176)\017-qx.\183\137\022\029\016`W&z \192\190L\012@\128C\217\225Q\198\223\141blKP]\235&\168\153\211\182\167\nucvo\145\bs\015\229\133\135\176\236\198\227\198U\221\019kE!6\154\222\225V\187\131\157\135\176\247\144\031^\245\131\199\186\193S\221\224\185n\240\162\001\174\030\194\205C~G\253\226\163n\241Y\183\248\170[|k\128\143\135\240\245\240\152\223\223U\146\128}\200j(\183cE\209W\196\225\213\220{\227?\162\140\005\b\170\255\243( K\000\202\157@\006\003\237\031\002\2448\180\000\026]\0114\248\016\024q\019\b\000\165>\140!p( v\186\028\185LxV\161\208\209\199s\018\213\199\000\149\165\190\167\243\166\015Q\018\202\247P.\144\138%\028\219\016\149\207i\233\179G.\192\213\147\218\241\213w\244\165\165\162+D\129|xN\187\178\250\143\021\228\247{\242\193\247\247\252\138\193\231\217\137a\165\007\165u\225:#\136V\225\012[\1506b\174\181\169\015$z\004\030\237\231Nd\133\208\205]\1830}\196H\"\206!\165\020EU1\141\204\198\tF\235\129v\012\003m\025\209\223\155\135\1931\190\231\180,\007\182\152r(\024W\135\001\007\196\220\006KCF\005O\249\240\159\140\194\163\1958X?\198\199\173\t\163,H\029_|9r\029%\244H\150\227\171\207G\189;\144\216\003\161\163\163OGI\007@\1477\160\226\002\179\"\\\200,\024KN-E\210\152\211)\132\156\187\234\025P\229\246\1513\156\143\235\225\242v\216\012!P\029\023\194\200\b\027\205Vq\255`\005\243G&c\196CIC\205\"\163tfo\007\169\245\231CL\164F_\150\247\156\"t\019\174\237\185\030\175\237\1597Q'o\1547\245\248\168\151\144\190\206\229{\189\026\139\147\152\168\186?M\154\248L\170\164\024\149\b\219L\021\142M\019_\002\129\197\174A\012\156'\144@\b\207\017\247?\247\235\212\012u(\128\193,\235\023$\141\2258y\130S2\014\160\005\255\022-pSJ-\156\173\185A\161P\218 \194\t\231\228\146\240\248j\021\221K\238\192[\191F\1583]\152\156\000\015+T\210\219\252\031\132\134K\144j\031\2268\137`9Q\003\163\198sSR6'\209\021Sv\191O\158Y~z\n\204\223\194\134\157\031\183\200p\003\170j\237\022\130A\133\026C\208`C0\156SAnt\015+C\208`\136A\132\253-\027\242\014\220\005\186\148c*\200\133\143Y\216\210x\023\140,\242\006\186&\224Dn\139\191\005\134K0\243\176\225\202\135\011\028\172!\137\143\212:^\205L\139\014\r\235\024\156]N\030Q\191\136\243\n4\130l\200k\019]\181n\150Wd\221\254\031\140.(,\140<\129A\233\155NW\244]\148\174.\164\240wj7\235\167 b\249\202\012]E\170i\164\005\001(\189\242\238>\165\239kDZ\240\240h\138:\201\199\233b\021J\236\218\204\240\"\146\238\136\232\143\n\193\000\127\182\254f\133\154\168q\168\031\151\181e\210\016\140\196.\227\194\139\bo\212\180E\172Z\016(\208\001\n\142\251o7ii\224\200c\159\250}jD.7\250\174\154\"I\162\211\221V\029\131\1345/]\137i\154\1603\221\183\023\130\159l\217F5\138\224\196\194\t\142\226\167]\210\184d$\203\221\191\003\221)#\255\152\239\133\154\186\250\022\012\171\2404\171N\029O\128f\157\022\\\172\2210u\241\204\127\193\006\\\170o\225E\b\220\159\225t\233j\021\169p\146\135\2459\132\177\170\206\136FH\22653\\\204\243\190\255,\151w\\\165k*\200\\\159\011[\188\200W\165\248!\161Q\212\211\150\030\201M\215\190\174t\r\2439\210\137\203\180\001\026Q\141\149\030\224sV\167\144\159[$T\211\2362\028;\153\213@\150\002=\209\167S\144\154\245\150\172VrbB0\180\209=\212\154\140\147\212\165\219\187\002\130L{\216\180\173\203\241\253\157W\003n\1738k\007\003\156\228.\2417\219\226\001\226H~8\243\203wr\155]:\143\224\167\250\1949\190m\"\224\0058\209\201%B\171\144\b\147\166U\1543\145se\237lmn\184\172^\191\134\234\204\006\245\138\252/\224JI\200K5K\218\200{\209\2021z\r>=\246H\218CB=>\181\161\176jG\015\144\224Xmd\171\194\193\166\021}\243\198\201\139!\157\182f\235\132u_SM\177\006[a|%W\253\"\0299t\134\158\207\187^0\026a\031\220l\234\162\167;\138\214\186\215\165Z\020g3\250\230%\208d\253|u\159\206]\224\217\030\174s\218\192\006\141\198^\015.\220\197\201\197o\145j3\193\227&\148\143\158Aay-1\029\155\0252\173\194\137\025\158\029\182\130\227\016o\163\016;p\162\165/N\160n\212\180\190\165\022H\002-Qp\143\021\246\148|\146@\137\215\233G\2428\002\182\210\197`\157\220o\1503\220\028\235\167'\167\206\173\240\1276(q\242\245<,==\207\161\249Q\166\031#\192l\0170I\140B!r\0068\186\030\026kh\017)X;\143p~qe\211\201E\1931([\025R\005%\138}j\160\158 \162o>d\152r\005u\138\233\253g\156\214k\024\143\022\145`P\141\186\137\203\250*.D\162pZxLa\138+n$\001)k\132\135\024\022\250\200c\2276\180\176\207\026\146\161\203\0160\215\205\226\218\237\199`-\248\189j\015\210>\233\186\159\017\148\139\176\199Z(d$\011t\016szc\146\217\231gxT\005\218\175\215D\180D,R\169\147U\200\217n\154\020.\006,\rI\139\138\223\225\203\146\251\209\217y\135\189!\181\255\133\131\215\015\230\217\254\238\194\139y\020\246\228\221\223[r\188B\014z\185\138\183N\221\024\208-\167z4\193`A\202\236\179\166\004j\183\028\138\199CKt0\209\146\197\221\195 ;\165\155W)$\222.\017\144+\200\019\216\252\164S\140\218\137\023oh\144>u\254\129\131\\\253\142\200\029\223\023\218\247\179\005N\030O\157\201\181\177\137\237nh\007\"\005\130\137\212\b\209z\t\148\221\179\186\0157\242\227~oj\181}\2356|\164z\208\229\020}\239\166Co\030r\031\130D\193\bh\173\229\199z\251\189\197 Br\196\027\002\251\181/\016\127\255\235\177\144W\182\149\228\132\1659n\130\147#RR\003_Q\t\r\130\248\017O\145\226I\136\202U?07\r\027\170\137\0245\135\170\211\t\019A\216\157\243\220\149-W\153\139\140B~\143\129l\219\145\230\205\160i#\234\160\141\216\149\228\172h\203\134+H\022`.&w\192\238;\250\190\212H\018\146LE=8\195%b\205<\229\146\178#>F.BF\252}Q\213c\238\023#B\129\254\170Pu\128\223\236a\220\131\196\213]\229\238^T\000[[}\235\2062h6\189\199\201\181;xP\015\232\004\174*\207R\136\250\173H\1916\207*L\177\255\190h\227\229.Nr\248\029jX}\235\020\244\156d\178\200AkTN\180%\177Os\154f\211\179\"\250\234Me@\233,z\201\201$\029;\185\172\17159\211K\249\007\231\228\241\236\242\154\015g\215h\004\240\006/,\214\019\147\027+E\244\149Rp\004!\0188\215v\134\017\179]\254\027u\152H\195\142\224\200\255;5\137*\198?\181\016I\028\005N\167\253m,G\022\000\218\213\241\158\231\1674\223%\234}\219\n\221\197\217\236D\127D\250\163\19042\161\249\188Z\129\236\171\018\004T\139\209\186\204#\213\151\011\rmR\004,JdxM\2341\241\190\220Wu\129>\228\0298\153\148\031\137\131\145\020o,w\128\192\244\188\028k\202odO4\194\012\168\197\002o\130\200\186\149\r\172\180-6\006Nu!\138\188\196\166\179kK\210\136^\029e\026\175\136\184\214$\163\207'\143\215^\238\150j\140\226\145y&c\197l\142:Iq\189\144E\233\147\237\030\150\224\1475\180\203\238f\195\181\000y\b\1637\243\014+\177\230\219V\218o\136R\229\136\185\226NL\015u\203\190^+\186{\168\151\175\\\236\230\196B\001\137\217\185\243\250\217\191d\238\178PdHDA\254\198\226\175E\252Kt\209\194\235KC\174\253X\169\167\128L\222`\247\t\2318\201\142\203\212\145\020\r\224\174-\216)\184\025\250&\2386\178\216?\200b\254v\254-\248wi\1832(\201\r\133r\022\150!h\027V\193|V\143\017\195gu\201\177+k\187$H\136\210D$\021=D\154\148\183D\rT\210\245\007\195\232#\170x<)\147e\220&\007\194\210\247T\255\201\190\205!40\1926+3!p\228-\016N3RSIdv^]H^@\235\153S3/\131nw\175E\227i\229\019g\235PB\190X~}C '\182v\224\180\246\ro\189K5\189#\167z\233\011\175R*F\128\132\017.\197\017A\142\021,[\188\173\255\005\240\212/\165\n\130i\002A!\250b\240\140\030DX\184\155\158\156\006]\027\156\155\229]\"\226\202U\195A\228\227\207\233)\132y\239\147\129/o\021\133\150\252\179\194\252\237(AJ\166\162\226\219\028\020N\184\003\203M\158\239?(~PM\249\155\134\019\1306uC\255M\022\143\0003\r<\250\023\149\031\002vn\200%w\139\1799\221mJ\015\196es\255\253J\226\132W\141\199V\231\245s\230`^\b\177\003\031\158 \2378q\031D\168\254U\129eK7\004.\224*\030]Xja\149\007\226\208\158\205\195\164'\147\227x\145\166\135\243'\187\183\1734\221>\2117\247`D\249\241\215\199T\2235:\211Q\234\246\230\176Ki\166?\141u!\026\223\bv\153\234H'\145\214\171\239\0242\228c\247A\\\247U\191\218(\173\200\163\162\247P\183\223\131F\223C=\011\131\1976E\242,X\030\025\253\025\253\226\171\208\232kd\204d$OA\207\219\155\141J\228S\020[\178\131q\204\237T\024\129\006cU>\021\251\149a\205\170\167G\166\214\205\1720=\127tjX|~u$?I.\253\133T:ymB\229\253\\\011\207\171\238vU\189\016\131w\246g\0195\149\225\151\027\214\005\029\154\213\197\180\239\191>\255\245HW\185b\019R\241\\\023\r\158\183k\016\232\246\233H\030\003\202\143\151\227!'\138\007\230\127\031m\252\181`\000\127^\128" let d_7762c4a1493905d90f86ab1e0bd3ffb6 = "O>\223\240y\195g\241\148lD\166\248X\246\152N\230\215L\255\024n\127'\219 \167\226\029\236b\231\214\163_V\176\231\003\197\019{.\167-h\254A\027\198Tv\129,\246U,:\209\244\229q\221\152\026Q\150^]h.<\1455\250\143\252c\024{\251\237\199}\130\228\171\138R\027?j\245\221W\151\139l\140yg\246\179\222xwEk;3\194\183\149*\182\164\166\220\177\b\175\006\147\196M\163--\195\206\219\155k\003B[\0188\204\249\022\tG;\157`\175\179\237+Fg\137~R\012\183\180\140\138\155\147\130xu\209K\137\220VE\169\141fF[\219\171\171}\177\163\129\174`\252\254\011L\136\182\149*\186\159\221*\127h_\218\240,V\254\227\014\237\134#\012\201\151\180\240i\222\006\173\199\135\162\185x\141\202ey\167H\198\241\151\167\172HU\\\214\196\007y\162S\185J\189\218w@\029\201lq\181\139\194\140\139y\240\016\223\255\235\024\170\191\151\005n\177\n\197\003Q\179i\233\254\138\n\0111gHd6\153\031/Y\135\243\157~\184\194%\217o\196\175\222Ue-\030\157\182$1\174s\175\173\176\184\1320\012HX_6QR\\h\219\219\025\151\184\196?Rl\005\211\245\157K\174\157\195\001\197\t\133\161\145M\185\170\184\247^\221\253\166\138\171\201\146&\131\226\021\016<\188>\164\174r\246\187s$\165\191\t$\228\151\000\000K\007G\031\222\223\197\127\207\253\127\138\023G6\003\128\000\bc\230l\134\208\025o\011\181\154\028R\138[\nu9\254\006\011k\141u\244w\132\207\194\001\189\162&t@ap\018\158E\020\212)\195\n\232b\n\026\018\134\201D+\t\016\224\191\243\2339)D$\014C\159\178>\0203w\004\n\031\1419(\138\190\132\222\160\014vfm'\190mK\238\2026(\\\158\180/\139*<+-\229~(<\140E\240J\172.n\131\162\162\137N\165\180\194&\207\003\175\156\188c\235\018\128\021\129\176\149\129\016\018\144bDN\149eQ\004\165SQ\002X\1847JB\185'\163\020d\004\162(\015\028\129\2298\173\142\138\137y\024~/\011y\209\187\224\212\171\207\168\144.\243-\016\198\209\242\203B\1790\169\149b\217\018\152\167\205\028\151\185\006L\208C1m\215\"s\225\135\133\001\167\138]\207H\232!`\150'E\168\137\210\139.v\243\nL\179n\163j\152\180\164\182\155c\154.\139\205\172\025\180\216\160`h\022R\174\247\015\012\239#ds\174/\026#\191J\t\014\235\148l~\024`L\167\012Q\225\236\213 \140\005S\b\194\202\230\241&\016\142`A\176\217\147<\135\192\183\179\136Q\174,\234/\203\192\139x+\165\134\183\148Z7o\177\005\022\"Fx\153\162\127b\149U\165\221<7\023\129Ox7;#\128a\210\004\187\226#G0\007h\197\016l\004p\021M\230\212\243\234\222W\021\139\189\166\019[\232>9\128\128iD\230ax\151P\147\003\"\136\244\211'\003\018\144A\006\226 \023\025\231\162X\149Z\1566\2323\217\233\225d-\146\024\246\209\021\rc\132{\251\159q\188\134\132]}\229\242\t\030\231\168\161\215\243\138]\147l\017VBX'-\232\027\144\163V\006\248\235\167\028\225Bc\020\237 \217\183?G\131r\181\166}\002\132\188\147\029`\2092}0\246\215C\020\136@\206\170\140\205l\158\128\128\183\225\029$\145B\030\210\200G\0012p\b\133p\016\206b\020\138\224\b\138\145E\tJQ\134r\140\198\024T\160\018c1\014\2271\001\0191\t\1471\005S\249\131=]&\147\221\180\255p\174\201\194\132\187\130\129\185\255\193gQQ\252\208\234v\1907\020\234\029\030\236cX\241\215\250\203\188\227\011\190\182D\183Eu\201p\213b6\237W\237-\185z\190\238\212]\210\221\222i\210\205\186E\203\237\158k*\210\139u\187t\180u\153\186\023\186\139\180\226\238v\147I7\235\022=oG\005P\243\014O7\183\143#n\235\136\224\219\197\171_\198\129\239\024\007\208\177\129\133\175\190\015\000\1628\1956H\000\215C\026nlj\143\2166\182\203) \180s\239\021\192:\005\174c\226x&\143\221/X\tH\197g\249[4\148\176\230q`u\247\226\228#\212\214q\194J?\241\0024\184V\000\000" @@ -208,6 +208,8 @@ module Internal = struct let d_8039ad213e12b6c85fb298f2b34de8c9 = "E\249\235%\197\246\237\235\235h4\242\133\190\151G\212\027\146\239\173\233\162?\194\015A\243\015\254\165Ls\201S\175wfs\186\167\1679<.\137\212\201\138\234\138q\015\213\160\134\171\169\182k|\233\200\186\196g\t \154\2179\218\012\212\142^y`\218\185\191\154p\150\208\217\132\201\153\223\001\238\219\145\196G\166\248\\V6\151=o\165\130*\214+\133m\2497\206=\218\017\234\0118\002=\227=\1982\026\171\237\253R\234\006dY\173\147v\156\129\174?p\026\211g\236G\015\003^\149\226\226\230\001\236\160,\214q\026\186\030\144\229\250\249\1971i\253\160\002\161\172'\181\212\174\226!\182\rskf\129\012\248\185\148kW\242D_Mh\161\2119\187\209\224\181\216\133\231]\175\185\197\132k~\173\219\161\166\147\252\149\018\185\202m_\195\196\192\173P0\252\024\021Q\200\164\160\213x\017\139w\205eG\210\193Q\001\234c\162i\196\172\157\255\155\224\246\166U\\aW]\202\155\158\149\220\222\210\253\024\2077\243\193\232\031\167;\242\211\132\241K\023\021\184\146\172\195/}\236\251\200-f<\170\209\184\237\026\250\rb\141\160\232\002|\2321\202P*\130\136\201~n\250\r?>\250\243\233\250@E\149\157\233`&z\241i~\250\143w\127\218\nH\153\031\250{\243\149\229\189\169\190C\017\011{\127[\163\157\171\228G9\254\160\193\238\183\232Y\219z\194\001\162'\159\141C\003,rh\027\r\203T\208\197\139O\175\155\156:1\168\187Q\235R\141Lh\131\228\bt6\191\021\213\157\195\029\189\151\019\189\210\221\219\241\211w\135vs\189\159\"\191\212fK\216\235+4\244K\135\151\007\226\168*2\223P\225`v\014\250\nT\235\b\180\128\212\024\140\140H\021\229\184&\140LYKaY\152*u\173\139\222\132P\017\200\020[\136e\194\132\235\209y\188\202o\1839\021\252S\216Z\245$\ns\133(>>\189\187\233\197\004\231\227\209\201Y\201\214Z\031\224\227\236\233,\229\167u+\1635\014\147\190u\130\239\209\158^R\200Y4\1662u\153O\166\026\162\020\0277\000\231\139\170\142+\220\012\240\154\185\207\133g\203\165\172\138\b\235M\158i\173'\194\t!\027\165\238n\149\141\153\219\255\178\253\237`\0232\007yf\215\169$\180\221m\178\003\248\239\030\167gw0\232\217\181\199\233\243\133p\229\174H\229\238i\212\230v\169\164\179\220 \137\165\211h4mRi\204P.\237||\174k\140\188\216\223\148?\179Q\227\252\022}^K\217\1579\163\221\031\241\139\200\030\011\149\025:\245[\149F3`6k\250\215\169\205\166\001\181\182\031\190\rj\007\0064&\254\251\030\006\173Z,\161\249\154\136\248\027\185\237\026\151l\181\235\198@=\168oy\144\133z\200\132\030\178\231\209\231.\211\139\174M\156\246$\239\1664\2486\011\162\249 @\217[7\208`\006\t\r\\\235[\136\195\248E\158V\203\188\000Z\191\188\228ru\237\207\238Klh\229wCL\244\234\180\249\178\2191\023!Nf\017\027\238WYB\191\129\182\179\209\162\225\029\1471W\194_G\252\148\163\240\203\142]\1957\205I\253)\238\250\215\006\238Pzv\155\145\211^\027;n\t\158\022g\247\240\157\147\019\162z\164-\218\228\183\168\211\179\168\201\206\221zb\031\r\170\139B\246\209[j\n\158\137\230\154\181\1690v\139:\025QM\026\204.~\149\156t\247i\189\139V\137\237/K\251_\1745:9\000\176\206\250C\195\007\159\255\247D\223l\212? \224\164i\005\204e\160.\213\251\193\234V]\165k#\130=o\187B/\228x\223\243\246~V\023\191\232\141\135\186\243\228\154\147\242\198\147\242\225\147\243\168\238\127\150t\199\151\247B.[\234\146\141i\168N\199\203\025S\162\1398\tc\168.YK\131zP\175\210\138\158!+\168:\130Z4mXehE\t\193Lm\190-\229(\133 \152a\149C+P.\005\185h\187C\222\185\163\\\249\172i\027\027\228\213\158\026r\247\190!\223+i\164jKw\174~bH\157\187\165\228t\169\196LC\134z\138RTJ-e\027)dH(h\171\201^\169\011\132\198\rq\227\031\011gW=\191h\028['h\160\179\218B\253\195\249\237\007&O}}&\176\253l\181\240N\159Y-\238\133-\152\176=\177\137\245\147N\n\185\182\163\2313\205\181\185\001\214Z'\161}9^u\243\244{\241v\239XmV9\141\148\012\141l\239\196\162\242\139\140C\250\030w&\159\186~3\005v97\171-P\246a\229z\014\177\210\230\200?\161\181\242Y\023\239\142/\230lC\159\243\133\024\228\239U<\237\171\237P\214z\021HW\133E\151n\127\006t\173+\131e\018ih\255\019\141\2162\241O\166\136\150\219\239i\235\194\240\006\213b]l\024.~\225+y\210\136QG(\244\187\139\026\2121\164\152\206\155\145d\169\b\230\254\199\137\178\154\200\201z qZ\211\222\202\233\220\031M\196\146\1669\143\218 mF\211\212\ni\211\158\198V\2347\1553\167\254\203\024_:;$q\214\230\213\150*\156\1753\174\247k\024\186!?\231y\215)]I\248\207\174U4\223d\248\186\1819+\003\215t%\243\188\157\t\253\220\224\249#\175{a\175\190\220\174\151J\185\184\132\203\166\017\232\203]\178\142\1434\193\216[\238\242\234\157h\180\005\026dA\014R\025\183d\173\"\136\1531\158\211(\007\178\2008|1\002\190\b\r\214\157\209\011\210\192\210\243\138Q\148\004\199\028\128\131s\202)Vl\129\253%\235$\136\160\251G\176\022\0169 \201\198\197j.+\027\216\223\027g\159qK\160\154N\221\173\160\233\204e<\167\209\r8 {\200n\226\164M\212\162\169~\019\182\164\232\030w7\n\179\030\195\197$\0068\203\250\228aO\253\150\023\187M\217\253-n\1270\198R\172\145Z%\024ln|I\0021\212A\128\152\227n-f{\026\236\238\145gb\007\ts\018DA\028):\159f\229\150\155\156U\162;\219\004fl\012=\237\135\164F\150\178\209q\020\209:\004\168n-i\231\150\136\204@\213/\143fEA\190\158\229\004Q2\252l)\145Y\\\224nM\192l\214E\228L\222\245A\243D\129n\130\161\234\007r\rmeF\205y\181\245\175\159i\223\255\227\017G\227\168\196j_\128\228\020;\167\181$\184\212\022\209x\"Z\007 \007\2170,\000\217\227K6M95\192*V\207\197\219\156!\191p\177\1287\t\2383\237\186W\029[\156l)\027@\029,\171M\181\134|M\211\190\nU?\028\030pZ\003\217:D\131\198\220\019w\018Mk\185\219\016\215a\161}b\201\0149N\200\176\134\\I\159\128\015\224\002\155\134\011\015\179h\020\001\197'g\215\204\014\179\203Z\138\138G\185\192Rs\141\161)R| \020\223\244!\138\166\n\231H'\150\134\131\154\176\208^\128\211\017\190Q\134%:>1\128\193\250.'\244\201\136\237\233\235^\016\152\221\219\241\031\224o\253S\137\226\233\174!\148\018\194\153\181\144_2n\173\165\247yb:8\151\141\011\250\218,V\128W^\229\196\172\002\132\185S\018\177\200\015P\146F\238\131\142@\206\028\253\156\131\223\244!6@ \250\178\203I}\016~\251\2211&\250:\204nL\028\229\002\1615\230\179\t\172;\169\165\017 \140\139\193\b\154[e\248\186\127\021\162\021\219\231\140^\011\t\162c\167\130%6$\164\148z\001M\135\194hx\004}\138W#\134\237r:\012\181\150\237\209v\233\246\181\150N\174n\176\003\189s\221w,Q\133\181\027\191\238I(\150\027\242\230\026K\171\132\217x1\199\216\201Ka\155]\171A\178h`\238\138\221@\1338\179\"M\206\128\2130\150\205x\021\2528\228\249\176\014K\222\231\221\193\222\202\147\250\239\158\190\255\017F\000\005.\178J9\251s\223\029R:\228A\163\171)[\220\023\139\134?o\150\026R\154ML5 \255j\006\004\144\160b\153>%Q\179?*\165\161\2319\239\139T\213\225\162\016\154\025\227;\018T9\170\1424\176\006)/(\029\189\152\151\026\193\\\182\152\216S|\210\031\211\004\005\151\182e\142\1504o\236\007.\138q\206\217{E\233\019\199\128\153\154\196ab\030\236\246\020\215\238 i\213\193\187^\175\143\016t\154\223\004Y\222\129\181\227\20532T`\165\127\190\181\006='\154\213\140\237\241\188\231aP\230Q\211\209<\002\217\127\221\227\174\149:\209\253\206\005\160C\196\223m\241\236C\220f\150\003\243\003<\196}\165\179\246\178#w,\181\175\138@9\186\224&\2390\208j\180\195\024'\253\171?y/\"h\211\139\146\222\252X\011\012\132sA\1325\196\162l\139\227\017KB\184E\135\147[\016X\225-\207\022#\163\211q\224\\&1,\209\228\196{[8.PF\226Z\000M\173\"\133\016\025\017\188\154\2354\237\209\153\201\162_\001\1801\019\171\\\191\212\015\128M\243\005\210\193\234\168\002\172\224\174\232\210\153\182o\1554]\017\238\218l\228\251\254*\207\218\229\140\131^\018\130\233F\202V4\150\234\131\029\031\019W\026\175LH\233\239\160\215\162\152e\172Kg\193\205\142\202\246B\199\191\136\014\203\218\171[\195\218\150\136CDUv:\1898\197E\021\215\200\164\227\"\178\147\146\027\223:\192 \207\253k\234R\235\225\005e+VX\024\171=\012\233X\254\225\171y+Dl\146\153\166\016\025\025?\143\168Pm\201\137\002\019\024/B[-\217\224;\222\028\221a\007\2154\215\136\019\007\221\213%\1541}\176~Q}W\138\251\152\129\187R\241\152\197\183\026\178\156N\152\140q=\190\228l\247\004\2386`k,\244\210\021\185\"\208\230\153\128\131.\130T\235\216v\162\240\1297\232\171\200\185\153\026\154\154\138\231\181/\144\2356\028\158\236\200\024\000\021\172\152\004\157Nw\170y\243\229rA|\241\254\203\223\175_.\175.\159\208C\030\156\000`\1294\028g\020%\140[\208*\002\159\135\005\2201\236\200\017Cl\214\172\240\181\012\209\195\152'\235\023O\244\182\228\029x\176\192)\022-8R7\183\223m\158qo\200H\162\129\195\178\251R\169\025p\199\129\233\016\129\226\156\1362r\208A\135RR,\185\192\254\192:\"yt$\192R\222\185\169\228t\156\149\155\217m\206i\016C\184\206!\183U\189o$\220)\190\160E3\007k\007\025\180\209g.\255\132\n\230\201\000\187yz\161\225B\004\219\210\255!\149c\179\1507\139wa\127,;\222\144W\1454\254O\bv\203\1626O\016\171&\212K\021\177\160\221\197\016\214\022\139\216\207^\186\219\245k\191x7\249}Nj\136s\t^\200\2052\240\152\135\249?\172\002&\211\n\206\148\169\1282WO^\003j\1816#\239\187\210\241\017o\168o\246\224\164y\194lN\251YF\164\203\186\180QV\204=\236\215\253\177\171u\183r\000s1j\206`*\t[\005aE\172\007m\183\145e.\173\028\176Zo>O}j\201\229\213\004#\b\187J\197\006\229\177\021,(\224\230Y\195\152\188\210Z/\187&\031\201n\154\188\176\244\247|\196\207dj\195CBtu$\250~\205\234N\1378\219\150\174o\209\154\213\t|\215 a.anchor {\n margin-left: -2.3em;\n padding-right: 0.9em;\n}\n\n.xref-unresolved {\n color: #2C94BD;\n}\n.xref-unresolved:hover {\n box-shadow: 0 1px 0 0 var(--xref-shadow);\n}\n\n/* Source links float inside preformated text or headings. */\na.source_link {\n float: right;\n color: var(--source-color);\n font-family: \"Fira Sans\", Helvetica, Arial, sans-serif;\n font-size: initial;\n}\n\n/* Section and document divisions.\n Until at least 4.03 many of the modules of the stdlib start at .h7,\n we restart the sequence there like h2 */\n\nh1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10 {\n font-family: \"Fira Sans\", Helvetica, Arial, sans-serif;\n font-weight: 400;\n padding-top: 0.1em;\n line-height: 1.2;\n overflow-wrap: break-word;\n}\n\nh1 {\n font-weight: 500;\n font-size: 2.441em;\n}\n\nh1 {\n font-weight: 500;\n font-size: 1.953em;\n box-shadow: 0 1px 0 0 var(--header-shadow);\n}\n\nh2 {\n font-size: 1.563em;\n}\n\nh3 {\n font-size: 1.25em;\n}\n\nsmall, .font_small {\n font-size: 0.8em;\n}\n\nh1 code, h1 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh2 code, h2 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh3 code, h3 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh3 code, h3 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh4 {\n font-size: 1.12em;\n}\n\n/* Comment delimiters, hidden but accessible to screen readers and \n selected for copy/pasting */\n\n/* Taken from bootstrap */\n/* See also https://stackoverflow.com/a/27769435/4220738 */\n.comment-delim {\n position: absolute;\n width: 1px;\n height: 1px;\n padding: 0;\n margin: -1px;\n overflow: hidden;\n clip: rect(0, 0, 0, 0);\n white-space: nowrap;\n border: 0;\n}\n\n/* Preformatted and code */\n\ntt, code, pre {\n font-family: \"Fira Mono\", courier;\n font-weight: 400;\n}\n\n.odoc pre {\n padding: 0.1em;\n border: 1px solid var(--pre-border-color);\n border-radius: 5px;\n overflow-x: auto;\n}\n\n.odoc p code,\n.odoc li code {\n background-color: var(--li-code-background);\n color: var(--li-code-color);\n border-radius: 3px;\n padding: 0 0.3ex;\n}\n\np a > code, li a > code {\n color: var(--link-color);\n}\n\n.odoc code {\n white-space: pre-wrap;\n}\n\n/* Code blocks (e.g. Examples) */\n\n.odoc pre code {\n font-size: 0.893rem;\n}\n\n/* Code lexemes */\n\n.keyword {\n font-weight: 500;\n}\n\n.arrow { white-space: nowrap }\n\n/* Module member specification */\n\n.spec {\n background-color: var(--spec-summary-background);\n border-radius: 3px;\n border-left: 4px solid var(--spec-summary-border-color);\n border-right: 5px solid transparent;\n padding: 0.35em 0.5em;\n}\n\n.spec .label, .spec .optlabel {\n color: var(--spec-label-color);\n}\n\nli:not(:last-child) > .def-doc {\n margin-bottom: 15px;\n}\n\n/* Spacing between items */\ndiv.odoc-spec,.odoc-include {\n margin-bottom: 2em;\n}\n\n.spec.type .variant p, .spec.type .record p {\n margin: 5px;\n}\n\n.spec.type .variant, .spec.type .record {\n margin-left: 2ch;\n list-style: none;\n display: flex;\n flex-wrap: wrap;\n row-gap: 4px;\n}\n\n.spec.type .record > code, .spec.type .variant > code {\n min-width: 40%;\n}\n\n.spec.type > ol {\n margin-top: 0;\n margin-bottom: 0;\n}\n\n.spec.type .record > .def-doc, .spec.type .variant > .def-doc {\n min-width:50%;\n padding: 0.25em 0.5em;\n margin-left: 10%;\n border-radius: 3px;\n flex-grow:1;\n background: var(-" + let d_80a0027403c5ad56c7da4589713b2348 = "\\]\\\\(\",end:\"\\\\)\",\nexcludeBegin:!0,excludeEnd:!0},{className:\"symbol\",relevance:0,begin:\"\\\\]\\\\[\",\nend:\"\\\\]\",excludeBegin:!0,excludeEnd:!0}]},i={className:\"strong\",contains:[],\nvariants:[{begin:/_{2}(?!\\s)/,end:/_{2}/},{begin:/\\*{2}(?!\\s)/,end:/\\*{2}/}]\n},s={className:\"emphasis\",contains:[],variants:[{begin:/\\*(?![*\\s])/,end:/\\*/},{\nbegin:/_(?![_\\s])/,end:/_/,relevance:0}]},c=e.inherit(i,{contains:[]\n}),t=e.inherit(s,{contains:[]});i.contains.push(t),s.contains.push(c)\n;let g=[n,a];return[i,s,c,t].forEach((e=>{e.contains=e.contains.concat(g)\n})),g=g.concat(i,s),{name:\"Markdown\",aliases:[\"md\",\"mkdown\",\"mkd\"],contains:[{\nclassName:\"section\",variants:[{begin:\"^#{1,6}\",end:\"$\",contains:g},{\nbegin:\"(?=^.+?\\\\n[=-]{2,}$)\",contains:[{begin:\"^[=-]*$\"},{begin:\"^\",end:\"\\\\n\",\ncontains:g}]}]},n,{className:\"bullet\",begin:\"^[ \\t]*([*+-]|(\\\\d+\\\\.))(?=\\\\s+)\",\nend:\"\\\\s+\",excludeEnd:!0},i,s,{className:\"quote\",begin:\"^>\\\\s+\",contains:g,\nend:\"$\"},{className:\"code\",variants:[{begin:\"(`{3,})[^`](.|\\\\n)*?\\\\1`*[ ]*\"},{\nbegin:\"(~{3,})[^~](.|\\\\n)*?\\\\1~*[ ]*\"},{begin:\"```\",end:\"```+[ ]*$\"},{\nbegin:\"~~~\",end:\"~~~+[ ]*$\"},{begin:\"`.+?`\"},{begin:\"(?=^( {4}|\\\\t))\",\ncontains:[{begin:\"^( {4}|\\\\t)\",end:\"(\\\\n)$\"}],relevance:0}]},{\nbegin:\"^[-\\\\*]{3,}\",end:\"$\"},a,{begin:/^\\[[^\\n]+\\]:/,returnBegin:!0,contains:[{\nclassName:\"symbol\",begin:/\\[/,end:/\\]/,excludeBegin:!0,excludeEnd:!0},{\nclassName:\"link\",begin:/:\\s*/,end:/$/,excludeBegin:!0}]}]}}})()\n;hljs.registerLanguage(\"markdown\",e)})();/*! `c` grammar compiled for Highlight.js 11.7.0 */\n(()=>{var e=(()=>{\"use strict\";return e=>{const n=e.regex,t=e.COMMENT(\"//\",\"$\",{\ncontains:[{begin:/\\\\\\n/}]\n}),s=\"[a-zA-Z_]\\\\w*::\",a=\"(decltype\\\\(auto\\\\)|\"+n.optional(s)+\"[a-zA-Z_]\\\\w*\"+n.optional(\"<[^<>]+>\")+\")\",r={\nclassName:\"type\",variants:[{begin:\"\\\\b[a-z\\\\d_]*_t\\\\b\"},{\nmatch:/\\batomic_[a-z]{3,6}\\b/}]},i={className:\"string\",variants:[{\nbegin:'(u8?|U|L)?\"',end:'\"',illegal:\"\\\\n\",contains:[e.BACKSLASH_ESCAPE]},{\nbegin:\"(u8?|U|L)?'(\\\\\\\\(x[0-9A-Fa-f]{2}|u[0-9A-Fa-f]{4,8}|[0-7]{3}|\\\\S)|.)\",\nend:\"'\",illegal:\".\"},e.END_SAME_AS_BEGIN({\nbegin:/(?:u8?|U|L)?R\"([^()\\\\ ]{0,16})\\(/,end:/\\)([^()\\\\ ]{0,16})\"/})]},l={\nclassName:\"number\",variants:[{begin:\"\\\\b(0b[01']+)\"},{\nbegin:\"(-?)\\\\b([\\\\d']+(\\\\.[\\\\d']*)?|\\\\.[\\\\d']+)((ll|LL|l|L)(u|U)?|(u|U)(ll|LL|l|L)?|f|F|b|B)\"\n},{\nbegin:\"(-?)(\\\\b0[xX][a-fA-F0-9']+|(\\\\b[\\\\d']+(\\\\.[\\\\d']*)?|\\\\.[\\\\d']+)([eE][-+]?[\\\\d']+)?)\"\n}],relevance:0},o={className:\"meta\",begin:/#\\s*[a-z]+\\b/,end:/$/,keywords:{\nkeyword:\"if else elif endif define undef warning error line pragma _Pragma ifdef ifndef include\"\n},contains:[{begin:/\\\\\\n/,relevance:0},e.inherit(i,{className:\"string\"}),{\nclassName:\"string\",begin:/<.*?>/},t,e.C_BLOCK_COMMENT_MODE]},c={\nclassName:\"title\",begin:n.optional(s)+e.IDENT_RE,relevance:0\n},d=n.optional(s)+e.IDENT_RE+\"\\\\s*\\\\(\",u={\nkeyword:[\"asm\",\"auto\",\"break\",\"case\",\"continue\",\"default\",\"do\",\"else\",\"enum\",\"extern\",\"for\",\"fortran\",\"goto\",\"if\",\"inline\",\"register\",\"restrict\",\"return\",\"sizeof\",\"struct\",\"switch\",\"typedef\",\"union\",\"volatile\",\"while\",\"_Alignas\",\"_Alignof\",\"_Atomic\",\"_Generic\",\"_Noreturn\",\"_Static_assert\",\"_Thread_local\",\"alignas\",\"alignof\",\"noreturn\",\"static_assert\",\"thread_local\",\"_Pragma\"],\ntype:[\"float\",\"double\",\"signed\",\"unsigned\",\"int\",\"short\",\"long\",\"char\",\"void\",\"_Bool\",\"_Complex\",\"_Imaginary\",\"_Decimal32\",\"_Decimal64\",\"_Decimal128\",\"const\",\"static\",\"complex\",\"bool\",\"imaginary\"],\nliteral:\"true false NULL\",\nbuilt_in:\"std string wstring cin cout cerr clog stdin stdout stderr stringstream istringstream ostringstream auto_ptr deque list queue stack vector map set pair bitset multiset multimap unordered_set unordered_map unordered_multiset unordered_multimap priority_queue make_pair array shared_ptr abort terminate abs acos asin atan2 atan calloc ceil cosh cos exit exp fabs floor fmod fprintf fputs free frexp fscanf future isalnum isalpha iscntrl isdigit isgraph islower isprint ispunct isspace isupper isxdigit tolower toupper labs ldexp log10 log malloc realloc memchr memcmp memcpy memset modf pow printf putchar puts scanf sinh sin snprintf sprintf sqrt sscanf strcat strchr strcmp strcpy strcsp" let d_80ae3e22d162129b593049c0dc7f2407 = ".69444,.09483,0,.5],729:[0,.67937,.07774,0,.27778],730:[0,.69444,0,0,.73752],732:[0,.67659,.08826,0,.5],733:[0,.69444,.09205,0,.5],915:[0,.69444,.13372,0,.54167],916:[0,.69444,0,0,.83334],920:[0,.69444,.07555,0,.77778],923:[0,.69444,0,0,.61111],926:[0,.69444,.12816,0,.66667],928:[0,.69444,.08094,0,.70834],931:[0,.69444,.11983,0,.72222],933:[0,.69444,.09031,0,.77778],934:[0,.69444,.04603,0,.72222],936:[0,.69444,.09031,0,.77778],937:[0,.69444,.08293,0,.72222],8211:[0,.44444,.08616,0,.5],8212:[0,.44444,.08616,0,1],8216:[0,.69444,.07816,0,.27778],8217:[0,.69444,.07816,0,.27778],8220:[0,.69444,.14205,0,.5],8221:[0,.69444,.00316,0,.5]},\"SansSerif-Regular\":{32:[0,0,0,0,.25],33:[0,.69444,0,0,.31945],34:[0,.69444,0,0,.5],35:[.19444,.69444,0,0,.83334],36:[.05556,.75,0,0,.5],37:[.05556,.75,0,0,.83334],38:[0,.69444,0,0,.75834],39:[0,.69444,0,0,.27778],40:[.25,.75,0,0,.38889],41:[.25,.75,0,0,.38889],42:[0,.75,0,0,.5],43:[.08333,.58333,0,0,.77778],44:[.125,.08333,0,0,.27778],45:[0,.44444,0,0,.33333],46:[0,.08333,0,0,.27778],47:[.25,.75,0,0,.5],48:[0,.65556,0,0,.5],49:[0,.65556,0,0,.5],50:[0,.65556,0,0,.5],51:[0,.65556,0,0,.5],52:[0,.65556,0,0,.5],53:[0,.65556,0,0,.5],54:[0,.65556,0,0,.5],55:[0,.65556,0,0,.5],56:[0,.65556,0,0,.5],57:[0,.65556,0,0,.5],58:[0,.44444,0,0,.27778],59:[.125,.44444,0,0,.27778],61:[-.13,.37,0,0,.77778],63:[0,.69444,0,0,.47222],64:[0,.69444,0,0,.66667],65:[0,.69444,0,0,.66667],66:[0,.69444,0,0,.66667],67:[0,.69444,0,0,.63889],68:[0,.69444,0,0,.72223],69:[0,.69444,0,0,.59722],70:[0,.69444,0,0,.56945],71:[0,.69444,0,0,.66667],72:[0,.69444,0,0,.70834],73:[0,.69444,0,0,.27778],74:[0,.69444,0,0,.47222],75:[0,.69444,0,0,.69445],76:[0,.69444,0,0,.54167],77:[0,.69444,0,0,.875],78:[0,.69444,0,0,.70834],79:[0,.69444,0,0,.73611],80:[0,.69444,0,0,.63889],81:[.125,.69444,0,0,.73611],82:[0,.69444,0,0,.64584],83:[0,.69444,0,0,.55556],84:[0,.69444,0,0,.68056],85:[0,.69444,0,0,.6875],86:[0,.69444,.01389,0,.66667],87:[0,.69444,.01389,0,.94445],88:[0,.69444,0,0,.66667],89:[0,.69444,.025,0,.66667],90:[0,.69444,0,0,.61111],91:[.25,.75,0,0,.28889],93:[.25,.75,0,0,.28889],94:[0,.69444,0,0,.5],95:[.35,.09444,.02778,0,.5],97:[0,.44444,0,0,.48056],98:[0,.69444,0,0,.51667],99:[0,.44444,0,0,.44445],100:[0,.69444,0,0,.51667],101:[0,.44444,0,0,.44445],102:[0,.69444,.06944,0,.30556],103:[.19444,.44444,.01389,0,.5],104:[0,.69444,0,0,.51667],105:[0,.67937,0,0,.23889],106:[.19444,.67937,0,0,.26667],107:[0,.69444,0,0,.48889],108:[0,.69444,0,0,.23889],109:[0,.44444,0,0,.79445],110:[0,.44444,0,0,.51667],111:[0,.44444,0,0,.5],112:[.19444,.44444,0,0,.51667],113:[.19444,.44444,0,0,.51667],114:[0,.44444,.01389,0,.34167],115:[0,.44444,0,0,.38333],116:[0,.57143,0,0,.36111],117:[0,.44444,0,0,.51667],118:[0,.44444,.01389,0,.46111],119:[0,.44444,.01389,0,.68334],120:[0,.44444,0,0,.46111],121:[.19444,.44444,.01389,0,.46111],122:[0,.44444,0,0,.43472],126:[.35,.32659,0,0,.5],160:[0,0,0,0,.25],168:[0,.67937,0,0,.5],176:[0,.69444,0,0,.66667],184:[.17014,0,0,0,.44445],305:[0,.44444,0,0,.23889],567:[.19444,.44444,0,0,.26667],710:[0,.69444,0,0,.5],711:[0,.63194,0,0,.5],713:[0,.60889,0,0,.5],714:[0,.69444,0,0,.5],715:[0,.69444,0,0,.5],728:[0,.69444,0,0,.5],729:[0,.67937,0,0,.27778],730:[0,.69444,0,0,.66667],732:[0,.67659,0,0,.5],733:[0,.69444,0,0,.5],915:[0,.69444,0,0,.54167],916:[0,.69444,0,0,.83334],920:[0,.69444,0,0,.77778],923:[0,.69444,0,0,.61111],926:[0,.69444,0,0,.66667],928:[0,.69444,0,0,.70834],931:[0,.69444,0,0,.72222],933:[0,.69444,0,0,.77778],934:[0,.69444,0,0,.72222],936:[0,.69444,0,0,.77778],937:[0,.69444,0,0,.72222],8211:[0,.44444,.02778,0,.5],8212:[0,.44444,.02778,0,1],8216:[0,.69444,0,0,.27778],8217:[0,.69444,0,0,.27778],8220:[0,.69444,0,0,.5],8221:[0,.69444,0,0,.5]},\"Script-Regular\":{32:[0,0,0,0,.25],65:[0,.7,.22925,0,.80253],66:[0,.7,.04087,0,.90757],67:[0,.7,.1689,0,.66619],68:[0,.7,.09371,0,.77443],69:[0,.7,.18583,0,.56162],70:[0,.7,.13634,0,.89544],71:[0,.7,.17322,0,.60961],72:[0,.7,.29694,0,.96919],73:[0,.7,.19189,0,.80907],74:[.27778,.7,.19189,0,1.05159],75:[0,.7,.31259,0,.91364],76:[0,.7,.19189,0,.87373],77:[0,.7,.15981,0,1.08031],78:[0,.7,." @@ -284,6 +286,8 @@ module Internal = struct let d_a6e92521674c97f4d1bd649490d8a987 = "00v\"+(40+e)+\"H742z\"}(t,M,r)}return n}(e,n,r),o=new J(e,i),s=new K([o],{width:\"400em\",height:V(t),viewBox:\"0 0 400000 \"+r,preserveAspectRatio:\"xMinYMin slice\"});return Ke.makeSvgSpan([\"hide-tail\"],[s],a)},gr=[\"(\",\"\\\\lparen\",\")\",\"\\\\rparen\",\"[\",\"\\\\lbrack\",\"]\",\"\\\\rbrack\",\"\\\\{\",\"\\\\lbrace\",\"\\\\}\",\"\\\\rbrace\",\"\\\\lfloor\",\"\\\\rfloor\",\"\\u230a\",\"\\u230b\",\"\\\\lceil\",\"\\\\rceil\",\"\\u2308\",\"\\u2309\",\"\\\\surd\"],vr=[\"\\\\uparrow\",\"\\\\downarrow\",\"\\\\updownarrow\",\"\\\\Uparrow\",\"\\\\Downarrow\",\"\\\\Updownarrow\",\"|\",\"\\\\|\",\"\\\\vert\",\"\\\\Vert\",\"\\\\lvert\",\"\\\\rvert\",\"\\\\lVert\",\"\\\\rVert\",\"\\\\lgroup\",\"\\\\rgroup\",\"\\u27ee\",\"\\u27ef\",\"\\\\lmoustache\",\"\\\\rmoustache\",\"\\u23b0\",\"\\u23b1\"],br=[\"<\",\">\",\"\\\\langle\",\"\\\\rangle\",\"/\",\"\\\\backslash\",\"\\\\lt\",\"\\\\gt\"],yr=[0,1.2,1.8,2.4,3],xr=[{type:\"small\",style:x.SCRIPTSCRIPT},{type:\"small\",style:x.SCRIPT},{type:\"small\",style:x.TEXT},{type:\"large\",size:1},{type:\"large\",size:2},{type:\"large\",size:3},{type:\"large\",size:4}],wr=[{type:\"small\",style:x.SCRIPTSCRIPT},{type:\"small\",style:x.SCRIPT},{type:\"small\",style:x.TEXT},{type:\"stack\"}],kr=[{type:\"small\",style:x.SCRIPTSCRIPT},{type:\"small\",style:x.SCRIPT},{type:\"small\",style:x.TEXT},{type:\"large\",size:1},{type:\"large\",size:2},{type:\"large\",size:3},{type:\"large\",size:4},{type:\"stack\"}],Sr=function(e){if(\"small\"===e.type)return\"Main-Regular\";if(\"large\"===e.type)return\"Size\"+e.size+\"-Regular\";if(\"stack\"===e.type)return\"Size4-Regular\";throw new Error(\"Add support for delim type '\"+e.type+\"' here.\")},Mr=function(e,t,r,n){for(var a=Math.min(2,3-n.style.size);at)return r[a]}return r[r.length-1]},zr=function(e,t,r,n,a,i){var o;\"<\"===e||\"\\\\lt\"===e||\"\\u27e8\"===e?e=\"\\\\langle\":\">\"!==e&&\"\\\\gt\"!==e&&\"\\u27e9\"!==e||(e=\"\\\\rangle\"),o=l.contains(br,e)?xr:l.contains(gr,e)?kr:wr;var s=Mr(e,t,o,n);return\"small\"===s.type?function(e,t,r,n,a,i){var o=Ke.makeSymbol(e,\"Main-Regular\",a,n),s=ir(o,t,n,i);return r&&or(s,n,t),s}(e,s.style,r,n,a,i):\"large\"===s.type?sr(e,s.size,r,n,a,i):pr(e,t,r,n,a,i)},Ar={sqrtImage:function(e,t){var r,n,a=t.havingBaseSizing(),i=Mr(\"\\\\surd\",e*a.sizeMultiplier,kr,a),o=a.sizeMultiplier,s=Math.max(0,t.minRuleThickness-t.fontMetrics().sqrtRuleThickness),l=0,h=0,m=0;return\"small\"===i.type?(e<1?o=1:e<1.4&&(o=.7),h=(1+s)/o,(r=fr(\"sqrtMain\",l=(1+s+dr)/o,m=1e3+1e3*s+80,s,t)).style.minWidth=\"0.853em\",n=.833/o):\"large\"===i.type?(m=1080*yr[i.size],h=(yr[i.size]+s)/o,l=(yr[i.size]+s+dr)/o,(r=fr(\"sqrtSize\"+i.size,l,m,s,t)).style.minWidth=\"1.02em\",n=1/o):(l=e+s+dr,h=e+s,m=Math.floor(1e3*e+s)+80,(r=fr(\"sqrtTall\",l,m,s,t)).style.minWidth=\"0.742em\",n=1.056),r.height=h,r.style.height=V(l),{span:r,advanceWidth:n,ruleWidth:(t.fontMetrics().sqrtRuleThickness+s)*o}},sizedDelim:function(e,t,r,a,i){if(\"<\"===e||\"\\\\lt\"===e||\"\\u27e8\"===e?e=\"\\\\langle\":\">\"!==e&&\"\\\\gt\"!==e&&\"\\u27e9\"!==e||(e=\"\\\\rangle\"),l.contains(gr,e)||l.contains(br,e))return sr(e,t,!1,r,a,i);if(l.contains(vr,e))return pr(e,yr[t],!1,r,a,i);throw new n(\"Illegal delimiter: '\"+e+\"'\")},sizeToMaxHeight:yr,customSizedDelim:zr,leftRightDelim:function(e,t,r,n,a,i){var o=n.fontMetrics().axisHeight*n.sizeMultiplier,s=5/n.fontMetrics().ptPerEm,l=Math.max(t-o,r+o),h=Math.max(l/500*901,2*l-s);return zr(e,h,!0,n,a,i)}},Tr={\"\\\\bigl\":{mclass:\"mopen\",size:1},\"\\\\Bigl\":{mclass:\"mopen\",size:2},\"\\\\biggl\":{mclass:\"mopen\",size:3},\"\\\\Biggl\":{mclass:\"mopen\",size:4},\"\\\\bigr\":{mclass:\"mclose\",size:1},\"\\\\Bigr\":{mclass:\"mclose\",size:2},\"\\\\biggr\":{mclass:\"mclose\",size:3},\"\\\\Biggr\":{mclass:\"mclose\",size:4},\"\\\\bigm\":{mclass:\"mrel\",size:1},\"\\\\Bigm\":{mclass:\"mrel\",size:2},\"\\\\biggm\":{mclass:\"mrel\",size:3},\"\\\\Biggm\":{mclass:\"mrel\",size:4},\"\\\\big\":{mclass:\"mord\",size:1},\"\\\\Big\":{mclass:\"mord\",size:2},\"\\\\bigg\":{mclass:\"mord\",size:3},\"\\\\Bigg\":{mclass:\"mord\",size:4}},Br=[\"(\",\"\\\\lparen\",\")\",\"\\\\rparen\",\"[\",\"\\\\lbrack\",\"]\",\"\\\\rbrack\",\"\\\\{\",\"\\\\lbrace\",\"\\\\}\",\"\\\\rbrace\",\"\\\\lfloor\",\"\\\\rfloor\",\"\\u230a\",\"\\u230b\",\"\\\\lceil\",\"\\\\rceil\",\"\\u2308\",\"\\u2309\",\"<\",\">\",\"\\\\langle\",\"\\u27e8\",\"\\\\rangle\",\"\\u27e9\",\"\\\\lt\",\"\\\\gt\",\"\\\\lvert\",\"\\\\rvert\",\"\\\\lVert\",\"\\\\rVert\",\"\\\\l" + let d_a7822b6a857860082b88bf153ba8b3c0 = "\n.odoc-table td, .odoc-table th {\n padding-left: 0.5em;\n padding-right: 0.5em;\n border: 1px solid black;\n}\n\n.odoc-table th {\n font-weight: bold;\n}\n\n/* Mobile adjustements. */\n\n@media only screen and (max-width: 110ex) {\n body {\n margin: 2em;\n padding: 0;\n }\n\n body.odoc {\n display: block;\n }\n\n .odoc-toc {\n position: static;\n width: auto;\n min-width: unset;\n max-width: unset;\n border: none;\n padding: 0.2em 1em;\n border-radius: 5px;\n margin-bottom: 2em;\n }\n}\n\n/* Print adjustements. */\n\n@media print {\n body {\n color: black;\n background: white;\n }\n body nav:first-child {\n visibility: hidden;\n }\n}\n\n/* Source code. */\n\n.source_container {\n display: flex;\n}\n\n.source_line_column {\n padding-right: 0.5em;\n text-align: right;\n background: #eee8d5;\n}\n\n.source_line {\n padding: 0 1em;\n}\n\n.source_code {\n flex-grow: 1;\n background: #fdf6e3;\n padding: 0 0.3em;\n color: #657b83;\n}\n\n/* Source directories */\n\n.odoc-directory::before {\n content: \"\240\159\147\129\";\n margin: 0.3em;\n font-size: 1.3em;\n}\n\n.odoc-file::before {\n content: \"\240\159\147\132\";\n margin: 0.3em;\n font-size: 1.3em;\n}\n\n.odoc-folder-list {\n list-style: none;\n}\n\n/* Syntax highlighting (based on github-gist) */\n\n.hljs {\n display: block;\n background: var(--code-background);\n padding: 0.5em;\n color: var(--color);\n overflow-x: auto;\n}\n\n.hljs-comment,\n.hljs-meta {\n color: #969896;\n}\n\n.hljs-string,\n.hljs-variable,\n.hljs-template-variable,\n.hljs-strong,\n.hljs-emphasis,\n.hljs-quote {\n color: #df5000;\n}\n\n.hljs-keyword,\n.hljs-selector-tag {\n color: #a71d5d;\n}\n\n.hljs-type,\n.hljs-class .hljs-title {\n color: #458;\n font-weight: 500;\n}\n\n.hljs-literal,\n.hljs-symbol,\n.hljs-bullet,\n.hljs-attribute {\n color: #0086b3;\n}\n\n.hljs-section,\n.hljs-name {\n color: #63a35c;\n}\n\n.hljs-tag {\n color: #333333;\n}\n\n.hljs-attr,\n.hljs-selector-id,\n.hljs-selector-class,\n.hljs-selector-attr,\n.hljs-selector-pseudo {\n color: #795da3;\n}\n\n.hljs-addition {\n color: #55a532;\n background-color: #eaffea;\n}\n\n.hljs-deletion {\n color: #bd2c00;\n background-color: #ffecec;\n}\n\n.hljs-link {\n text-decoration: underline;\n}\n\n.VAL, .TYPE, .LET, .REC, .IN, .OPEN, .NONREC, .MODULE, .METHOD, .LETOP, .INHERIT, .INCLUDE, .FUNCTOR, .EXTERNAL, .CONSTRAINT, .ASSERT, .AND, .END, .CLASS, .STRUCT, .SIG {\n color: #859900;;\n}\n\n.WITH, .WHILE, .WHEN, .VIRTUAL, .TRY, .TO, .THEN, .PRIVATE, .OF, .NEW, .MUTABLE, .MATCH, .LAZY, .IF, .FUNCTION, .FUN, .FOR, .EXCEPTION, .ELSE, .TO, .DOWNTO, .DO, .DONE, .BEGIN, .AS {\n color: #cb4b16;\n}\n\n.TRUE, .FALSE {\n color: #b58900;\n}\n\n.failwith, .INT, .SEMISEMI, .LIDENT {\n color: #2aa198;\n}\n\n.STRING, .CHAR, .UIDENT {\n color: #b58900;\n}\n\n.DOCSTRING {\n color: #268bd2;\n}\n\n.COMMENT {\n color: #93a1a1;\n}\n\n/*---------------------------------------------------------------------------\n Copyright (c) 2016 The odoc contributors\n\n Permission to use, copy, modify, and/or distribute this software for any\n purpose with or without fee is hereby granted, provided that the above\n copyright notice and this permission notice appear in all copies.\n\n THE SOFTWARE IS PROVIDED \"AS IS\" AND THE AUTHOR DISCLAIMS ALL WARRANTIES\n WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF\n MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR\n ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES\n WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN\n ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF\n OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.\n ---------------------------------------------------------------------------*/\n" + let d_a841840589a3efb0465e49e0d8f985b5 = "0 l65 45 L145 \"+(n-80)+\" H400000z\",g=new K([new J(\"phase\",f)],{width:\"400em\",height:V(d/1e3),viewBox:\"0 0 400000 \"+d,preserveAspectRatio:\"xMinYMin slice\"});(r=Ke.makeSvgSpan([\"hide-tail\"],[g],t)).style.height=V(p),h=i.depth+c+u}else{/cancel/.test(o)?m||i.classes.push(\"cancel-pad\"):\"angl\"===o?i.classes.push(\"anglpad\"):i.classes.push(\"boxpad\");var v=0,b=0,y=0;/box/.test(o)?(y=Math.max(t.fontMetrics().fboxrule,t.minRuleThickness),b=v=t.fontMetrics().fboxsep+(\"colorbox\"===o?0:y)):\"angl\"===o?(v=4*(y=Math.max(t.fontMetrics().defaultRuleThickness,t.minRuleThickness)),b=Math.max(0,.25-i.depth)):b=v=m?.2:0,r=Ft(i,o,v,b,t),/fbox|boxed|fcolorbox/.test(o)?(r.style.borderStyle=\"solid\",r.style.borderWidth=V(y)):\"angl\"===o&&.049!==y&&(r.style.borderTopWidth=V(y),r.style.borderRightWidth=V(y)),h=i.depth+b,e.backgroundColor&&(r.style.backgroundColor=e.backgroundColor,e.borderColor&&(r.style.borderColor=e.borderColor))}if(e.backgroundColor)a=Ke.makeVList({positionType:\"individualShift\",children:[{type:\"elem\",elem:r,shift:h},{type:\"elem\",elem:i,shift:0}]},t);else{var x=/cancel|phase/.test(o)?[\"svg-align\"]:[];a=Ke.makeVList({positionType:\"individualShift\",children:[{type:\"elem\",elem:i,shift:0},{type:\"elem\",elem:r,shift:h,wrapperClasses:x}]},t)}return/cancel/.test(o)&&(a.height=i.height,a.depth=i.depth),/cancel/.test(o)&&!m?Ke.makeSpan([\"mord\",\"cancel-lap\"],[a],t):Ke.makeSpan([\"mord\"],[a],t)},Ir=function(e,t){var r=0,n=new Tt.MathNode(e.label.indexOf(\"colorbox\")>-1?\"mpadded\":\"menclose\",[Rt(e.body,t)]);switch(e.label){case\"\\\\cancel\":n.setAttribute(\"notation\",\"updiagonalstrike\");break;case\"\\\\bcancel\":n.setAttribute(\"notation\",\"downdiagonalstrike\");break;case\"\\\\phase\":n.setAttribute(\"notation\",\"phasorangle\");break;case\"\\\\sout\":n.setAttribute(\"notation\",\"horizontalstrike\");break;case\"\\\\fbox\":n.setAttribute(\"notation\",\"box\");break;case\"\\\\angl\":n.setAttribute(\"notation\",\"actuarial\");break;case\"\\\\fcolorbox\":case\"\\\\colorbox\":if(r=t.fontMetrics().fboxsep*t.fontMetrics().ptPerEm,n.setAttribute(\"width\",\"+\"+2*r+\"pt\"),n.setAttribute(\"height\",\"+\"+2*r+\"pt\"),n.setAttribute(\"lspace\",r+\"pt\"),n.setAttribute(\"voffset\",r+\"pt\"),\"\\\\fcolorbox\"===e.label){var a=Math.max(t.fontMetrics().fboxrule,t.minRuleThickness);n.setAttribute(\"style\",\"border: \"+a+\"em solid \"+String(e.borderColor))}break;case\"\\\\xcancel\":n.setAttribute(\"notation\",\"updiagonalstrike downdiagonalstrike\")}return e.backgroundColor&&n.setAttribute(\"mathbackground\",e.backgroundColor),n};ot({type:\"enclose\",names:[\"\\\\colorbox\"],props:{numArgs:2,allowedInText:!0,argTypes:[\"color\",\"text\"]},handler:function(e,t,r){var n=e.parser,a=e.funcName,i=Ut(t[0],\"color-token\").color,o=t[1];return{type:\"enclose\",mode:n.mode,label:a,backgroundColor:i,body:o}},htmlBuilder:Nr,mathmlBuilder:Ir}),ot({type:\"enclose\",names:[\"\\\\fcolorbox\"],props:{numArgs:3,allowedInText:!0,argTypes:[\"color\",\"color\",\"text\"]},handler:function(e,t,r){var n=e.parser,a=e.funcName,i=Ut(t[0],\"color-token\").color,o=Ut(t[1],\"color-token\").color,s=t[2];return{type:\"enclose\",mode:n.mode,label:a,backgroundColor:o,borderColor:i,body:s}},htmlBuilder:Nr,mathmlBuilder:Ir}),ot({type:\"enclose\",names:[\"\\\\fbox\"],props:{numArgs:1,argTypes:[\"hbox\"],allowedInText:!0},handler:function(e,t){return{type:\"enclose\",mode:e.parser.mode,label:\"\\\\fbox\",body:t[0]}}}),ot({type:\"enclose\",names:[\"\\\\cancel\",\"\\\\bcancel\",\"\\\\xcancel\",\"\\\\sout\",\"\\\\phase\"],props:{numArgs:1},handler:function(e,t){var r=e.parser,n=e.funcName,a=t[0];return{type:\"enclose\",mode:r.mode,label:n,body:a}},htmlBuilder:Nr,mathmlBuilder:Ir}),ot({type:\"enclose\",names:[\"\\\\angl\"],props:{numArgs:1,argTypes:[\"hbox\"],allowedInText:!1},handler:function(e,t){return{type:\"enclose\",mode:e.parser.mode,label:\"\\\\angl\",body:t[0]}}});var Rr={};function Or(e){for(var t=e.type,r=e.names,n=e.props,a=e.handler,i=e.htmlBuilder,o=e.mathmlBuilder,s={type:t,numArgs:n.numArgs||0,allowedInText:!1,numOptionalArgs:0,handler:a},l=0;l0&&(a=F(e.totalheight,t)-n,r.setAttribute(\"valign\",V(-a))),r.setAttribute(\"height\",V(n+a)),e.width.number>0){var i=F(e.width,t);r.setAttribute(\"width\",V(i))}return r.setAttribute(\"src\",e.src),r}}),ot({type:\"kern\",names:[\"\\\\kern\",\"\\\\mkern\",\"\\\\hskip\",\"\\\\mskip\"],props:{numArgs:1,argTypes:[\"size\"],primitive:!0,allowedInText:!0},handler:function(e,t){var r=e.parser,n=e.funcName,a=Ut(t[0],\"size\");if(r.settings.strict){var i=\"m\"===n[1],o=\"mu\"===a.value.unit;i?(o||r.settings.reportNonstrict(\"mathVsTextUnits\",\"LaTeX's \"+n+\" supports only mu units, not \"+a.value.unit+\" units\"),\"math\"!==r.mode&&r.settings.reportNonstrict(\"mathVsTextUnits\",\"LaTeX's \"+n+\" works only in math mode\")):o&&r.settings.reportNonstrict(\"mathVsTextUnits\",\"LaTeX's \"+n+\" doesn't support mu units\")}return{type:\"kern\",mode:r.mode,dimension:a.value}},htmlBuilder:function(e,t){return Ke.makeGlue(e.dimension,t)},mathmlBuilder:function(e,t){var r=F(e.dimension,t);return new Tt.SpaceNode(r)}}),ot({type:\"lap\",names:[\"\\\\mathllap\",\"\\\\mathrlap\",\"\\\\mathclap\"],props:{numArgs:1,allowedInText:!0},handler:function(e,t){var r=e.parser,n=e.funcName,a=t[0];return{type:\"lap\",mode:r.mode,alignment:n.slice(5),body:a}},htmlBuilder:function(e,t){var r;\"clap\"===e.alignment?(r=Ke.makeSpan([],[wt(e.body,t)]),r=Ke.makeSpan([\"inner\"],[r],t)):r=Ke.makeSpan([\"inner\"],[wt(e.body,t)]);var n=Ke.makeSpan([\"fix\"],[]),a=Ke.makeSpan([e.alignment],[r,n],t),i=Ke.makeSpan([\"strut\"]);return i.style.height=V(a.height+a.depth),a.depth&&(i.style.verticalAlign=V(-a.depth)),a.children.unshift(i),a=Ke.makeSpan([\"thinbox\"],[a],t),Ke.makeSpan([\"mord\",\"vbox\"],[a],t)},mathmlBuilder:function(e,t){var r=new Tt.MathNode(\"mpadded\",[Rt(e.body,t)]);if(\"rlap\"!==e.alignment){var n=\"llap\"===e.alignment?\"-1\":\"-0.5\";r.setAttribute(\"lspace\",n+\"width\")}return r.setAttribute(\"width\",\"0px\"),r}}),ot({type:\"styling\",names:[\"\\\\(\",\"$\"],props:{numArgs:0,allowedInText:!0,allowedInMath:!1},handler:function(e,t){var r=e.funcName,n=e.parser,a=n.mode;n.switchMode(\"math\");var i=\"\\\\(\"===r?\"\\\\)\":\"$\",o=n.parseExpression(!1,i);return n.expect(i),n.switchMode(a),{type:\"styling\",mode:n.mode,style:\"text\",body:o}}}),ot({type:\"text\",names:[\"\\\\)\",\"\\\\]\"],props:{numArgs:0,allowedInText:!0,allowedInMath:!1},handler:function(e,t){throw new n(\"Mismatched \"+e.funcName)}});var mn=function(e,t){switch(t.style.size){case x.DISPLAY.size:return e.display;case x.TEXT.size:return e.text;case x.SCRIPT.size:return e.script;case x.SCRIPTSCRIPT.size:return e.scriptscript;default:return e.text}};ot({type:\"mathchoice\",names:[\"\\\\mathchoice\"],props:{numArgs:4,primitive:!0},handler:function(e,t){return{type:\"mathchoice\",mode:e.parser.mode,display:ht(t[0]),text:ht(t[1]),script:ht(t[2]),scriptscript:ht(t[3])}},htmlBuilder:function(e,t){var r=mn(e,t),n=ft(r,t,!1);return Ke.makeFragment(n)},mathmlBuilder:function(e,t){var r=mn(e,t);return It(r,t)}});var cn=function(e,t,r,n,a,i,o){e=Ke.makeSpan([],[e]);var s,h,m,c=r&&l.isCharacterBox(r);if(t){var u=wt(t,n.havingStyle(a.sup()),n);h={elem:u,kern:Math.max(n.fontMetrics().bigOpSpacing1,n.fontMetrics().bigOpSpacing3-u.depth)}}if(r){var p=wt(r,n.havingStyle(a.sub()),n);s={elem:p,kern:Math.max(n.fontMetrics().bigOpSpacing2,n.fontMetrics().bigOpSpacing4-p.height)}}if(h&&s){var d=n.fontMetrics().bigOpSpacing5+s.elem.height+s.elem.depth+s.kern+e.depth+o;m=Ke.makeVList({positionType:\"bottom\",positionData:d,children:[{type:\"kern\",size:n.fontMetrics().bigOpSpacing5},{type:\"elem\",elem:s.elem,marginLeft:V(-i)},{type:\"kern\",size:s.kern},{type:\"elem\",elem:e},{type:\"kern\",size:h.kern},{type:\"elem\",elem:h.elem,marginLeft:V(i)},{type:\"kern\",size:n.fontMetrics().bigOpSpacing5}]},n)}else if(s){var f=e.height-o;m=Ke.makeVList({positionType:\"top\",positionData:f,children:[{type:\"kern\",size:n.fontMetrics().bigOpSpacing5},{type:\"elem\",elem:s.elem,marginLeft:V(-i)},{type:\"kern\",size:s.kern},{type:\"elem\",elem:e}]},n)}else{if(!h)return e;var g=e.depth+o;m=Ke.makeVList({positionType:\"bottom\"," @@ -334,8 +338,6 @@ module Internal = struct let d_c0cf7351fa27f73a72840e453c4b15f3 = "6,0,0,.76042],8911:[0,.54986,0,0,.76042],8912:[.03517,.54986,0,0,.77778],8913:[.03517,.54986,0,0,.77778],8914:[0,.54986,0,0,.66667],8915:[0,.54986,0,0,.66667],8916:[0,.69224,0,0,.66667],8918:[.0391,.5391,0,0,.77778],8919:[.0391,.5391,0,0,.77778],8920:[.03517,.54986,0,0,1.33334],8921:[.03517,.54986,0,0,1.33334],8922:[.38569,.88569,0,0,.77778],8923:[.38569,.88569,0,0,.77778],8926:[.13667,.63667,0,0,.77778],8927:[.13667,.63667,0,0,.77778],8928:[.30274,.79383,0,0,.77778],8929:[.30274,.79383,0,0,.77778],8934:[.23222,.74111,0,0,.77778],8935:[.23222,.74111,0,0,.77778],8936:[.23222,.74111,0,0,.77778],8937:[.23222,.74111,0,0,.77778],8938:[.20576,.70576,0,0,.77778],8939:[.20576,.70576,0,0,.77778],8940:[.30274,.79383,0,0,.77778],8941:[.30274,.79383,0,0,.77778],8994:[.19444,.69224,0,0,.77778],8995:[.19444,.69224,0,0,.77778],9416:[.15559,.69224,0,0,.90222],9484:[0,.69224,0,0,.5],9488:[0,.69224,0,0,.5],9492:[0,.37788,0,0,.5],9496:[0,.37788,0,0,.5],9585:[.19444,.68889,0,0,.88889],9586:[.19444,.74111,0,0,.88889],9632:[0,.675,0,0,.77778],9633:[0,.675,0,0,.77778],9650:[0,.54986,0,0,.72222],9651:[0,.54986,0,0,.72222],9654:[.03517,.54986,0,0,.77778],9660:[0,.54986,0,0,.72222],9661:[0,.54986,0,0,.72222],9664:[.03517,.54986,0,0,.77778],9674:[.11111,.69224,0,0,.66667],9733:[.19444,.69224,0,0,.94445],10003:[0,.69224,0,0,.83334],10016:[0,.69224,0,0,.83334],10731:[.11111,.69224,0,0,.66667],10846:[.19444,.75583,0,0,.61111],10877:[.13667,.63667,0,0,.77778],10878:[.13667,.63667,0,0,.77778],10885:[.25583,.75583,0,0,.77778],10886:[.25583,.75583,0,0,.77778],10887:[.13597,.63597,0,0,.77778],10888:[.13597,.63597,0,0,.77778],10889:[.26167,.75726,0,0,.77778],10890:[.26167,.75726,0,0,.77778],10891:[.48256,.98256,0,0,.77778],10892:[.48256,.98256,0,0,.77778],10901:[.13667,.63667,0,0,.77778],10902:[.13667,.63667,0,0,.77778],10933:[.25142,.75726,0,0,.77778],10934:[.25142,.75726,0,0,.77778],10935:[.26167,.75726,0,0,.77778],10936:[.26167,.75726,0,0,.77778],10937:[.26167,.75726,0,0,.77778],10938:[.26167,.75726,0,0,.77778],10949:[.25583,.75583,0,0,.77778],10950:[.25583,.75583,0,0,.77778],10955:[.28481,.79383,0,0,.77778],10956:[.28481,.79383,0,0,.77778],57350:[.08167,.58167,0,0,.22222],57351:[.08167,.58167,0,0,.38889],57352:[.08167,.58167,0,0,.77778],57353:[0,.43056,.04028,0,.66667],57356:[.25142,.75726,0,0,.77778],57357:[.25142,.75726,0,0,.77778],57358:[.41951,.91951,0,0,.77778],57359:[.30274,.79383,0,0,.77778],57360:[.30274,.79383,0,0,.77778],57361:[.41951,.91951,0,0,.77778],57366:[.25142,.75726,0,0,.77778],57367:[.25142,.75726,0,0,.77778],57368:[.25142,.75726,0,0,.77778],57369:[.25142,.75726,0,0,.77778],57370:[.13597,.63597,0,0,.77778],57371:[.13597,.63597,0,0,.77778]},\"Caligraphic-Regular\":{32:[0,0,0,0,.25],65:[0,.68333,0,.19445,.79847],66:[0,.68333,.03041,.13889,.65681],67:[0,.68333,.05834,.13889,.52653],68:[0,.68333,.02778,.08334,.77139],69:[0,.68333,.08944,.11111,.52778],70:[0,.68333,.09931,.11111,.71875],71:[.09722,.68333,.0593,.11111,.59487],72:[0,.68333,.00965,.11111,.84452],73:[0,.68333,.07382,0,.54452],74:[.09722,.68333,.18472,.16667,.67778],75:[0,.68333,.01445,.05556,.76195],76:[0,.68333,0,.13889,.68972],77:[0,.68333,0,.13889,1.2009],78:[0,.68333,.14736,.08334,.82049],79:[0,.68333,.02778,.11111,.79611],80:[0,.68333,.08222,.08334,.69556],81:[.09722,.68333,0,.11111,.81667],82:[0,.68333,0,.08334,.8475],83:[0,.68333,.075,.13889,.60556],84:[0,.68333,.25417,0,.54464],85:[0,.68333,.09931,.08334,.62583],86:[0,.68333,.08222,0,.61278],87:[0,.68333,.08222,.08334,.98778],88:[0,.68333,.14643,.13889,.7133],89:[.09722,.68333,.08222,.08334,.66834],90:[0,.68333,.07944,.13889,.72473],160:[0,0,0,0,.25]},\"Fraktur-Regular\":{32:[0,0,0,0,.25],33:[0,.69141,0,0,.29574],34:[0,.69141,0,0,.21471],38:[0,.69141,0,0,.73786],39:[0,.69141,0,0,.21201],40:[.24982,.74947,0,0,.38865],41:[.24982,.74947,0,0,.38865],42:[0,.62119,0,0,.27764],43:[.08319,.58283,0,0,.75623],44:[0,.10803,0,0,.27764],45:[.08319,.58283,0,0,.75623],46:[0,.10803,0,0,.27764],47:[.24982,.74947,0,0,.50181],48:[0,.47534,0,0,.50181],49:[0,.47534,0,0,.50181],50:[0,.47534,0,0,.50181],51:[.18906,.47534,0,0,.50181],52:[.18906," - let d_c336640d81749e44caff7ff23eb8c2be = "*/\n\n.odoc-table {\n margin: 1em;\n}\n\n.odoc-table td, .odoc-table th {\n padding-left: 0.5em;\n padding-right: 0.5em;\n border: 1px solid black;\n}\n\n.odoc-table th {\n font-weight: bold;\n}\n\n/* Mobile adjustements. */\n\n@media only screen and (max-width: 110ex) {\n body {\n margin: 2em;\n padding: 0;\n }\n\n body.odoc {\n display: block;\n }\n\n .odoc-toc {\n position: static;\n width: auto;\n min-width: unset;\n max-width: unset;\n border: none;\n padding: 0.2em 1em;\n border-radius: 5px;\n margin-bottom: 2em;\n }\n}\n\n/* Print adjustements. */\n\n@media print {\n body {\n color: black;\n background: white;\n }\n body nav:first-child {\n visibility: hidden;\n }\n}\n\n/* Source code. */\n\n.source_container {\n display: flex;\n}\n\n.source_line_column {\n padding-right: 0.5em;\n text-align: right;\n background: #eee8d5;\n}\n\n.source_line {\n padding: 0 1em;\n}\n\n.source_code {\n flex-grow: 1;\n background: #fdf6e3;\n padding: 0 0.3em;\n color: #657b83;\n}\n\n/* Source directories */\n\n.odoc-directory::before {\n content: \"\240\159\147\129\";\n margin: 0.3em;\n font-size: 1.3em;\n}\n\n.odoc-file::before {\n content: \"\240\159\147\132\";\n margin: 0.3em;\n font-size: 1.3em;\n}\n\n.odoc-folder-list {\n list-style: none;\n}\n\n/* Syntax highlighting (based on github-gist) */\n\n.hljs {\n display: block;\n background: var(--code-background);\n padding: 0.5em;\n color: var(--color);\n overflow-x: auto;\n}\n\n.hljs-comment,\n.hljs-meta {\n color: #969896;\n}\n\n.hljs-string,\n.hljs-variable,\n.hljs-template-variable,\n.hljs-strong,\n.hljs-emphasis,\n.hljs-quote {\n color: #df5000;\n}\n\n.hljs-keyword,\n.hljs-selector-tag {\n color: #a71d5d;\n}\n\n.hljs-type,\n.hljs-class .hljs-title {\n color: #458;\n font-weight: 500;\n}\n\n.hljs-literal,\n.hljs-symbol,\n.hljs-bullet,\n.hljs-attribute {\n color: #0086b3;\n}\n\n.hljs-section,\n.hljs-name {\n color: #63a35c;\n}\n\n.hljs-tag {\n color: #333333;\n}\n\n.hljs-attr,\n.hljs-selector-id,\n.hljs-selector-class,\n.hljs-selector-attr,\n.hljs-selector-pseudo {\n color: #795da3;\n}\n\n.hljs-addition {\n color: #55a532;\n background-color: #eaffea;\n}\n\n.hljs-deletion {\n color: #bd2c00;\n background-color: #ffecec;\n}\n\n.hljs-link {\n text-decoration: underline;\n}\n\n.VAL, .TYPE, .LET, .REC, .IN, .OPEN, .NONREC, .MODULE, .METHOD, .LETOP, .INHERIT, .INCLUDE, .FUNCTOR, .EXTERNAL, .CONSTRAINT, .ASSERT, .AND, .END, .CLASS, .STRUCT, .SIG {\n color: #859900;;\n}\n\n.WITH, .WHILE, .WHEN, .VIRTUAL, .TRY, .TO, .THEN, .PRIVATE, .OF, .NEW, .MUTABLE, .MATCH, .LAZY, .IF, .FUNCTION, .FUN, .FOR, .EXCEPTION, .ELSE, .TO, .DOWNTO, .DO, .DONE, .BEGIN, .AS {\n color: #cb4b16;\n}\n\n.TRUE, .FALSE {\n color: #b58900;\n}\n\n.failwith, .INT, .SEMISEMI, .LIDENT {\n color: #2aa198;\n}\n\n.STRING, .CHAR, .UIDENT {\n color: #b58900;\n}\n\n.DOCSTRING {\n color: #268bd2;\n}\n\n.COMMENT {\n color: #93a1a1;\n}\n\n/*---------------------------------------------------------------------------\n Copyright (c) 2016 The odoc contributors\n\n Permission to use, copy, modify, and/or distribute this software for any\n purpose with or without fee is hereby granted, provided that the above\n copyright notice and this permission notice appear in all copies.\n\n THE SOFTWARE IS PROVIDED \"AS IS\" AND THE AUTHOR DISCLAIMS ALL WARRANTIES\n WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF\n MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR\n ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES\n WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN\n ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF\n OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.\n ---------------------------------------------------------------------------*/\n" - let d_c476e59e9197afb4d57b64eef2d37d5b = "\141\252\198\162\016\159.4C\182\212\2253<\203s\023S\198c_\255\222\161>\240\178\162]\244\244\n\195hw\187\165\142\230!\005\222\154\182\133W\235\227\214\195\181\141\243F\2198\239@\206\232\163\1593\164\220\187\227]<{\216.\143w\149\171z;\028\195\187\014\174\241\137v2i^\182\201\b\157\246\239\171\183g\185=V\128\1913\242\127y\179\131{\211\014\201y/\227/\163lk$\017\225\149\250\240&$w\185\232F\192\001\192\191\222\250\191>vF\255\173\250\164\253\255}3\229\159\244?\000y\247\240\020\165/gjC\241\161=~\214\031}M\166\153\240\143\235u_T\226C\210\135\240\212dl?g\160>\006\001\200\135\194\186\250`\145~\220\240\203\185\216\231r\253z6I\016\202\025\b\130\252\"I\150$w\000\1449\188C2\1854ItMgoH\206\\\154\131\016\192\243y\028\249\016\228)\222\140\243\029\136\234t\247g.\205\141sq\180\183\173\144\156\1854\251\161\143\235%\128\250$\1625\236[^\223\151\232~x\234\n\000\240\176J\nY|>\175D\011\155N\249\163\212\213\255\228\237\246Z\000t\196\\\211?:\158\158\242\tEu\016\004\138\169OP`\012\206\1360j\144\127\203\217\001|\253\003 k\002\219\189\159;A\001\154\149\200*}A\000y\",\005*\223\245\193\166\169\150\219\025Yk\248$@\0010\0162ut4\154\234U\242\200\144\136\027\226\"dD\n\018l\004\147\168-\245\007\002!\016\004q\0061\234z=\136\134h,&\136=\246\142\030l\006j\217\001\164\189\237\024#1\247\174\192\142\219\134X\019F+\030\000C\140\147\157\219'\202H)\200xc\243`\024~\127\232~xp\153t$\175\143\241\184\188t\141\222\180^\195)\191\171\t\225\164\233\244R,\168k<\196\185\204\205\243\028\233\130\234OF\017\254K\134\192\172\019\254\238\174\201\158A\154?\228\181\000\026\003c-\":\002:\245f'6\213\202\023O\183\136:\166\133\210\004\195\179I\140\188S\023\169\183\170\165\220Q\029\242\182\165W,:\134\236\150\196\198\216b\2280\221\205\017\215=\235\162o\186XK;V\1434@N\148\160\169(\000\007\249T\189\228N\022\180\138Die5z\173\169_e\131n\0273vdM\028\188\157b\226\239Z\014Y$\174\132\014,\198\142\tw\240AR7\234\248\147\205\166_z\167KJ\147\245\2331\215\174v\007\128\018\137\018\147%!\160k%]\169\238#fHi\135\167\027\157\233\223g\204\150\171:\133M\213\164\024\181\253\218Uya\194\170\018R\149\131\t\215\029XFK\196\174\\\226\212\210q\214j\216io\016\194\166\249Bh[\142\003H\004(\012LK8#uT\137\132\215\029\0221\157\168]\147P\219p\011n\156\003'\201Q\181t\180\215\180\238\2254\006\031\026m\228\208a\218fI\150<\011S[v@\197\132L\201z\153/\188\017?\176-\003#Li\161b\135'\144\b\154I\\\128\161\221D6\203\177\020\146\017^\b\011\t\rXFU(\019\195\151[\224v\206\135\005\030LC\234A\226 \249^I\003%\007a\021\250V\160\200\150\211\137\189$ht\200\n\164\177\t\156\136\026\193\165\n\255\142*#\198\208A\132\134R\020\163\241\003y=\006\192\161\\Y\144a*y\247{\019\\P]\237\170E\231X\200(95\1357T\201\151\186\215\213'\161A\014\215K\243\188|\246Uo\164\017Dc\201\232\219\254\163\170\233\255\230M\239\160\186\169UR \027$gP\252\179\155\239\211\245\003\247\022\127B\190s\137\n\241u\239&\187Z!\137\207\134\011\187\222\139\252\141T\133B\176\224\193\159|@\217\248\026\028\031h\186k\235B\173\231.\023\174zgl\215kV\026\030\176cG\131\137\1337\172\236}\2094.\2187\004K\001\179\195z\218pN&\163\220X\168\2394\201Vz\022\189\t\189\185\165\147\189\218\151X\027\2270\143~\160\165Y\155M^\227\159\161\014#d\1813\173\247O\179qN\231+3\220\029\133\136\237\250\178\243\236\027\139\200\139\127\133\159\136m\190\167\169\196\131\022\249\247\248\204\202\250$7\146%\1652\207P\003?\208\017\170@k\nQO\1821\162J\196\166\150\188WQ\029!\006\223\129u\029\146Y\212~\2432\247*,\2140Rtxj\020\173\143\150g\2374\221\191\155@\007\196\181\2207\004\026\250\014\200R)\005\172\151\174\245\006MO\201\228\142P\021^\139\245;\172\187\be\2512j\172jU\022\to\180E\191\234X\129\237\136\244j\210!Z\136\220uVL\166z4\bs\240\161\250}\190|\030\211\180\208r/\021#\225\205\220fWu\169\216\187Z\242%\210\139V\021g\216#&\148\140\175QJ\011^\223R\144\180m\001L\219\b'\193\246Q\189\020\012{\179\187\163y\189qEFU\155)3\243QI\176\131\223\1711d\022\004\201p\t\171\218\213H\"\152_\226\030{\184\215\213\167\187\144\212;w{\011 \164o1\018\000\162\029C\003)\165\182\024\226\208\r\017\179\146@\233\148\151\r\234\177\001{\196\162`\165Z\004\150JT\205\246\162\231zo\206\190\012\2032\242\171\205\196m/\031\187C\191\206\183\213\000|\241\168\136jV6Z\252q\191%\155\177\198\191*\171\129!\228\229\177!\189Q\163\145\146\165\130\003\202\"\241\231\140\215\0275P\181\143\141\171\143)b$P\022\2522!\169iAF\147\248\129\1676\020\153QU\137\181sm\028\006\170DR\011\011\227\160\140k\145Ol?\016\175\151\180M\183\027\168O\"\t\244?{ul\135\146\205\026/\176y(\140?\217\017hW\197\\\146\164\023\014\177IY(%3\251=]\200#\028N\028\136\166\163_\1530\024Q\240ZH\219\169\211w\149\159w\t\130W\241\207\197$\195\232\209\199hQ\162\027\002\020\203\011\134\242\245\003q\240z=\2155\194]\177bB\228*W\153\156$\n\229\244\"\006\255Ttf\250\212T!\197\243\212\155\025\176\019\190\216\128\232y\182?\200\185\254\140\203\182\002U\169\020.\026\206\244\171\173u\n\1570\1804{\1773i\182\204\184T\b\004\215c\211\194x\147\236$\020\185[\136nD\167\229\220\017VQ\163E\219\170\183\166Z\031\242\243\223\229\006\212\234\196\020{\149\218\236\198\165#m*0\rj\177A\202*\127\221C!!\017j\1385g^l,L\151\220\201\146\139^\152c\159\196\251V#\243uS\188\173\164\027eqW5\016\142\135\237h\242r\003\191\241[P\019E\\\145|\154nyl\192-I\206\172\247\188\142l\003n\132\r\174\014\184\029;)\153\231e\172v\179\152\157\164l+\151\184\208\2261\254FO\154\026(ZG{\239\170\186[\2448c\254\160e\189j\141?V\004\239'P\020C,\255Qn\134\2018\250\218N3\164\r\186\019\2049]\170\186\224\244\187\236r\229\186\b\r\2450M\244J,\209\130N\141*V\149i\158F\015\142\138-\128\152p\212g\r\223r\246\189H\253\025mU\002\208\227\194:.w\221\205:\213\021\156\143\001E\142~\176\231\143J\229\213z%\147\020\239*\231\229\237g\208.\231\214\240\216\229p\234\182\024\156=\211\175\241\194}\b\239pi~\011H\te\248Il\007\146i\232\249\235\194\215\150\194F\002\162Rh\232\149\197\143o\\\"\193\145Y\174\162\230s)\245k\004\139\131\153\138\198\183i\230\243)\1558\022\005\206`\170(\184\245\193Vj\222\233\252\145t\167\152\157\155\218\252u|;d\n}\182W\207\249Gd\146\1575 \155\141P\230N\197n\028\163\172\218\181\017\229u\163\158\007\142\188\192H?19\231\227c\164\242n\006\132\178\177\210q\150\148\157;\149\tK\140H\158=\161dd\217\226\150$\006\142\133\027?`\016_a\224\150)e\005D\214\248\1942f\n\136v\148V\020|\191\207wn(\176V\000\214\219\175M\137\196c\214\244\b-\146\240{{s\140x\207K\254t\217s\021V\025j^\175\n\221XF\146\006\002\019|?\189Lv$\175?\198\141Ks\140\014p\r\014\177N\139\212\231|\138\143\020\195\212\000\021\030\186Bp\146#-2/8O\224\160\005M\t\148{\198>\15529\131\226\245j\2062rV\182\179\169#\218\1333~tc\028.\205\226\202\140b\221\155:f.\208\007\2449\007Z\030\196\218\012O\243t\225*\179\167\178]B\230|\015H&E\166\130;\202\157\189\147\169\012\168`\246\146k\164\234'\231\246>\154\223\192\132k\204\1812ul\226\020\242o\213K/\232\173U9\140\026\182\211\212P\162\151\241\007\000WD\149\028\024\254\249\021f\1611\218j\129\150\198\179\152\202I\132\018s\152zx\208>\188\188\178M{\021\175\217\139\244FhUi'\137\rdh\130\029\204\b\132G8+h\0057K\208\17271\192\rm\213\157D\128\163\n\007;\220\139\003Dn\029\1919\217\212}p\251o\247BW\247b`*4\219K\164O\171\216\198\199_\021X \169'\027\236U;B\1807\016\164\006\196\0253\138cH\144%\173M\189[\011\243\1278\181\022\169\208\128\158\204\163\172Je\149|\165t\179\162\216\005\168\182:HU\185\169\024P)y\241\152\200>\133KZ@3\216E\194\251-b\221l\162\244\000\244\1636\236\nPf)q\021\130\021\016l!\156B\n\203\030\161 b\179\179\165\b\014B$4K\b\156\192u\\m\n\149\181%:\191\240\142\140\018\247J\024\148c\020\016\133\162g\213\t\r\188\194\006\019a\141\195\004\133\224\019\224,P\175A\n|" let d_c5a269addda7c271815b135239839fc8 = "P\241\232h\024\250\163\217\020\144c\016\250/2\253\209\012\193\209\2098\029]\191\029e\226\225a\208\2147\011\230\243\243\001\028\022\142\231~W\011\162\150k\151\1935\255B\020\245B\252\203\199\253nbG\250\231B\001\151\196\171\024\150\130\235\207\127\186k\242\127)\164q\138\163\249\031\252\133{u\187[\"G\162\171\202K\127v\185\192@\005\230s\1713\159\223\000\026\153\213\213`\160\152G3\012\162\155n\1894\155mP^\2343\195\233\184\022\213\002\003[\190\198\144\003\180\017\218\026j^REO}\252:\1393F\175\136\209[\156\235\253ZK\217\145\182\207\180t\143\191eN\004^\188\169@\152\171N\1587g\002\179\139Y \2088WQ\nuq'\163\211lb\237n\133\204\192-nr\200\247&V[,DJ+\169\250\255\154\205\0079ZTk\020\031\023\025\229|\158\214\195\164\166y\242\\\186\163\017R\239s\195v\185\236E^9\205\224\207\011\250!\164y9\175_\209a\r\171\129\157\202\022DE\011P^\027\135Os\133KH\239\201D\130\014\242~A\246\"\188\159!\004G\168\181\006\141\031\1775,p+\206i\127\231\237v\014\19050\172\149\232\1671Pk\017\028I8\018\247\157\250\224\026\153\226\025oo\127\219\217X]\138|\252~\018\147\247)x@\165\232\211\227\211\143\1386P\192\141\235^\028\201>b\\\2329N\193=+\162\155\255\2447t\026\162r:\253\r'\240_\027<8]\177j\007\202\196\011\203\031T|\242\198Ym\135\190\252~!\142$\232^QtS8\232\209/`2^\210\017\233cM\218)\201\130\029\157\006\129p\168\023u\134-Z\168X\168\b[\228Dm\216\004\149%\208\174p\192\146\172\164\157>\214\246\200R\156\142\014\142\0152\241\240ph\215\238\148\233\148\233\188\247\154c\003\237\220\r\213\226\136\173z\176\243+\026n\248\169z\184zU\184!.\187ftAM\165u{P\011\142\132\220\196\156E3P-F\156\254\213\234\206\159\169\248\128\1715\167\021\250\230fJ\225\190\142\253^(\185\022\143Jc\169\206\\\152\209\144\209\b\133G\224H\153b\203\214,0p\219;\189\228\141\230\185\150b\221\180\206J\250\171{\194-)\005C'8 \149\026\167\161\0295s\020\188\185yo\239\235\183\022P\179\006\144\026I\1474\154vB\200\001P_\002$\131\217\012&\199\153N\019,\255\163\169\006\146J)0G\000QPT;#\226b\189\137D\200\148\t&\151\138\024c$\n\140\244\253\245t_JCKC\n\146\250!S\198\196Z\253/}}p\027\133\1292yC\144\b;\128\136\142\166\236k\255\193@\150%\236Y\202\217\181\024\230@\132S\143\030\157\"@\028$%\n\143B^\200\020\139\227\020\135rK\211\234\205\137J\218t\150\172\159\132\242\018~\141U\232H\143\005R\171\\j\242K\168\142(\029x\211\186$\019\174\236y\168\225\141\bD3\242\165\139\164\135\2415\183\176vh\001\161\012a-\163H\143\020\019\138\t\016\226o\t*\168]\212\219`\140\171\250vSN\129)1\189\224\011ix8O\175e\226\187\242\235\178\146h\221\191\228\1750\132}X_lwR\212\235\141\017.w\134\202%Q\251Q\147\252\244\233\029<\190\188\154\n'(+\019\237\197\151+\146\250\234\239\027\205\221\199k\228&\189[&>Oz\129\148\031\129\172H!Z\173\185\241\151J\161\159J\225/)\144@0\245\171}\"\174\187\018\023T\179-\213y\233\180~\223\188\215**6\250#\139g\003[\232\167\030\134A\031\170\249I\188\223\137Yo7P\186'\191/\014iu\209\011\027\139\185\147\218\173[\168Y)if\146\147\174\218\247v\218\004W\202!A\191\226\199\028\222\149\r\172b)\214Un\160-+\245}\186\247/%\243cJ\244\220\210\0057\168\184Eo\194MI4\241_\011\240L\018\220\138l\234+TH\187\018;\165\190\215\b\193Z+1!\182\029\247\234\243q\164\134\021\026\025\209\222\216]\151\1448U\227u\252q\242F\028v[\023\204?'\192\1985\134.\142\012\214\175\228\162\235\163\189\234\012_\t%e\162\179\195x\167\153\193+\011\200)\168\004\173\185\212\018kfX\133).\194\020W\030\198\"\214D\213\173\030\0062\0024\1490\185f\024Q\211c\165\198 \203\164\191L\nW|!\019F\202\248\219q\132\150^1\169\228\011\155\2141\003\143@\175\145!d\026\236Y\212\150\2039&\178\218\"\015\248\128\145\017\011N\157kmq!\135\021#H\228\002\223([\202.\017X\176@\170r\163e\161\b\139E\\\004\196V\245\222\132\130x\160\136\176ZFV\2248\229x\253\130\185\138M\028\159$\132\014\139\0258\165~:\163\222$#\255_a\167\152~KJ\235J\204\141\138\1444H\253\135\165\216?\1321z\002+\157\251\193\237\006S\180@\128'\205\205p\186>7Q\138S\191j\"\143\178\244{ \004\207\127\245\204\2388\235\194\141v\156r\188\164\t\165\226\236/\226\172\241\182J}\139\005\167\20457\221\160\160\227\011I\b\238E\014E\\\224\157\219r\194\129\175\031%CH\030\023w-\172\127\186\007\129\183\197Z\155\172\142\200\205\238\211\221t\006\\\217/\129&&\012w\179Pjy5F*k\221\185Cy\151\021T\185\147\027\182\226\138*\175\164%\131\023\175\171\030\246$\246\021\225\t\230f\154\179\219=m\012\190\224|\158f:r\237X\247\177kGL\250-\020\233\235T\029\132`\184\211\168t\215t-\187:\223\169^\243\192\240\254\235.\251\219o\023\209r\199\172\210z\181\251E\254\208r\165)\221\228\161l\011\0309\021Q\253\223\223\141um\157\149T\182\244\133\149\254\197\136\179'\222\138\246\162^z,G\227|%\237\171\141j<\161*\195\018V\186VC\025\015\192\173\254\220\133\n\1522\174\199\168\203\200\165\005\0058m\174w\129\023S\151p\152L\n (\173\019\207~\241\245C\030\133\215\224\234\207/\022\026\233\231\172\1387\137\244\144\156eK\163\174\137\002\1694\185QZ,}\200\194\206\138\208\134\215\198\248(\2455\\C\141P\\$\230M\156\201H\127\165\148V\176dr[!\163\142\199\215\234*\030\156A\166\189,\252\237\181\248\218\141`\"\b\194\238\251\005v\019\003d\184B%p\007\020\207\137\151\n\221\134\241\213iQD\249\239\143U\005H\224\235e\132r\002r\236$\002\154\199o\007\176\003\138wCIl\002\201\135\179`+MU\238G(\167O\223mh`\155I\024\228\022\175\217\151\156\025\174\160w}\192P\191pA$\019GF\207\206\229\216\218\017\220*\140K\\\145\172k\015\2324DhW\004\232\218\147\019W\196\t\1738\229\184\167u\142\138k\162\187t\237\004\168\238\027\b\018\137pd\225\217\185<\164?q9C\194\245\203\170\127_\015\162\184\n\142\150` \145\137\188\011\197\\z\212\128\175\185A\183|)(\190\0164\179X\170e\192\201\199+S\021\214\132z\215\153N\150)\011\249g\249\1698y\176\176\026\165\224b1L({\006\185}\012\145\139\018p\228\235\1852\247 \025\175<\246Np\130\193i)\200\197)\199\171\026P*\238\023\"\134\224\164 U(|\163\180\200\170\"9\217\166Hu\186k\251\131\167\248\161\236j\016\179tZ\134\226Hn-\255\144\160:ji21\190\175\227?OJ\215,\204P$\132\027\190\233\248(\170C\131\147]_\020\235\0315\127\011+\141\2318\001\025b}\025_\162\240\023g\007Q\204H$\t\166\031$P\222yG\187\151\199\128\176\193\151\007\015\135\182\230\165i\022\166\163\144T\138\000\206\021\024\185tI>\195g\162\001\003\135\245y\006w\136\254\215\183\232f\171\b~Z\245\014}\007_\163\248j=\024Z\007\170\137\173i\220\250~\210a\189\156\195\128 \192\224p\019\\$\192+3\005\228\128:\020\243hE\131w\011\206\136\193J\182\212G\012\177\136D \201?v]\249b\149P\1618+\211mQpS,u\018\153O~\177\127~E\174 \167\2009:$\223\169\025\148\253L\012\t\222\202\130\226\181\0302a\018\138\t\144\017H\234\137@\129uiY\014!T\158\175\012\207^\156)\020?\023\250dM:\129\005{\017\135\127{\217\175\021s\0018$\012\012PICXtT8\150\193s\n\131\243^\249!XrgI\200\184\208?:&\244\235\138\140'N\166\223\182\003\235\158O~\019\153#\166\196#\244w(\255\143\152\191\151)\030(\019O\180\177^x3\021\223\027\031*\002\190\r\248\242\003Jn\171!(\144\161\230\017y\030\001\223\195km\229\243@#\143\143\236_\185\178\160v\191\151#\r\177L\251%\240b\213\156\183\217~\189\001\200O\176(G\232sy\159k\223eJ\190\"\014'\160\140\200\245l\031\152\153\196xC\184\029\175\242\231\028C\030&E\137+\191\160\005\017\225\151r\005\250\172\173\172qY\226\023QD\142t[${\0225\"\193s\139\234\143S\240h\153\186tK\183\170T\143\247\018\185\190?\195>\227\"O\203\143OwP \007d$\007\\#\213^\188\020\193\192\131pF\030\131\255N\192\247)E\148\140i\132\219\128a\004\156\000\133\n\001A\135\231|\1270\178+\178\011\n\011\195_m +\163\007c\006!\027\229\130\175\191\132\194\139ik\235h\239\232\232\236\134TdA\157\235\027mGG\152n{g\167\236\228E\001\159 \228u|S\232\228\t\t\012_<)\019ie\215\184\182\214\021\028\0022+\215fA\016\252\251\030\137Aj\201o\140\204\r\207>\148\223Si\245\229h h\238\241\214\135D]\250\233\158l\254\182x\217\128\163\236\215\191\235\178v\185l\002\"\151\176\245\144\237\196\030#\167\131\030\23363J\\\249\220\138\215\224\237\191\238\252\133\243q\183\164\bm\156Kx\004\017\014\2393o\213.\186A\182\209\182\192\181\174\004d\177\159$\220\238\156o\136\203\136\218\179\006\245)\021\161\225\237\174;\019\157\226z\011qCi[Mi\244\199\205r1[,\154\023\011\t\228\175\177\238\216,\223\252\140o\020\180b\022j\214r\243\145\198\200\222\b7bAd~D\168\255'\154\030I\173\242\188\211\162\215p\221\223\151U7xk\185\147\218-[\152\196\172\180\140,\135\208\156>\193\229[\140TNytz{\131-&*\164\140vS\178V^\030\202\210\201\028\186\195$\190\130\156\153\150\161\254\025\004\146*\203\199\178\154\201\189\244\143\136\137\007[\239Hd3\202\024U\157\140\026w[L\224\244OR\151\243i\005?\132\156\r\r\219\016\024\246\172Oc'x\214\200\227\199\026\234\235\214B\246\031\222\tZ\031\030|9<\232Hh\2243\154\252\130\182,\131\224\205\016\252;2\236I\2373{F\180\246\019!!\007n\\=y\141\203\138pk\206E\003\018\196*\216q='{\183\155P0\230^?l|30u\190\165\228\135xH\231\206\160\133\191\014C\166\030b\131$\220`!\135\240\217w5.\146x\234\202z\209\178\213!\165\234L\247\129\2078\194\136L\162\251\155;D\200\247gt\173\229T\162\154]\244\164\202\248}T\171\179[\174\161\181\247\0244\141\188\219\217\026E\206\202\005\149\233TK\006;s?\t\015@7B\173\251>7\174\174:\234v-\206K\208\181\180\188\245&EI\234\218\176hA|y\202\178\151\023Z\019\187\187M\137\141\243,\180\212lF\019D\179\170\022\230\137\028;M\197\216\179\244Z\180\220FH\250u\025m\227\130\150\249\186\243\228\172[oq\176$'\006\232\133\127\252a\r\153\029\016\188-\031\223\149\"\217\190\166]&d\229y\191\245>\254cS\246\128\244\192\192x`\246\191\151wk\012i[\236\183\221\151\031\025o\1383C >0=\208\03005" @@ -346,8 +348,6 @@ module Internal = struct let d_c7561e7d22eb89e10083cfba7680012c = "-1,6,4,11,10,11z\",baraboveleftarrow:\"M400000 620h-399890l3 -3c68.7 -52.7 113.7 -120 135 -202\\nc4 -14.7 6 -23 6 -25c0 -7.3 -7 -11 -21 -11c-8 0 -13.2 0.8 -15.5 2.5\\nc-2.3 1.7 -4.2 5.8 -5.5 12.5c-1.3 4.7 -2.7 10.3 -4 17c-12 48.7 -34.8 92 -68.5 130\\ns-74.2 66.3 -121.5 85c-10 4 -16 7.7 -18 11c0 8.7 6 14.3 18 17c47.3 18.7 87.8 47\\n121.5 85s56.5 81.3 68.5 130c0.7 2 1.3 5 2 9s1.2 6.7 1.5 8c0.3 1.3 1 3.3 2 6\\ns2.2 4.5 3.5 5.5c1.3 1 3.3 1.8 6 2.5s6 1 10 1c14 0 21 -3.7 21 -11\\nc0 -2 -2 -10.3 -6 -25c-20 -79.3 -65 -146.7 -135 -202l-3 -3h399890z\\nM100 620v40h399900v-40z M0 241v40h399900v-40zM0 241v40h399900v-40z\",rightarrowabovebar:\"M0 241v40h399891c-47.3 35.3-84 78-110 128-16.7 32\\n-27.7 63.7-33 95 0 1.3-.2 2.7-.5 4-.3 1.3-.5 2.3-.5 3 0 7.3 6.7 11 20 11 8 0\\n13.2-.8 15.5-2.5 2.3-1.7 4.2-5.5 5.5-11.5 2-13.3 5.7-27 11-41 14.7-44.7 39\\n-84.5 73-119.5s73.7-60.2 119-75.5c6-2 9-5.7 9-11s-3-9-9-11c-45.3-15.3-85-40.5\\n-119-75.5s-58.3-74.8-73-119.5c-4.7-14-8.3-27.3-11-40-1.3-6.7-3.2-10.8-5.5\\n-12.5-2.3-1.7-7.5-2.5-15.5-2.5-14 0-21 3.7-21 11 0 2 2 10.3 6 25 20.7 83.3 67\\n151.7 139 205zm96 379h399894v40H0zm0 0h399904v40H0z\",baraboveshortleftharpoon:\"M507,435c-4,4,-6.3,8.7,-7,14c0,5.3,0.7,9,2,11\\nc1.3,2,5.3,5.3,12,10c90.7,54,156,130,196,228c3.3,10.7,6.3,16.3,9,17\\nc2,0.7,5,1,9,1c0,0,5,0,5,0c10.7,0,16.7,-2,18,-6c2,-2.7,1,-9.7,-3,-21\\nc-32,-87.3,-82.7,-157.7,-152,-211c0,0,-3,-3,-3,-3l399351,0l0,-40\\nc-398570,0,-399437,0,-399437,0z M593 435 v40 H399500 v-40z\\nM0 281 v-40 H399908 v40z M0 281 v-40 H399908 v40z\",rightharpoonaboveshortbar:\"M0,241 l0,40c399126,0,399993,0,399993,0\\nc4.7,-4.7,7,-9.3,7,-14c0,-9.3,-3.7,-15.3,-11,-18c-92.7,-56.7,-159,-133.7,-199,\\n-231c-3.3,-9.3,-6,-14.7,-8,-16c-2,-1.3,-7,-2,-15,-2c-10.7,0,-16.7,2,-18,6\\nc-2,2.7,-1,9.7,3,21c15.3,42,36.7,81.8,64,119.5c27.3,37.7,58,69.2,92,94.5z\\nM0 241 v40 H399908 v-40z M0 475 v-40 H399500 v40z M0 475 v-40 H399500 v40z\",shortbaraboveleftharpoon:\"M7,435c-4,4,-6.3,8.7,-7,14c0,5.3,0.7,9,2,11\\nc1.3,2,5.3,5.3,12,10c90.7,54,156,130,196,228c3.3,10.7,6.3,16.3,9,17c2,0.7,5,1,9,\\n1c0,0,5,0,5,0c10.7,0,16.7,-2,18,-6c2,-2.7,1,-9.7,-3,-21c-32,-87.3,-82.7,-157.7,\\n-152,-211c0,0,-3,-3,-3,-3l399907,0l0,-40c-399126,0,-399993,0,-399993,0z\\nM93 435 v40 H400000 v-40z M500 241 v40 H400000 v-40z M500 241 v40 H400000 v-40z\",shortrightharpoonabovebar:\"M53,241l0,40c398570,0,399437,0,399437,0\\nc4.7,-4.7,7,-9.3,7,-14c0,-9.3,-3.7,-15.3,-11,-18c-92.7,-56.7,-159,-133.7,-199,\\n-231c-3.3,-9.3,-6,-14.7,-8,-16c-2,-1.3,-7,-2,-15,-2c-10.7,0,-16.7,2,-18,6\\nc-2,2.7,-1,9.7,3,21c15.3,42,36.7,81.8,64,119.5c27.3,37.7,58,69.2,92,94.5z\\nM500 241 v40 H399408 v-40z M500 435 v40 H400000 v-40z\"},A=function(){function e(e){this.children=void 0,this.classes=void 0,this.height=void 0,this.depth=void 0,this.maxFontSize=void 0,this.style=void 0,this.children=e,this.classes=[],this.height=0,this.depth=0,this.maxFontSize=0,this.style={}}var t=e.prototype;return t.hasClass=function(e){return l.contains(this.classes,e)},t.toNode=function(){for(var e=document.createDocumentFragment(),t=0;t a.anchor {\n margin-left: -2.3em;\n padding-right: 0.9em;\n}\n\n.xref-unresolved {\n color: #2C94BD;\n}\n.xref-unresolved:hover {\n box-shadow: 0 1px 0 0 var(--xref-shadow);\n}\n\n/* Source links float inside preformated text or headings. */\na.source_link {\n float: right;\n color: var(--source-color);\n font-family: \"Fira Sans\", Helvetica, Arial, sans-serif;\n font-size: initial;\n}\n\n/* Section and document divisions.\n Until at least 4.03 many of the modules of the stdlib start at .h7,\n we restart the sequence there like h2 */\n\nh1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10 {\n font-family: \"Fira Sans\", Helvetica, Arial, sans-serif;\n font-weight: 400;\n padding-top: 0.1em;\n line-height: 1.2;\n overflow-wrap: break-word;\n}\n\nh1 {\n font-weight: 500;\n font-size: 2.441em;\n}\n\nh1 {\n font-weight: 500;\n font-size: 1.953em;\n box-shadow: 0 1px 0 0 var(--header-shadow);\n}\n\nh2 {\n font-size: 1.563em;\n}\n\nh3 {\n font-size: 1.25em;\n}\n\nsmall, .font_small {\n font-size: 0.8em;\n}\n\nh1 code, h1 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh2 code, h2 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh3 code, h3 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh3 code, h3 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh4 {\n font-size: 1.12em;\n}\n\n/* Comment delimiters, hidden but accessible to screen readers and \n selected for copy/pasting */\n\n/* Taken from bootstrap */\n/* See also https://stackoverflow.com/a/27769435/4220738 */\n.comment-delim {\n position: absolute;\n width: 1px;\n height: 1px;\n padding: 0;\n margin: -1px;\n overflow: hidden;\n clip: rect(0, 0, 0, 0);\n white-space: nowrap;\n border: 0;\n}\n\n/* Preformatted and code */\n\ntt, code, pre {\n font-family: \"Fira Mono\", courier;\n font-weight: 400;\n}\n\n.odoc pre {\n padding: 0.1em;\n border: 1px solid var(--pre-border-color);\n border-radius: 5px;\n overflow-x: auto;\n}\n\n.odoc p code,\n.odoc li code {\n background-color: var(--li-code-background);\n color: var(--li-code-color);\n border-radius: 3px;\n padding: 0 0.3ex;\n}\n\np a > code, li a > code {\n color: var(--link-color);\n}\n\n.odoc code {\n white-space: pre-wrap;\n}\n\n/* Code blocks (e.g. Examples) */\n\n.odoc pre code {\n font-size: 0.893rem;\n}\n\n/* Code lexemes */\n\n.keyword {\n font-weight: 500;\n}\n\n.arrow { white-space: nowrap }\n\n/* Module member specification */\n\n.spec {\n background-color: var(--spec-summary-background);\n border-radius: 3px;\n border-left: 4px solid var(--spec-summary-border-color);\n border-right: 5px solid transparent;\n padding: 0.35em 0.5em;\n}\n\n.spec .label, .spec .optlabel {\n color: var(--spec-label-color);\n}\n\nli:not(:last-child) > .def-doc {\n margin-bottom: 15px;\n}\n\n/* Spacing between items */\ndiv.odoc-spec,.odoc-include {\n margin-bottom: 2em;\n}\n\n.spec.type .variant p, .spec.type .record p {\n margin: 5px;\n}\n\n.spec.type .variant, .spec.type .record {\n margin-left: 2ch;\n list-style: none;\n display: flex;\n flex-wrap: wrap;\n row-gap: 4px;\n}\n\n.spec.type .record > code, .spec.type .variant > code {\n min-width: 40%;\n}\n\n.spec.type > ol {\n margin-top: 0;\n margin-bottom: 0;\n}\n\n.spec.type .record > .def-doc, .spec.type .variant > .def-doc {\n min-width:50%;\n padding: 0.25em 0.5em;\n margin-left: 10%;\n border-radius: 3px;" - let d_c944c4231e7f55bf51e901122847a341 = "\028\223\145?,\252\234\242W\023\136\248\147\007\128\005\218\194uP?\177de$\127\242\016\176\140\017\130\198\024\178\129\026\208\252\236\150\217\180\250\233\2533#\131\135o&\181\246\220\1363\017\236\"\0300\158\155\176\004\226\217L^\185]N\247\015\240\007]\248gE\253\202\205\197\145\146\213\181\252\156\147n\020\250\178`(\134\210\1911}\219\016\234&\029\178\004\151\190\246\137\029\186\176 \216M\149xn\012F,\006\026\237\230p\239K$\244(\137\175\182b\250\165+L\141G1\2555\025\019/\163\237\154m\193\134_\153\213\184\197,\167C\028Hf\0072\166\134=\227\153\b/\178\204\1864\025*\142\172\b\155\224\142n/\23321^\127Fh\228w\210w\178\011l\141\225\136\221\213\021\183\240\014vu\184, \"\248a\182\220\142\234\019eu\164\183\022\163_\170<\133\142\190\022\149n\bt\201/N$\003\210 \155\023\148\003\188\201v\151\201\185TM\178\199523Y\175\012\173\173\2454#Z\029\166\231TM\022\141j\186\176\171B\171i\2327\011\174P\026\254a\220\240\239-Z\188\"NP\148\139\217\2140\208\218\150\237K\219${V\165\019\018\254\219\220\231=q\t\183\236\"\182I\019\135\232i\245\155\2514}\163U\254.\193,\216,\138y$\000\1786\184\n\015\139\t\215\186\161~\215z\144!\237u\027\190\162[=\012\255ML\152\163zy\249\228\170\222\030V\170z\142\214\178\200PN\016\233\005`\203\224\188\158L\181{W\004\154e{\167S)qP\175\175\205JE=x\220\185\167\200\255\146\151\150Y\158\196(T\178r\020\127x\140\147*)\168I\151jt\179u\204\177\244\1571(]\250\147G\204\165\221E\232\017czD\149{t\130\240oL\245\197\024p\007l\022\199\220\018\021\178\248\206mC(%3\168\132M\198\144\017\217\246\205\186\021\011\243!\255>,Ntqob\2283\151\149]\030\147^vyuB\248\230\221I\029\247\254\159\023}\214\231g\155\202\213t\187Y\200|]\211\135\015C<\2385J\183x\003\147vB^\239u\235B\250c<\155\180\251Z4\205Y\136\187\003\\t\011:\028\210:V\157r\229\220\149\004\142[\230!\021\251Vsx\003\220R\164\014\244\2559Q\158\202\163\026sP5\181\018\250moI!\236,t\2154X\169\224\202\162\246^\022\166zie\030\203V\149\149Xlh\187Q/i\002\149\149lZ\n\134\028x\028k\194\221<\003\182;\157\127\021*\136\245\151k(\148\183\195\240\2284<\185q2\031\2409t\162\238\140\\\2372\191\001I\220\220\168\198!\231s\227\026[\019\198\015O\174\135'S\239\1421\232\233>pR\128\022\185\173\172\017u%&\011\139\012A3_\143q{\171\151\242y\000\199V\2236\198\014\170\191>\183z\189\240\249\204`rU\164u\t\188\152\206U\199F\218T.\236\253\154\001!\185\003\240x\254\159s\232\219\015\005\015\141\026\203\015\249\168\161o\166\197+\207e\"f~}r\253\150\217\021\200\133\168\196~Hx\207\2185k\217\014F\221;$\242O|\029P\154\229\002\244\129sq\175Fb\240\153K\167\180\154F\129\184-\167\241\170R\156\"\171|\243\007d\153\209,\167\001\166\129Nq\b\229\130\\\175\197\137\136*\200\151,\229\178m\012\1658%gn\192s\183\194c\019#\025\209\155\019[3\225\216*\128\248_\170\182\165\165\017\2058\246\170Kk$\t5\163\152+n\157\137D\207\196fa\177\227\176\216\017\2493\007Zh\222\175\167\186\240\251\2313q\171\144\215\182y\231\218n\210BT\22624\188of\231V~\128E\249\128JQ\225U:`I\015WG\031\152\015\212\177\180t\1333\170_>m655\002\237\227\n\183&\203E\216\026\187\2125T\165\203\170d\206\n\228(?\141v\236\169j\162\142FUc\172\r\250\164{TYp\015\0265\151\237\030.\219\141\002{\254wy\221\157}\187\136\151;+/\211=pC\216\"\255\222.\000\004h\0275\224A\158y>\184\128\147^\131\014.\168\188P'1\250\194.\165h|\220\149\208\156y\198\023\242\200y3\189\254\150\214\204X\239\176\249\189\237\179\233\230}B\227\016G\017\206\149\182\169\245\030\196\160pL\199r\019\137\000\233\001=Y\253\002SE\203CZ\002\237]T\181\128\002\139\213,\016w\242\132\241\1562\000\196X<\007orO\227n\"\192\172\231\005\219\164\022g\214e\148\202\028j\236\232\031B\128N\186\185\176'D\148\147\137\187I\184\202\203\207`\234\254;>\184\142a\165\209\148L\222\249\249\182\\\242\161y\196\"\022\194?]\1873\139\1406\200]L\003\147\226\018)\004#}v\143\229.\166\199\169j\200\170\216\027\b*\177\142\137>\171n\182\026i\163\030C\019\144L\230\233i\179f\154\189\130\181\254\215\159\137\166\172\160\178\142H\142Dh\202\184\b\167\220\239\170]~V\221XOe\233\141\n\131\232\129RS\021H\023\242\155\028-u\165S\229\149\137T\151R\235g\148\158U\139h\212\004\164\023B\1662\021vB}\189\022\215y\145T\143\191\134\175\186SK,\005\202k\187\209%\147\021\204;W\001\129\019\240\030\005\235YPo\b\226\189Y\168<\b\183\212\204~\229F\197\172\176\152\213\0208\002\2454\018\153\231x\\\150\197I\019\186\185\138\151\222`\145\239\208\216L\244\127\026\204'\160\177\138\202\155\002\030\195fc\212\235\212v\189\137?\1450\003\194\245k\1788R\219\019\219\248\168\247\136\nj%\175\140\160l\168\192\201+\149\137#\133\192+\025'\230\182\226\018\216@\224<\143\193\145\158\183\227\132\026[#\219\030!\176\005\252\022\181Nf\0170\128fb\203\218{\200R\237\220\209\243\227\2294\206\018\250fT\217\153\1915{\185\229_\1639\168\179z]\227=\174\020\174u\151\132%\128\253Q4\243\003\030\155e\178Q\234\205oR\168\021\146\138\154L%v\011\131\015r\229\227\247\182\018?\244nF\151\220z\023\169\198/\189mz:^u\021hm\190M\156\026\208\1957+\214\207\026\"\022\143\209\017\011^\194mC\185\218c\000\127\162e\194\174\236Y\177\030\201L\143I\023\236XY\183}M#\021q\135Vpt\188\179\162`\235x\129\251\206\026\012\017O\196\2300D\002\177\230\251\215>d\147\137\242\223Hlcc\"\0064\185e\014S\246\167\218\185\197\170<\183\r?\250\253\172n\248\133\245\240\156\229\225\236\"\255W\166'\157\182\219\132\1393\031\1563?h\171\190\169\019<\219\b\245\232\235v\182\190\137\225\231M\164P\143\150\255\236@\139\150\184\190\r0\012\173Md\191\226\005\207\014\175\028\177p\253\214\173Z=\031n\150s\136\202\212U\\\235v\020\152\153-\158E2d%3\160w\137(S\173\022\000t@$9\189\229e\207W\022\179\239\217v\225\185\183\194\142F.Q\233\186\134k=\129\134\210\179\197\211(\006\157\216\255\215?\1344\226\180\n\165~7_\012\222\150\163e\240A\001\188\nT9\201h\175*\007\198\219\145\005\204\253\176\212W\176\020\137\241\184V\244zM.i\131\134\160F\244\186,\167#ok{\131ahm\"\253\157!~}\248\162C\161\175\153\007\148\213\175\012.\172\241j(\165\168\250\247\003K\193U\139)\133\254PK\163\162\012\137|\002\011C\030\195\021eH\002\031\234\201\1494\165\015cix\200\239\173f\193\183S\222\203\131\197\251\210\159\245\193b\223\022\002\231\234\202\030\227\189\140\239\180T_\230\243\206\163QW\129Gw\206\164\016G#\148\2374\155\139M\209\213gj\167\172\227\r\207f/\250\219\011\224%`Nnb\027\147>\215y\225\b\163\184s6U\228\241\b8\217\005\146\247\021\174\166\007\162\138\138`\207k$5\169S\215\221|\205\153(\016\187\020\158\166\139Q\249\237[\236}u4\bT\185\020\150|\247\205\1721\240\005d\183\164\253\142\183\b\167\227\029x)\241\178\157\187\243]\176\163`/n\231{`\199\203\239\234\184\007_N\188T\208\251N\028U\154\007y6\232\228\251\182\224\176\223\226\142ZO\169Z\222W\240U\248\160\145\209\165ok\237o\186\234\211T\r[_P\186)Z\182C]l\202\186\000\230\186D\155\177\168t{\164t\179\017\\\252\249\229\223\194\232?\"\240F\195]\179\145\t\200Yf\211]\147i9\160Xb\180\2205[Xr\128i6\2235\154\240\170#\131\002\185D\146\229\243\199%\r\227\252\182m\189->\173\173}\168\029V\182#Z\186\237\137\016k\169Q-U\196\027\140B>\225\1917Zj\154[\228\182\182\214 \168ts\180l\155\023\006\200U*@h\230\222\164\225\193\1382n\159\209\173\170R\253\142\210}\003\182\190\141\210>\182\208\208\164T\144\181\229\205\224\244\017}1m\197\208\200\210\030\015J\171\000[\029(\157\138\148=0\148J\155%|\243\235[\136v\189\222\030\134\197o\131\180\183\161\193lA3\023\021\187\006\t\251;\233\026h@\t\214*\224\025\136\167'\029\202I\131\014!j\007F\0228\244\t\144\006\233f\192\214i\144v\0261<\142\024\206\146\220\031\ru\233\025`&\129\185\140i\127:n\223\140\015\142y\253zgv\168\003V\182'V\186\187\011\162\177\234\181\031\155\177\\\153Y(\198c>\247\161\157^\021\131\214\236\149\200\151\149\237\142\150\237.0\147\1395\154\239UH\nW\206``\027\1282.;B\223v\015\165\251\014d}\007\169}\220\209\160V\144\212\229\241(\\\163\189w|\201`\139\004\186\141J\252\224\222\225\246\140Q\204\177\252\186\133d\015\133\155\003E]O.\129'\225\233\167I\208\177\135\238\017,\165\000i\149E}P" let d_cabefc6c9607b95a33af32a8c8832767 = "gOpSpacing1:[.111,.111,.111],bigOpSpacing2:[.166,.166,.166],bigOpSpacing3:[.2,.2,.2],bigOpSpacing4:[.6,.611,.611],bigOpSpacing5:[.1,.143,.143],sqrtRuleThickness:[.04,.04,.04],ptPerEm:[10,10,10],doubleRuleSep:[.2,.2,.2],arrayRuleWidth:[.04,.04,.04],fboxsep:[.3,.3,.3],fboxrule:[.04,.04,.04]},C={\"\\xc5\":\"A\",\"\\xd0\":\"D\",\"\\xde\":\"o\",\"\\xe5\":\"a\",\"\\xf0\":\"d\",\"\\xfe\":\"o\",\"\\u0410\":\"A\",\"\\u0411\":\"B\",\"\\u0412\":\"B\",\"\\u0413\":\"F\",\"\\u0414\":\"A\",\"\\u0415\":\"E\",\"\\u0416\":\"K\",\"\\u0417\":\"3\",\"\\u0418\":\"N\",\"\\u0419\":\"N\",\"\\u041a\":\"K\",\"\\u041b\":\"N\",\"\\u041c\":\"M\",\"\\u041d\":\"H\",\"\\u041e\":\"O\",\"\\u041f\":\"N\",\"\\u0420\":\"P\",\"\\u0421\":\"C\",\"\\u0422\":\"T\",\"\\u0423\":\"y\",\"\\u0424\":\"O\",\"\\u0425\":\"X\",\"\\u0426\":\"U\",\"\\u0427\":\"h\",\"\\u0428\":\"W\",\"\\u0429\":\"W\",\"\\u042a\":\"B\",\"\\u042b\":\"X\",\"\\u042c\":\"B\",\"\\u042d\":\"3\",\"\\u042e\":\"X\",\"\\u042f\":\"R\",\"\\u0430\":\"a\",\"\\u0431\":\"b\",\"\\u0432\":\"a\",\"\\u0433\":\"r\",\"\\u0434\":\"y\",\"\\u0435\":\"e\",\"\\u0436\":\"m\",\"\\u0437\":\"e\",\"\\u0438\":\"n\",\"\\u0439\":\"n\",\"\\u043a\":\"n\",\"\\u043b\":\"n\",\"\\u043c\":\"m\",\"\\u043d\":\"n\",\"\\u043e\":\"o\",\"\\u043f\":\"n\",\"\\u0440\":\"p\",\"\\u0441\":\"c\",\"\\u0442\":\"o\",\"\\u0443\":\"y\",\"\\u0444\":\"b\",\"\\u0445\":\"x\",\"\\u0446\":\"n\",\"\\u0447\":\"n\",\"\\u0448\":\"w\",\"\\u0449\":\"w\",\"\\u044a\":\"a\",\"\\u044b\":\"m\",\"\\u044c\":\"a\",\"\\u044d\":\"e\",\"\\u044e\":\"m\",\"\\u044f\":\"r\"};function q(e,t,r){if(!T[t])throw new Error(\"Font metrics not found for font: \"+t+\".\");var n=e.charCodeAt(0),a=T[t][n];if(!a&&e[0]in C&&(n=C[e[0]].charCodeAt(0),a=T[t][n]),a||\"text\"!==r||S(n)&&(a=T[t][77]),a)return{depth:a[0],height:a[1],italic:a[2],skew:a[3],width:a[4]}}var N={};var I=[[1,1,1],[2,1,1],[3,1,1],[4,2,1],[5,2,1],[6,3,1],[7,4,2],[8,6,3],[9,7,6],[10,8,7],[11,10,9]],R=[.5,.6,.7,.8,.9,1,1.2,1.44,1.728,2.074,2.488],O=function(e,t){return t.size<2?e:I[e-1][t.size-1]},H=function(){function e(t){this.style=void 0,this.color=void 0,this.size=void 0,this.textSize=void 0,this.phantom=void 0,this.font=void 0,this.fontFamily=void 0,this.fontWeight=void 0,this.fontShape=void 0,this.sizeMultiplier=void 0,this.maxSize=void 0,this.minRuleThickness=void 0,this._fontMetrics=void 0,this.style=t.style,this.color=t.color,this.size=t.size||e.BASESIZE,this.textSize=t.textSize||this.size,this.phantom=!!t.phantom,this.font=t.font||\"\",this.fontFamily=t.fontFamily||\"\",this.fontWeight=t.fontWeight||\"\",this.fontShape=t.fontShape||\"\",this.sizeMultiplier=R[this.size-1],this.maxSize=t.maxSize,this.minRuleThickness=t.minRuleThickness,this._fontMetrics=void 0}var t=e.prototype;return t.extend=function(t){var r={style:this.style,size:this.size,textSize:this.textSize,color:this.color,phantom:this.phantom,font:this.font,fontFamily:this.fontFamily,fontWeight:this.fontWeight,fontShape:this.fontShape,maxSize:this.maxSize,minRuleThickness:this.minRuleThickness};for(var n in t)t.hasOwnProperty(n)&&(r[n]=t[n]);return new e(r)},t.havingStyle=function(e){return this.style===e?this:this.extend({style:e,size:O(this.textSize,e)})},t.havingCrampedStyle=function(){return this.havingStyle(this.style.cramp())},t.havingSize=function(e){return this.size===e&&this.textSize===e?this:this.extend({style:this.style.text(),size:e,textSize:e,sizeMultiplier:R[e-1]})},t.havingBaseStyle=function(t){t=t||this.style.text();var r=O(e.BASESIZE,t);return this.size===r&&this.textSize===e.BASESIZE&&this.style===t?this:this.extend({style:t,size:r})},t.havingBaseSizing=function(){var e;switch(this.style.id){case 4:case 5:e=3;break;case 6:case 7:e=1;break;default:e=6}return this.extend({style:this.style.text(),size:e})},t.withColor=function(e){return this.extend({color:e})},t.withPhantom=function(){return this.extend({phantom:!0})},t.withFont=function(e){return this.extend({font:e})},t.withTextFontFamily=function(e){return this.extend({fontFamily:e,font:\"\"})},t.withTextFontWeight=function(e){return this.extend({fontWeight:e,font:\"\"})},t.withTextFontShape=function(e){return this.extend({fontShape:e,font:\"\"})},t.sizingClasses=function(e){return e.size!==this.size?[\"sizing\",\"reset-size\"+e.size,\"size\"+this.size]:[]},t.baseSizingClasses=function(){return this.size!==e.BASESIZE?[\"sizing\",\"reset-size\"+this.size,\"size\"+e.BASESIZE]:[]},t.fontMetrics=function(){return this._fontMetrics||(this._fontMetrics=function(e){var " @@ -499,7 +499,7 @@ module Internal = struct | "highlight.pack.js" | "/highlight.pack.js" -> Some [ d_6b9eea5bd2cdd91f629293ab3b8808d1; d_30baf6fb746860926fdd280eefc46735; d_7df05ceea77c14d78f1f1df8f98def4f; d_106b469c9254e3a72af1bc5085256cca; d_5fcd7eba230acf47d54c1897a9a9c394; d_df9507781455088adf4ca1bd7fc0a321; d_b223e3337242ba6cf0905995918760a5; d_d6a1be8caf2478248edb48ee82070d9e; d_98850966979dd224456f716b44220d69; d_9873a9ace25bcd721b8eeb6b8dad71cf; d_b23657c0bc089d459bc6099791f97c23; d_f9c0b1a6ea9c119cb0f7ead5c3dac542; d_80a0027403c5ad56c7da4589713b2348; d_fe8f6a1f53d067d447bae579dc60d6f0; ] | "katex.min.css" | "/katex.min.css" -> Some [ d_2d798108ddda42cb699f6ad4421e720e; d_b128d6f091a42be5d7a929703f09ac36; d_1476b6e94be68e530a90bd0723d69c88; d_e357f75b8a7d9a6031bbdc38adcf1422; d_ad152fcf832897f8629ca758460f3d22; d_7c9075f31df2a532c3135ae327c84a92; ] | "katex.min.js" | "/katex.min.js" -> Some [ d_0c2c3443b618aef3ac4519dd2b159bbe; d_a2070486fb8e9102cd1537ebd1216a96; d_48a6338945c47ceb84d335248c3d6873; d_ad48849637d7c8349cb3e6952d5c8699; d_32baa17e8a53bbd439c58b0d89bc0503; d_c7561e7d22eb89e10083cfba7680012c; d_d04b09d89ef0b9af8a297a3592a2e4b1; d_c0cf7351fa27f73a72840e453c4b15f3; d_fadfd470a088dde5c3755136ac4b6188; d_326148c9e075f26f4dd5ee3862f61cf6; d_a55141bd5690b03d71c9675038f73b3f; d_225bdd9918928e02697ef5570454bf56; d_bf8e1c09c2162b9bb4b6578a59cc8069; d_bb5a8ed07dc95fa6f9f51938da398a35; d_b93e718b1ddefad06d18d9736584ad78; d_e12a510e69c6b3e0210294eedc2c3be3; d_bf043adf1d8ba761903c6f3447bae9d3; d_80ae3e22d162129b593049c0dc7f2407; d_d7b447b6bfc36721f581470728505547; d_92e0c0a734f49413d685531ad3f0a03e; d_cabefc6c9607b95a33af32a8c8832767; d_a03f60fbbac88837b2763d52df2c0820; d_5795c26325c462426548bd12ff6ef7a1; d_c0939c104021af2b0d9b24c7102061f2; d_3a7455b94742964a6cc5e84e314a6cfb; d_dc2a908015f68e5bff245fff4e602604; d_96c4d8e2622ac6552ccf67643b20f09c; d_37935d98135b118d937e895f4bb55add; d_efe21915ced6043dcaa8ff576e7948c7; d_fe0aa5b4043d6894e289163dd38508b7; d_dc29762de1ae6c28b3b3cc202f52ac6f; d_2c5af911fa1596ad2eef3a7e342be949; d_01738333fc004372ab1ae8bc7d370677; d_0d6ec6387686b4173900d29c91f338ee; d_5f9942b4d85184e45b9addfc25ca6fd4; d_105a9e030400f28a404c6badd930fe01; d_79c029f6f746a52f4a8bc8b6280c5c88; d_3a50124eae7017a15bb92024b9f6c8ad; d_d1d8d575696cbb5a4994efc9e2862948; d_a6e92521674c97f4d1bd649490d8a987; d_8f38ae17980f4039d715823515fd56d0; d_a841840589a3efb0465e49e0d8f985b5; d_e33d592534625de6438003412e1d8813; d_5b12b53efc1e6da3a434634e81c2251b; d_c7270ab94b84005c36e6e864e6ea5b10; d_5e57240b8ff6745d663ebd2060201199; d_02c9bc01125e92ce389d2ac93e62d14b; d_0d4c13a0e6487657499a2f37795ab83b; d_8ff622534e1e1348711c11358657050b; d_a8b5fa32242a1d360076af4bdc9dafbe; d_725c52bce5d22dff34816d0cea74cf51; d_a6db9cb29ea27586d2138cf4f8710b12; d_31ee9944b6c75c4351486bc790988371; d_1005d4f63119125aeb03e8a2fa265969; d_9ff5a6ec97f55e01b81f13d9d3f0ff67; d_f361846717ba3e91093152df70d5aab3; d_e462cdcfecbc18ac1f1e447bf1ed3697; d_0d5bde992f9fa1c53103cd024ff5833b; d_1b66f4e8c1fbc1c74875f8da050cc1d0; d_bad0217136fdcd657898ee631bd512d1; d_428c2b0f069b4ffaef294dc85aef1e4b; d_cb988ca0480d611a7c52551adcc9ed48; d_cdc6e947cdb2e0bb7fae7f338ffa12a0; d_f56cd226d59f4d3190a095998f97ac56; d_f5d214c6b91ee7f61f5a433fcdd70682; d_f4caf2cb8610b6735641c064e6453b79; d_da739bd79e1901a19d34fbf2d1a16298; ] - | "odoc.css" | "/odoc.css" -> Some [ d_716cf074e5806616f6d61aeb32dbe70e; d_5e2b862c0123f3c6d90905cdbb16db48; d_c922020ebe172a0d6640fa13b2060180; d_76f7b414a17c3c308e50e9c94ef0bd61; d_c336640d81749e44caff7ff23eb8c2be; ] + | "odoc.css" | "/odoc.css" -> Some [ d_716cf074e5806616f6d61aeb32dbe70e; d_2f5e154e0545511e50fc92f99bcdc8c4; d_80867d70613303c4412a2a18b38d689e; d_13ebc6cdcb1f71fa352b660e5e0d8a88; d_a7822b6a857860082b88bf153ba8b3c0; ] | _ -> None let file_list = [ "fonts/KaTeX_AMS-Regular.woff2"; "fonts/KaTeX_Caligraphic-Bold.woff2"; "fonts/KaTeX_Caligraphic-Regular.woff2"; "fonts/KaTeX_Fraktur-Bold.woff2"; "fonts/KaTeX_Fraktur-Regular.woff2"; "fonts/KaTeX_Main-Bold.woff2"; "fonts/KaTeX_Main-BoldItalic.woff2"; "fonts/KaTeX_Main-Italic.woff2"; "fonts/KaTeX_Main-Regular.woff2"; "fonts/KaTeX_Math-BoldItalic.woff2"; "fonts/KaTeX_Math-Italic.woff2"; "fonts/KaTeX_SansSerif-Bold.woff2"; "fonts/KaTeX_SansSerif-Italic.woff2"; "fonts/KaTeX_SansSerif-Regular.woff2"; "fonts/KaTeX_Script-Regular.woff2"; "fonts/KaTeX_Size1-Regular.woff2"; "fonts/KaTeX_Size2-Regular.woff2"; "fonts/KaTeX_Size3-Regular.woff2"; "fonts/KaTeX_Size4-Regular.woff2"; "fonts/KaTeX_Typewriter-Regular.woff2"; "fonts/fira-mono-v14-latin-500.woff2"; "fonts/fira-mono-v14-latin-regular.woff2"; "fonts/fira-sans-v17-latin-500.woff2"; "fonts/fira-sans-v17-latin-500italic.woff2"; "fonts/fira-sans-v17-latin-700.woff2"; "fonts/fira-sans-v17-latin-700italic.woff2"; "fonts/fira-sans-v17-latin-italic.woff2"; "fonts/fira-sans-v17-latin-regular.woff2"; "fonts/noticia-text-v15-latin-700.woff2"; "fonts/noticia-text-v15-latin-italic.woff2"; "fonts/noticia-text-v15-latin-regular.woff2"; "highlight.pack.js"; "katex.min.css"; "katex.min.js"; "odoc.css"; ] @@ -547,7 +547,7 @@ let hash = function | "highlight.pack.js" | "/highlight.pack.js" -> Some "f7f17015c0de1023c93929e3725a9248" | "katex.min.css" | "/katex.min.css" -> Some "1a262c83aa48d3ba34dd01c2ec6087d8" | "katex.min.js" | "/katex.min.js" -> Some "0376fd70eef224e946e13788118db3d1" - | "odoc.css" | "/odoc.css" -> Some "23938bdfc08c5fa45232aaa53202a624" + | "odoc.css" | "/odoc.css" -> Some "5d6c6e010cb2fcaafabf7fb766d48139" | _ -> None let size = function @@ -585,5 +585,5 @@ let size = function | "highlight.pack.js" | "/highlight.pack.js" -> Some 54535 | "katex.min.css" | "/katex.min.css" -> Some 20978 | "katex.min.js" | "/katex.min.js" -> Some 270376 - | "odoc.css" | "/odoc.css" -> Some 20072 + | "odoc.css" | "/odoc.css" -> Some 20037 | _ -> None