h\158UD\239L\247\177\191\225\232\205\187\129\206G\201fd\246\188N\200z\141\012\012\135\007\160K\253\164\014}\233\242\0157@K!\157\005\238\226_\167\t\240\143\020\015zms\022\180\167\233\202\219v\t3\131\236\232\222\140m\195\127\t\027\238\224Xm\130C[']\191\006xa2\019\238\226\252\015\2471\175J \133\219>1\229/\146\151\239\250\177\254 X\240\162\147\1630\176\133\231\249\188:\179\014\134\129\177\031~\189\006\166\195\188\169\175\135(\229\166%5\191\191\248Uy\172y\221/\127N\151#\131\229\190\160T\205t\145q\015#5`*\239\159\007\143~\218\158\137I\158B\210bJ\191\127\159\028\1651\211E\139\211\219\229\006\213\226\142\215\022j\164K\145fk{\192W4\020(24\014\205\231=\247\207b|\217&\224\173\030\209\191$\030\166\178\233\200\242\158\165\178U\203\218\027\248\191\007\185\216\195\145\235\129\195\158\224\157\158\246\150Oe\141\0311\179\189\206N\157&\206x\012\212mb\146\001\007\236\198#\170\249B\146;\169\r:+\172\252\155\147J6\211\163\t\007\179~\193\178#6a\181\199\196\200f/3Q\197?\029\248\150tt\196o\221\007\252\179\249T\161\212\205d\155{\251\131<\234\169\251G>{RD:|\255\193.p#\132"
@@ -244,6 +242,8 @@ module Internal = struct
let d_91ca2c6976287fb65f2c055861e0f955 = "wOF2\000\001\000\000\000\000@\016\000\014\000\000\000\000zD\000\000?\180\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\006`\000\129L\bj\t\156\012\017\b\n\129\190X\129\149X\0016\002$\003\1318\011\129^\000\004 \005\137\012\007\131}\012\1292\027\238c\005\227\152%\176q\000\176\201{\215\217\129\0246\014\024.\195\210Q\bl\028\128\136\204_\016\252\127N\174d\0128\005~\206\204\130M\134\017\163\rfBF`\172\160p\023_\152\026\251\254$\131gS\208\201E\249\1980?:l6\155\023\138\234}LN\019\235X\012\173\136\181\241\170\247W\011\219\218\0229~\209\237\155\246\191cn\243\138z,F\246\128\2343\176m\228Or\242\014O\206\249\247\238\2248\246\029\007\007;\236\016\002\t\007\td\144\004v\200\130@\1986\tY\238\012Mt'\174\025k\156]\174.[\253\1981\127\173\254\214\142\169\029[m\247\031v\253N\237\239\247\127\203YIs\252zs\251U*S\213\r\207D\003\142\017\135\142AU\234m&\228\r!\153+\\1\184\163\253\214\216\185C\206\162\228]f6\197\211\158\134\234\225\158\205\127k\tr&E%t\255\171\171\220i\237\011\027\130T\222qy\213\165\002\242\172\131P\212\233\164\214J\170\251\210\183G\030\200\027\211\192\"\206\018\031\201V\160\014Xp\219mO\154j\0240d\170\216\156\167\180f\201r\190\248\150\137S&zK\158\127\237\176l\016\252\200\144\219R\n@\002\162\b\142\236\192\0217\214\230\232\223\211mU\026\167\139D\015R\133jlm\219\167t\021\188\190\153\224\026\165G\236_[\202E\149\176\002\163\252\240=m\128\012\027\210\145\017\244\131\146o}E\237\162VW\141\214\204\243\182\155O\151p\000\250\004\234\238C\234\217\127K\151{A\253E&\221GH\176\024\209\186F\182zcg\236\177K/6E\024\138\194\237\2294\b\1841>LC\t\252\159\206\178\029)\228 W\215\221\187*\216\031\149\193\162N\211\200\127\198\150\230\143\228}\030\173\247\228\209\161l/\200\139\246\161\014}v\144\192\246\129\227=\014\000\148):\224\150^\207U\155\182\006*\234\020]\023\248O'\179\255\253\187K\147\206\026\172\2382\177N\161\136\031h2!qH\129\210L\028K}\252\198H\252\251\243\210'|~\160(\170\\dZ\165\192p\182\155w5\189/\138F\209\142\t\012\179\162\249\240k\174\158\164{\168$\1576z\155\216\219\252\163\159\143N4\177\165\163\137%B\177\212/\162\022*)\018B\226\177\204\170\002\146\203l(\018A\182\159\231lcV\195\235^\169[\206W,@\128@(\177\237R\030%\028_\011\150\195d\226\214f\174\244\175\254]\031$8G\b!VWT\198\186\016\012woL\136\192\155\244n\016\180\229\182\193gZ\007\187:\2488\208\015\184;\223y{\018_\025\137\015\237\239I\187\210\226{V\181\160\237o\016\129\197\247$\b\210\194/1\004\226b%\232\191\157\025\208\197\172\021-s\168-\011ia\t\007\130\194d\173\202\019\235\150\213\235\184W\249\253\191_?\229\235\153\133\251\028\248\233\202\140\127wLZ\209\204x\213_\210\221\187\222\240\146C\211\019\131^\145\165IS\220\253\253\127\247\140b\141\027\002\208\021_M$o>/\239\143{\233\185\170\234\204\173\004\004?\183\031l\237\174n7\229\181\227\226l\191(\021\218Y\214\232\238\223\024]K6\016\170\015}\005V\175 \193\205*\209\187_\129y\007\180\188\1961r\2533aO\215\152`\146\030\201\145\177\150P3\161\160\244Z\bH0zG\000j\235\216\017\134X\177\142\b\208\156\"\155\183&|\151$\017\163/\240f\215\023\211\004\ts\239\004\228\025avSC\198\245I\011w:\140\158\186\241\003\219;\178\021lM\158>\192h\132\248\150L\027\145fB(\017\142\181\165RG1a\148 A\tC[ \197\238\192\225\006\rx\197\194V\249WkIK\236\143\250DK\176\169>\215\157\223\001G\154\220\164L\\\191q_\149,\232\232/xQ\0201+5\180@\162\211\136\233\014tL W\134a\140\188)\141\b\135\199\tje\144\211\161\187\137\219\139\170+m\b;y\028\017J\006B\149\175\220\218\150\001]S\1709KW\184\140$\215r\197\148n\213&)A\168:Bt\003IQ\188:2\129>\200\240\212\128,\186\234\145e\158\152yc\237j\174:\162~7\144DXXC\143\006\236\182\141\029\240\224\017\174\251,2\007\214\245\220\137\172\253?1\025\1971\229d\228\237\016\183L\218\209 j\021\244\221\005D\131O\194\164\0219\178@6;-\004\135\155`\143\2076/ d\240\137\240pL\240}E\200\0268\178\001\208#\005\028]1\164\219\027\239\202WU\184\177\215\172\142\131\150\189,\193\190\127m\tD\184\149\132\178y\139eA\200\031\193\182\128\136_X\252XJ\134\251\188\t\234g\225\003+\235\201.\219\200\0178.\233W\175R\200\225f\212\248t9A\171%\148\163\022\b\186!=\002\018*mAJ\159\175\155\004\019\005\\\246\002E\230\209\167\192<\249F\184z\196K\217\238\164\016\0197&\188\247H\016\241\006\019\180\"\158\rn\238\028\138\198\216\004\223\182A\141\202\159[{3\231\239\207\180\152\224\135\187O\130v\254>\196\135\155\232\208\162G1\160\024QL(f\148L\020\011J\022\138\021=s\128\154\184\202\189F\202*\1862\014\141\221\208B6bN\234\206\231\000s\131\185\1316\134\0060\172\030\213@\210\156T\248\218%\209\160@\156\236-(\130\233\146x\205H\015\n3m\245\195[u\214q\249\169f\217\\\030\240\201\129i\249\152\016'Rt\251\004\001\169j\127\000Qg\208U\164\247M\230J^\218r\249.q\0035\134nx\132\130\252)r\244\160\186S;\022\140\153E\192\209\218\252\133(\176P\207P5E\200P4\189\203y\211\208D\152\016\142\012\251\206o\190-Hi\235\230k\024Y\004B\020\165w\154\225O:\188u\225I\128\\v\142s\142\001u.\248L\164\184\019\213\178\221D\205OR`'\183\204\239\187\t\167\012\157U\163\194<\187\175\158q\139\028\"\027&z2\136|\130\204[\140\172\1996\167:\012\198F\200dj\014c\152N\00612\222r\167f\147 \213(\203 \205\025!\135\131\141\203\229P\219\153F\180(\130K\000cPn\152\233\137\204\197\021\025\217\024\2219\162\018\140\186\140NK\239\148\023\019\142i\134\153\133'\245\156g\171\018\151\0289kP@9D3U*C\173b\136\027\147\253\212\133\n\181Xc\190#\2249\140\129i\212\205\227-\031aX0\171&}\"jh\212?n\025\160\020\195\134q\167\179\\\219\147\161\014}\016Th\026\178\181\148a\203\236h@\173Uq\164\205NhB\255\145w\204\214\137\007\150\168y\226M\014\130E\1618\026\002\139#k\181N\181\179\152\011\198\140 \202\138\014\016a\219!M\237\028\001/\145w0\031\192\247\156\130\026\149\204\233)\143\160p&\221\143=\134\169\253\171\024&3\184\006|v\221Z\230\140M\155\140U\184$:\029*\234\160\195\203M\227\204X\185$\1562}\161\197lI\254\203\022*t\235\198<\230\030LNEo%\n\004\134iz\208\170\138\242\194o\172Fs\201\190\160\194 \027\026j\178\006\196N\179z\004s\137\163\197\012A\145F\194@\181\029@$\rfJ\150\168\235\134P}\007\016\r\006\215F\219)\b\130\130DS\0005/\000\162%\192l\1497p\155\129\219\r\220a0g\232&\236\206\209\168\171\003\136n\131\153\150\165\220=C\168\183\003\136>\131\163\031\030\161\024 \0203\t\197,B1\155P\204!\020s\t\197\133V\240\b\004i\187!\200\244\007te\225\028\131\175':}\024\002\031\014\252\202\017\214`\218Tk\152\212\137\195\253\230\131\217a\202T_T@\002t\234\136\249\168\195\230\228\241\017\n\192\188\165\175\230DS\215\191\028\006\003W\186\195\201\"fU6Yl\194I\187\"&\202\019\016\149\153\146\153\221mK]E\147\222\1936\137\196+\178k\004iI\186\174\189b\209\154\214X\030i\147\228\148\146&aS\177\164A\224\229\021\0128\0234PdT\156'*\tE\154\003]\233\166f\031\197\150IL\149v\171\181-\220:\131 \198z\221\"\139]\024t\145\017n\005\191\\.\192-\173yQz>\198\167\200h\134\164X'\180W{\137\186t\172\159,\018\n\243\r^I\1617\159\2034\168\185\145i\179l\255y\159B\203\1569\025e\149\216\223\007&\224\176C\014\019uM\163Y\bbPR\028\1657G\1794W\206\149\011en2\137\247TN\170y]H\017\232\231\021\176D\019pd.\001d\029A\177\002\230K\181\252u\n{W\205\019\026\220 V\018\201\166y\132\135\145757\209\1503\1420\136B\192\2052s\176\208&J}\133\143(\188\012H\174\193\137\2361q\181\217\015\239j\166jc\244\250\166\135\155,\187\028\153 \134\135\n\232{\130\226\006\2115\"\001\197\"\130a\1750\181K\138d#&4\148\210\203r|\137/\253o\232:\208\021F\195\1608+\148\255\245\183\016\176\164\149\253\227\b`\246\210\182\0300\226\151\163\168\255\198\136'\155P\226\181$f\1401~j\030\217\014\021p\207& +\199q1\142X6\159\208\154\203\002\147\192ap\150\153\160B\180\244\169\247\205\012\196K\165J\012\133\229\014\1580\237~@\168M\203\192\029\021\133\212\210T\180\244\195\011\017\253\174\160\130\235\196\154\232\026SX\210\225\209,Y\207\2061\185\166\190H\004\225)\017\135\b\134\023\129\151\003\130\022rJ\142\192\"B(Dz'\147jjm\157\236\170O\209,Sk\027\199M\231\153\170\132\176\136q\\\181GvUR\239\209\220\199\212\135\152\006\162\129o\174#\031\237c\154&\232\019\158\184l:Ab\157\168\186)Sf\160e\1418\236H\128{\250?h\183w\212\127\202d\176h\249V*\142\128nx#J\"K4o\210\0024\218&,\2062\247\202\007\018)\002\rF\n\027\160\213\253\166X\173f,\\\022\249\202\0237LN&\012\131T \029\199\248\015\154\137\1947k\151&\182\198;Q\b,\192\155\136>\209\143[\254\209\163\007\015\150J\165\028M(\188:\147X\171\229\190v\226\146\203\252\028\178QK\137\160\136F`P\148\244dZ\1335e\131[m\208-\227\198\164\026g\005\215\178\189\207Dq\177\144Jg\220C\029\150?M\236\236\200\237Q\162W\019\196j7~A^\136xq\020\254\006\001\020\235b\168\028 \026\163\2329s\234?\213a,\135+\170\148\152\007\250\163;\129>!\r\0182\210q\165\207\155\156\021\134y\190'86\251w\159\226z\231\218^\030\238J\250'N\169\197\017M\243'\242\182\1387\218\132\231\027\022\189L\017*\249\141\231'\130\bY7\160d\017\031\2291\177\193\184R\206\220\193\222\145\196+F\251\185T\203e\192\199\1418\169N\161DZ\178FY\180\146\n\207\028\240%Y\220H\004\253`bI\024\155\247\1880&\195i\012S\135\213&\167l\202\186\240\140(\204\"~\152\026\200.\133\217\255n\206d\1570\237\190s^cm\205\234\130AQ;\138r\166 \238\135%\133j\195\237\182+_P.0\022Z\237q_\169\196O\130\139\132\193\217k\028\203f\139Ygv\150\2197\136`v\185\003xT\251\143P\196\"\019\207O\216\200+C#\236\012$gaH\017\238n$7un\131QII\215\187A/\223\135G8\025\158\196g\217\216;\236_c\247\135A\230\003`Ze\139\235y\213\216\175\234tK.\223\"\146\239B\005\195m\144\242gP\189\b\253\236\2330\030Z\178\1832+\175Q\166\218zou\0251\2009{\195\1361\155m\219\017\225\030\127\165\029\\\236+\227+2\159(D\254@\128<\221~\141\228c\127\130'\n\139}\163{\222\1658\030\203\192f;\202y\2092We\179\224\132J\131\187\204F\173sP\020\193\164\178 }\022\150/\200\025\173\245\204T\134\223h\t\024\011\200\007\173\\E\251\241\167\253\026\207\025\004\195\220\159\r\225\223\b\168r\200\247\189/\r\030\"\189]\186oq\t\\\195\231\172\251ZS\223\165)QG 3\236\175\165\004\\z\190\132P\127\230\197\254/k3oc\227\178\149\r~\231\254=\249\210\127\249\229\161\192\006\166\216\r8\199\145-\b\012?\247"
+ let d_92d67c153383d8a5d46ba6d9247ee68d = "-target-background) !important;\n box-shadow: 0 0px 0 1px var(--target-shadow) !important;\n border-radius: 1px;\n}\n\n*:hover > a.anchor {\n visibility: visible;\n}\n\na.anchor:before {\n content: \"#\";\n}\n\na.anchor:hover {\n box-shadow: none;\n text-decoration: none;\n color: var(--anchor-hover);\n}\n\na.anchor {\n visibility: hidden;\n position: absolute;\n /* top: 0px; */\n /* margin-left: -3ex; */\n margin-left: -1.3em;\n font-weight: normal;\n font-style: normal;\n padding-right: 0.4em;\n padding-left: 0.4em;\n /* To remain selectable */\n color: var(--anchor-color);\n}\n\n.spec > 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}\n\n.spec.type li.variant, .spec.type li.record {\n list-style: none;\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 background: var(--main-background);\n box-shadow: 1px 1px 2px 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-"
+
let d_92e0c0a734f49413d685531ad3f0a03e = "7],9125:[-99e-5,.601,0,0,.66667],9126:[.64502,1.155,0,0,.66667],9127:[1e-5,.9,0,0,.88889],9128:[.65002,1.15,0,0,.88889],9129:[.90001,0,0,0,.88889],9130:[0,.3,0,0,.88889],9131:[1e-5,.9,0,0,.88889],9132:[.65002,1.15,0,0,.88889],9133:[.90001,0,0,0,.88889],9143:[.88502,.915,0,0,1.05556],10216:[1.25003,1.75,0,0,.80556],10217:[1.25003,1.75,0,0,.80556],57344:[-.00499,.605,0,0,1.05556],57345:[-.00499,.605,0,0,1.05556],57680:[0,.12,0,0,.45],57681:[0,.12,0,0,.45],57682:[0,.12,0,0,.45],57683:[0,.12,0,0,.45]},\"Typewriter-Regular\":{32:[0,0,0,0,.525],33:[0,.61111,0,0,.525],34:[0,.61111,0,0,.525],35:[0,.61111,0,0,.525],36:[.08333,.69444,0,0,.525],37:[.08333,.69444,0,0,.525],38:[0,.61111,0,0,.525],39:[0,.61111,0,0,.525],40:[.08333,.69444,0,0,.525],41:[.08333,.69444,0,0,.525],42:[0,.52083,0,0,.525],43:[-.08056,.53055,0,0,.525],44:[.13889,.125,0,0,.525],45:[-.08056,.53055,0,0,.525],46:[0,.125,0,0,.525],47:[.08333,.69444,0,0,.525],48:[0,.61111,0,0,.525],49:[0,.61111,0,0,.525],50:[0,.61111,0,0,.525],51:[0,.61111,0,0,.525],52:[0,.61111,0,0,.525],53:[0,.61111,0,0,.525],54:[0,.61111,0,0,.525],55:[0,.61111,0,0,.525],56:[0,.61111,0,0,.525],57:[0,.61111,0,0,.525],58:[0,.43056,0,0,.525],59:[.13889,.43056,0,0,.525],60:[-.05556,.55556,0,0,.525],61:[-.19549,.41562,0,0,.525],62:[-.05556,.55556,0,0,.525],63:[0,.61111,0,0,.525],64:[0,.61111,0,0,.525],65:[0,.61111,0,0,.525],66:[0,.61111,0,0,.525],67:[0,.61111,0,0,.525],68:[0,.61111,0,0,.525],69:[0,.61111,0,0,.525],70:[0,.61111,0,0,.525],71:[0,.61111,0,0,.525],72:[0,.61111,0,0,.525],73:[0,.61111,0,0,.525],74:[0,.61111,0,0,.525],75:[0,.61111,0,0,.525],76:[0,.61111,0,0,.525],77:[0,.61111,0,0,.525],78:[0,.61111,0,0,.525],79:[0,.61111,0,0,.525],80:[0,.61111,0,0,.525],81:[.13889,.61111,0,0,.525],82:[0,.61111,0,0,.525],83:[0,.61111,0,0,.525],84:[0,.61111,0,0,.525],85:[0,.61111,0,0,.525],86:[0,.61111,0,0,.525],87:[0,.61111,0,0,.525],88:[0,.61111,0,0,.525],89:[0,.61111,0,0,.525],90:[0,.61111,0,0,.525],91:[.08333,.69444,0,0,.525],92:[.08333,.69444,0,0,.525],93:[.08333,.69444,0,0,.525],94:[0,.61111,0,0,.525],95:[.09514,0,0,0,.525],96:[0,.61111,0,0,.525],97:[0,.43056,0,0,.525],98:[0,.61111,0,0,.525],99:[0,.43056,0,0,.525],100:[0,.61111,0,0,.525],101:[0,.43056,0,0,.525],102:[0,.61111,0,0,.525],103:[.22222,.43056,0,0,.525],104:[0,.61111,0,0,.525],105:[0,.61111,0,0,.525],106:[.22222,.61111,0,0,.525],107:[0,.61111,0,0,.525],108:[0,.61111,0,0,.525],109:[0,.43056,0,0,.525],110:[0,.43056,0,0,.525],111:[0,.43056,0,0,.525],112:[.22222,.43056,0,0,.525],113:[.22222,.43056,0,0,.525],114:[0,.43056,0,0,.525],115:[0,.43056,0,0,.525],116:[0,.55358,0,0,.525],117:[0,.43056,0,0,.525],118:[0,.43056,0,0,.525],119:[0,.43056,0,0,.525],120:[0,.43056,0,0,.525],121:[.22222,.43056,0,0,.525],122:[0,.43056,0,0,.525],123:[.08333,.69444,0,0,.525],124:[.08333,.69444,0,0,.525],125:[.08333,.69444,0,0,.525],126:[0,.61111,0,0,.525],127:[0,.61111,0,0,.525],160:[0,0,0,0,.525],176:[0,.61111,0,0,.525],184:[.19445,0,0,0,.525],305:[0,.43056,0,0,.525],567:[.22222,.43056,0,0,.525],711:[0,.56597,0,0,.525],713:[0,.56555,0,0,.525],714:[0,.61111,0,0,.525],715:[0,.61111,0,0,.525],728:[0,.61111,0,0,.525],730:[0,.61111,0,0,.525],770:[0,.61111,0,0,.525],771:[0,.61111,0,0,.525],776:[0,.61111,0,0,.525],915:[0,.61111,0,0,.525],916:[0,.61111,0,0,.525],920:[0,.61111,0,0,.525],923:[0,.61111,0,0,.525],926:[0,.61111,0,0,.525],928:[0,.61111,0,0,.525],931:[0,.61111,0,0,.525],933:[0,.61111,0,0,.525],934:[0,.61111,0,0,.525],936:[0,.61111,0,0,.525],937:[0,.61111,0,0,.525],8216:[0,.61111,0,0,.525],8217:[0,.61111,0,0,.525],8242:[0,.61111,0,0,.525],9251:[.11111,.21944,0,0,.525]}},B={slant:[.25,.25,.25],space:[0,0,0],stretch:[0,0,0],shrink:[0,0,0],xHeight:[.431,.431,.431],quad:[1,1.171,1.472],extraSpace:[0,0,0],num1:[.677,.732,.925],num2:[.394,.384,.387],num3:[.444,.471,.504],denom1:[.686,.752,1.025],denom2:[.345,.344,.532],sup1:[.413,.503,.504],sup2:[.363,.431,.404],sup3:[.289,.286,.294],sub1:[.15,.143,.2],sub2:[.247,.286,.4],supDrop:[.386,.353,.494],subDrop:[.05,.071,.1],delim1:[2.39,1.7,1.98],delim2:[1.01,1.157,1.42],axisHeight:[.25,.25,.25],defaultRuleThickness:[.04,.049,.049],bi"
let d_957d4df68963704d1e67c9a5d435c28f = "/\166#\255\241\201M\179p\217\244\235 d\242\246\200\237u\016\226}\229'\200\253,\1543\239\021\208`\184\218\025\199w\021\132y%W\184O\012\012b)\\\131\136!\175\227\240\182\226\185\"\174m\208N\205\236\166sx\208\\\152\206\147\127\196\157b\141\131\241\226\000\251\239\142f\253i\168,\000\185G\182bg~fs~\031r\212 \150\180L$-\198\220g\134\018t\167\1935P5\230\203\007\141\229\031K\241\239\1357\188\212\243\132\2166\024\n\194\233)\236\179\197\023\136\020.\001\181\200N\139,;@\191\021f\228\204Q\160\004\014\150\018\1505\210\215\206W\018\196<\186\203\225\203\233>\002>\249\166\024\233`\203\133\164\182\211D\015\182\192\172\195\249&k\1870\t\233\003\148b\177g\026\207\203,\209;>=\195Oxt9\232\238\026H\248\158\242\127\161.\190@\180\b!\195/Z\134G\148\029\160/\134\025\011\250\012\236\159\\;\1377\147=\022#\022J\196w\197\014t|F?\185X\224\153\228\237\137Sx\199\166\167I\005\1395h\166\018\240\016\246\245\006i\167i/\210\1892\182\162ut?\147\136\r\235\199\138Krb\240?U\168\186\"?\178\007\b\217\\[\251\2153UOOo\231\216\189k\247\140\237\148\168L\199\173\138\148D\251\012\015G\\\144B\2340\235F\210}G]\243\183\238g\244j\184\237\1379\004\170\029=\017\254d\147\191\014\139\021\160\219\191\028\142a`\233&\024\179 \135:\175xF\028\1895<&\206&\147k\143\247\247\246em:\192I\022\1861S\n$\147\244\182\152V\248\239\234\r(\212\022\212D\216\145b\145\174\173\149H\183\239\243f\026\029\227n\138\030\229Y\231;3uN\165\185\140\221\132\144-7\127\206r\015\178\166G1\213\187\213D\146@\030\227\154o\245L\251&\156\188\002u\019Nr\156\001\2247Wb.\145\004I[=\175<\t\210\203;\169\156w4\190\240\243\234\177\019=0>\249\001H\017\18742\165(\248\228\176[\184\133\212\136O\000D\188\202\170\248c.%\137\235-\019\133\246\241\238H\015\219\020E\194\198\196T\023\255\208\206\221~\190.@4[\183\151\004\168\006\017\143\252;\242<\018\164SS\1779\215a\024;\0184\185>\005\174uL\028\020\224\133\222\250\004ysm\136l\r\193 \208Z\153\152\198K)\017\214\150pyx\181S\148\200\137&R\017\194Y\014>\180cD\233\020\249\011DB5>\220\201Ad\252\157\194jx\225g&\189dM\179\224s\237b\176\174L?\232\152\254\254\194\137\023[~\017-\249=\235uQH\002\216\2286\188`\208\214\135\211\205\241|\205\196\186\254\b>@\148\224M\255\236A\250\030\215y\140\179\139E\130\000>\254bVn\247\134\2546\238.\219WJ?F*\214\199D\162\141\243\227\252E\202*g+\144\016\\\155sY\249\231\225\181He\017\129\142\214\197I\135\184\014\212\172;\240\138\188\142\022\189R\203\166\147\253\250\173\223\248\024\b\002\141\213\027\181.\171wQ\153\190\012\127\023m\233\131)Zg\151\016h\012\132\127\239\205\213\175\143\165\029=q\0162\191\247\255\189\235 D]\242}\200o\012\221p\224sMS\181\146\223D+wH\163\145\025\2169\162fys1g%\173\209\161\144f\129\178\218|\150\208\199m.S/i}|\134p\135\233\252\192\149d\141X\163,X\189\186\149N\239\208\201\198\166\155Kj\139\204\018\2362\254o`\202O\211\023\146\b\189\233?\221\221\221\001\011\216pQ;\2365i\196w\020\160\016j\215\241\140\004KL\228\228TQk\191\199\247\214\211HF/\\\135\236b@\026)d\239\012\214>7\")W\139N\201i\130\020\153\129\228\244M\029+\227\240\230\221 \240\206\221F\203\222\187\163\190\168\253\228\197\003\202?\023\020\177\129\185\156\029\172L\219x\225\199\"W\245XD\176\162(\160\198\181\213Xb\159 \167 \021\021\188\249\198\237\231\162\155\234Nx\214\020{\245\164\198\173\015\184\215\218~\220?\2236\026Av\016e./+\143#\211l\155|\002\162\b\012\210\190\136\014\233\226@\151QCHI\020\163Z,\139\178d\154oK\239\200Z\232]e\\\029\214\234\222Q\245\001\004\028j\184\241\202\255t\151\242\143\177=\137@\176\194O\195)\1443\195\247<\246,\014\127\164\017\198\156\165>\225.=5\188\144\240\174\015\191\252=\1894A\232\150\138\176\175n[\130'\2003\219\195:M*M\179\246\152R\"b\002\003cX^\152\224ur\156>N\190\014\019\236\197\218\207#\148S\030 \021\164*\225\145-~2\018\252\238YQ}\030\225\131O\177P\250(\214)\252\226R\173\250~\198)QM\152\225\255\133\241\255\204\018<\143\215\019fg\014\219'f\b\185\023\237\012G\139\172\223\183\235\255\225+w\177\239j\200\222\015{>\\\249\147\216\178M\191\127\184WH*\137\217)U\197\163\180\154P~]T\170\255\182\186\204\189lE\235\190{\005h\"\231\0112\157\134]\247\179\149\128\251\191\172\168\148\249\129}\168N\216\240{\201\022\190\245\016v\014\245\252\135\016\242\005\160>\200&\t\239\017\211j\175\200\180\027,Q4\139o7o\251/\180\1946Jo\016x9j\238\151\184%b\204mO@U\218J\184x\154\173\220\134\203\1746\237\177\206\132\185\145\174\148\236^u`K\r\180Q\182\194`n\224\162\233Sp+7\222\189\163\175\209\133\1339\020\241\248NX(k<\190\022\026Z{\138'\023\136\2201\215\201nt\186\027\249:\198\189{,\211\200\178\030S\148\211>\191u\"^#:]{\235\235\186\243\173\244\150tw\247\177lN@b\203+\031\017\206\191\178\132\189\180\188@\224\172\242t\181\n\019\186)p\174\212\024 \001\151H\n\199\t\0018\016\248?\142\208\002Id\147Cy\156hs\023\139\024 \r\151N\138\197\249\000\000<}\001A\168\133X\229\190f\182m\203-=`\246w\199\247\250\201p\227\210\006\237\139Q\006\151\018\161\140\150\164\r\133\r&H\203\195s\253\233\\?\157\000G6\007\1449~\197Q\133\208\142\151\219\021C\184K2\019G\161\146\022\230g\159#*\227\196\bv\168\213;\0041\209\029\241\154`\007\219]\017\0293\222PTM\194\210\192\192R|M\r\017\210\226\151D|\243\141\155P\019\182\157\177\"(??h\005c{\184\214\244\209.\231f(t\160\247\236\153U\"\024\152\203S\150\203\021|\251\000\186\174\223\233\t0\247\140B\219\253\168\200\b\204\229\128\185\"\163\147\211\195X\011\199\158B\134\167Y\128\te\136\221\169\175\133\223\246\230\172\195\rLu=>+\244\155\031\012\194%\141\220=p\215\206\147Mh\\\011\251\187I\231\175X*oX\221\016\195\180\185\239\229\222\142\251n9\157\022\239\163ox\152op\216\145\213M\251\2428px|\127\216?\155\242\2379\236\1790\202u\209\027\140\188\214%\002>\242<\197\019\225\217\155\186\026\171O\240\143{\1975FW\166\209}\193\003\238s\187 v\161\168y|\202\139\251c\147$\141\148\253\230?\198L\1646\254\1582\142w\181\127]\129\153\252\252\130\183x\1674zzx\241\129\194\004\203\253\144\165\229\144j\001\210\177\r:\127\146\193\028\233\216\029\180=\222\1892\132\197\235\177\206\133\177\2331(\007S_\212h\182\130\254]\252%\167\204g\026\183.{C\207J\174\210\215\172[K\250\145TL\252W\144\248\218w\184\162k\221>\183\137\167Ca\251\227\226P{\221\210\197\182\145x\023\011E\234\174\244\205\246wH\b\144N\158\187\170wJ\142\201\181\229\190\178t\148Q\207\027\244\r\177o\191\182\175\"\15447\181\165\194\230\n}\143\186*E)0H`\182'\210\153\237H\165\192\169\243\2037\204r\021\218\131\239+\1761&\206N\017\240\151L\134\173M\188_rR\154\b\190\137\150\025\163\175?\2433D$*)\141H\183\143\020\024-;\208\252\rn\186\254:\020\171\131\201\188\1615'\130\211G\156HF\151+Q\206\nWz\163#\243&\197d\254\240\220\017Lf\172\206\193\031>_e\006\182\234\210\208\000J\nu%x\0116\173\216\194\217:\200\159\157\129\241\215ol+\134\249\129\r|QC]\166\157E9#9\225\006A\1370I<\012\018\168\204 \206m\142\153\255\151pK\031\227[\186x\238\144e`<\223;\165'\2530\014\213\161\b63\238\233\025^\143/N\210\030\029E\156\145\129\0298\n\128\199 \139Y\007\155\173[(a\207\1694.\198\242*\006\145\252\011\175\017j\242\152.N#\b\221H\193\142L\137u\158T\154F\245\244J\195J\156ia\028;O\139,q`\150\141%\207\134\163\185\006a4\2087=\016\226\226\020Eq\183r\209\170EB7\247\0299+sfEX\210]>M]\1677\127\192\000\031M\135S\2382\252\018\156~\214\167\170s\239\160\217\215\001.\014\241\177\205[\255d\182\031K[,\206\004\210\231\145aS\128^\003\187\029\164\155\026[\029\021\244\1646\244i\173K\196U\031\159\148?\238\028\246\182'\030$\178\208\200\020?\159\154\252\187++\031$o\251\183\020u\180\172j|\1458~4=jsS\184\143\012\014\238N+\255&\169\026E\216m\224\205N\195\197\143\250\217\253\191/\006M\005\152\239<\2539y\016\231\184\222i\2074\1563\213\229\178\243\199\185\192\227\129\230\221\167\191$\233\011\031x\196\194\127+NC\r}\014\154\244)\154\n\216}\011\000p=\229\137h\162\216\182\187\001 _+e\184\199\192\r\021s\127\r}\015\154\244\198\230\178\017\196Y\239\171\003p\254\2056f\235\236\150\184\245\129\247\218\218\255\243W\162g\146\184\215\007\224\226G\163\241\018~\n\165N\022\012\188\199\154\182_\140\006'\127\180\156\140\232\144\222\222\189\206hedI N\217\249\230K\238\245\028\031D6\250\217\131f<\229rz\135\244\198\224\026\227\166\232\\\146\170\146@\011\029\233\204B\173]=hNjP\003ju\190\209\252\201\182\160T\129DyA\233\223\135\219\171\234\234OJ4\160js\172G\t\236\248\023\188\214\191e\198\217V\005\248\167\018]\157\179\128I\219GJ\204\172l=6ZX\n\207`\200\133\247\181E\158\169\174u4\255\173]\141\213\209>\235:S>\177\247\249\181\198W'\154;Y\200Ma\243c\204\235u\212ZX\152z\196~7\143\221\195JPu\185+JiG\203\234]\175?3\229\133I\194KM\178\238^\171\141\144\175$\211\221u\186\209\142\017\214|\167.\193\182\222\237*\227\028M~t\132Q\0219\184\157N\201\182\138\236\n4-\019\213_\029\173\214\023\229\146\151\224s\208u\250Cr\191W\142>=al\167t*\nv\137\129\227\170\031\189\253\250*v\029L\200\169f\137E\185p\136v\162UO\001S{\158\174D\223:\157G\198lT\190@f\210\226\128\210'\138\b&q\197\181\212\021\155\132a\030\212\221\235D\132$\135\217\023C`\175\024J\173\186\004Q{]\169\b\201w\182u\025\214\181\245|\159\242\178i\150\159\005\002\129\002\"\172\136\238\130\131\196G-&AV\227 \206(\144\164\242\166\146\198\148\180\164I\021\253\r\004\181$\136]\174%Ff\245y\208\252\140\rYa\172:r\233>K\162p\1722\242\170\143-\214\129\195\212\193e*\149\167`a\218\235\237p\023\234SB\202Smr\165P\128\015F\182\1358:\002u\164\129\172\014\007\205\163\174\199\204\161.5\152\171\015l\150\197\131\163\151\141\\=\171^l:\164)&\250$UgUt\023\146\r!\241OR[\017\017\219\220\2144I\n\165\250\186\194m\216\134\148\006\142\141A\170\170^*$$\191(\b\137\175\030\215\205\rG\017\163\192\255\193\139w\233\195\006\233\r\160g\253^?z\000T\202\170\141?\003#\211\148\023\168}0i\003\215\171\252\020"
@@ -266,6 +266,8 @@ module Internal = struct
let d_9c62ce25963b0733dee65c540c429af6 = "\191\210\164\160\254\211\139\246\246\220\162\217\015\209p\231\226\144\004Y\184d\144\164'hr\144\167\136JwUU\026\017\149\154\247]\014\028?@S\237K\n\173\242\015\165/?\230\019]\007\179T\182\230\228\203\207:\150v\138>\127\252\252\246\147E[\192\169-\132\138\r\229\229O\228\231\133X\149\182\192\250\226\030b\169\222\199U\160\213=.[u\026=\167\205\173A8\"\220\201\168\196\211\151v\181\b\229\130AF~\233%n\137\1849\203QP\151\2442\141+\222e\233\143Y~\1588\198q\164P\186\231\162\029GG\"Z\185 \214\215\154l\023\2005\221\160$\016P\202\239\015\202\168\193R\019\168\235\175\233C>\161Tl\168\192\015|\011\180S\180\183\206W\151\020[R\186\n\215\185\004ru\221\200\201\213$}\209\160\202\233\025O\243\237\152\14539\026?\026\031vM\238\254\b\224\024\205\019\031\197\229\210\129\131.\147\235`\128\190(\151@_\246\246\160'\018\173\139\142,\211)&\020\186e\194MKMEmL\2401\173Iw\165\231\2294\166\155\231\199\172\162\016\000!\170\140#\180?P\180g\183#-\196\170\232\199A\233\132\212\220N\197\218\220\030\219\253\202\255\191\138N\214\245\154F\234\014\231\030\174{\201\204\254NF\175\254\127l\227\004\186=\224$\014\132\180\129\134]\149O\203\149\197\179\219\223\136;A\147\131\132\205:\231\230\011dB\213\199\253\155BJ\173u\198hG\235\172\240x\220IY-R\223\198\174\128\179K\226/\016l\254\248\167{\031\207(\016.*\016\206\248\248\222Ov\205\254\231\023\150\188\203\r\146\029\179_\235y\245\212ty\170j\249k\179\167;\003\216H\154\007\021\249\234b\152\234\151X\153\198\005\226\161\000jwu8\t\205\222\154j\023V\225s?'g\219\145\190\163^\223\0217uE\197\209\220\175r\143V\172\152\138\157\154)<\235l\139\016o\157\179;\193\140\183\139\206\137\154\160\002\239O\031\023St#\203\183\022\221\t\223\185\243\2068d)\229I\191\196uZ;\240o\216\005\155>\016\022krKTy\178)o\207\136|\"\014D9\202\020\014n\015?J\196\220\249\0272ux\243\015\190\188;\029\234\164\144x\231\019\016\240B\195[B\"\190<\027\231Z1\170xc\200\020\250\139L\178:\163\155\241n6\r\141\190\245\15731\238\168\029?\247Sd\003\227\241\031\196\143\015\028\028_\210K\154\244\216\242\023\209\1745q\131k:\231\221?a\027\209X\215\004\170\243\170\002)-\201\149\191\236\249\226T\016UtP{(\2183l\031^&\016\183\179\229M\209][Y\161\252\2075q\223\149\017\005\248`\187\167\193\005\02346\187\1760\209\1779\005\134\006\210V\028\192\152A*\020cI\170\030U\200\135\151\163#2\203\170\211\190\137^C\148:R\172_\190\174\140\003\003\014x\224\242\153\160.x\230\242@>\000O\141\239\254\163#.\237\218\132\254/\151\189\199J\169\211x\145;\243\1438>\002sb3\127\183\017\197g))s\143%\231\220|\174\1953I\197\151\146\141\167I\153\0038`\170\231\186\203\225\186\222C9\224<@\146\167\027I\169\182\006\148\150l\174lA\2312J\t\171bC\243C\172\202x\0213\192\170\2353j\190\197i\218up\174e\133y\175\025\131\000f1\191\190\1942\247\160\139\166\241okf\168\174\027`\236\170Q[`uF\139\171\204J\1484\"\242\202\014\139\166 \197\"(I\214$).9Xp\176DR,kJ\130D-:E\211\236EP\220R\207\133a\179f\167\246M\131S\187\211\186Y\2182\162\165\165\140_\012\227q\012\030\187}\251\197\143\151\242\1273\018\171o\149\150\224\169\162U\177\182nk7\226\152\149?'\204\196\128O\198VVV\1635^\029\001\2302\139\133a\012e\144\021%>\163\1365\167\208} s^n\173;\026f\232\246bc\149\149\202\249\226\025~\231CY\r\254m4\007\2300\190g\223\130\248\196%J\186\021^xs\011!\023\180\211L\216\185\237\214\151=\242\229+\0007V\1478\133\196\190\231\219\247\169\011\156\023\151K*pc<}\132\216#\171\021`{\027\127NH(@\017_A\026?\250c\240\247\142\169\211\200\178\019\174\190>\248y\165\213L\168\"8\016\172\b\177\233\245h\214\006\137\t\167\199z\138\246Q,\"N\147\176\155\2303\157\017\022\205\015N\202\220}\2550jM\186\171\175O\158\127\203\197E\031\134\245X\216o\252\1873\022l\198\005kG6\221\220\r\230\207\007\189y\208\238\155\155F\214\n\240\205\250\021\005hfu\251\241\225\230oQ&\201\165c\175<\142o\246x\222y\206\134\141\223\187 \232\216\030\177:t\158\141\249\148\209x\238Ug\245\191\\\227\155\142\244\245,A/w\175 U\172\205\1480\244\216\208\r6\159(\247\212\215\228\026\199\n\181%\196\129\rR.Wq\1982b0Z\2094\203\157w\023\153\176\017xI)\161\173\181$\186\012\171h\204\196\245\228\152\165V\229P)\248O\212\231\017\173\166\0278r\148\243;\163\181ui{a\202\023s\232\146)\0225g\219wo\134\018}\031\231xk\178\012\155\238\164\207yp7.\181,\132\025\184\r\203\230\133+R\157\025\174\026\129\149\135\2032\031\216\189\026\230S\134\254\137\230\174\131\182\243\217+q\249\165\217\249mAg\n\217\242-M\218,\148pcb#\170\189U\223\183\184\214\017\181t\020\247\195fS\255\227\252&\133\186\206\145ocY\254\178zW\180\180\2065\181\210\159\237\173I\241\026\253\230Ax\024:\182\159\016:\255v\150c\127\191\185N\128VA\225n\180\006\021\017[\222|\022<\027{\175>77'\163X\191\2478K\n\198\138\026\172\153\129Y\021\n\247\149X\135k\218\028\221\171/\173,-\172\144\219\"\207\238\192\226V\130\149gz\181\209\193\239\1553\028\199ka\150\158\160e\167\162\016\129\2476G\171\241\184\154\241\141\\\0306'\187\216\254\015\232\186\177Z\166bC\2179lFz\136Es\boGsQb\232\244\210\219\241\198\1595\212k\148\234;\011\012\144pF{\146\187\1735\016[\190$\011#\148\210\176\011\146~N\249\193\198\007e\158\\Gw\160@\176X\191\192\235\246%\187\022y2DfylC\023\018\027\147\028c\254\213\018--\147\130\159\251\251\rO\221\139h\216k\021\129\244V\211*\154\203\254\234\023\164\169\1668&tt\t\218Za\137\203|e\161\186\147\169s\131\160\134\156\173\190\208\2515\229\128\020\211?\003\137?\028\149Qr\172[\001\154[\246\220ZW\"\232\185$V#g\146hF\203*$\011\127'\214\156^\197\186\157\160&\183\006\180\181\138,\212\238\221y\185|77\212`\200\145{1.\138Qh\183\207`/2h\191^\217v\239D\025w\236|q!\168\213hk8\028\161DG\201E\221\"\011\245\245\239]\194\213ZTJl\190\223+V|\128\201\218\227W\180{r\2508\015\141\031\232q\159\027\228\148\191\144_\149\1791\240k5Z\234s\221\248\227\215\023\214\214\234\162\242\245\186/\"\210m\003\017B\167\159\248\251\135\170\146RswY\179\210C\187\178\141\227`\239\171\183Q{.yW\158\255xS\242H\171\235\230\212j\146\133\181q\130\198[\020]\018h{\196h\252\171#Z\250\241\000\193\018\184K WM\137\141\t\157r&\2333\215T\141\230\153\235\"m\028\176h\001\129\014\253\244\187\205\184\1597\189K\222\244$\161\159\148\193m\174\223~'P\206\168j\138#7\196\210\b\244V\2544C\172)\178h\019\213\250\23936\234\243\b:}\216\237(\179\205\232\180\203fF\201\178\215X\195\147e\191Jrl\229)xW\148)J\024puf\249\131\025i\254\202\140<_s\166\166\226\230\004\134\189\031\134\226.m\031m\174'\156\030\250bs\170:T\183]\159\242\161\198&\\\248\207\237\221\1801l/\155\254f\227\180\2252\012\190\140\248\ng\ne\132\156\254\174%I\249\230\157\229\225\217\218\002\207|\206[>m\154\168\148\023R8\202Ci\210\129w?\030\209\176Rm\184\134_ST\138]|\003\239\194\18923\015Ce\030O[\254\236f\017\253\030Mn\182\195c\197\2376\127\t\215\229p\230\135X\149\198\159\025\209*\167\182\1796\240\199\205\130r|ssX0\213/\240\t\253MQE\241\247\186kx\2408\127\231+\139\160\200\17983H\217m\128\252a\201\170`$:\206\150v\239yJ|v\193\215\173\210\255\0055\018\150\192\004\158\159Z\236\133\254\239g@&\243\193\132A*/\141\136\140*\232\153\149}\140\027}\234\144\226!\237j\175\243d{\r\205\220\129i\182\228\016\171\001+\207\180\217\225i\255P\184\247\236\218f\027\031.\\\130ZP7\165\007A\157\2179\1302h\217\016\2023'\160\241\158r.\225\187\1671\2542f\202\136\239\129\r\246\246\221\143\235\0068w\220+\181\026\234\146^\b\197\187\174M\254\249g'O\255)\173\241\191rr\141L\220R\185\217\157V\152Z\b\245\236\178\185\012\1866\182\1662\004\026\250\222\207C\127\000\144}\169{\239}\213:\153\014\170\170\132\217\019\149\225\016M/\203\242\030\tr\227^r\159\131\242a\238\203\213\245/1u\191\200\149P\249\138\151\169\232N\191\220\207\024\127\179\176\231\025\250\014\205\145Q\022\130\151\186*S\030@\251\175\207\163y<\132C\152\136\200\195\031\171/\211\234i\205\173`\149\246_C\185\164\018\152\018\232w\137%\006\031-\224\t\248p\141\012<\250\233\149/U\250\021\163\173\164\149\154\006\004\030f\175\163*-\171\177\184t\253'\166HI\175\002tFL\247\1381k\b\223PD\201\b\170h\003\030\178\022c\247\204]\160\139lx\022\221.\194t\195\1631\163\195\234\222{\160\179\131~}h\198\204\161\215\216v\208q\t\253\242\249\017\2283\234F\218\162\132#\168\247\128M\031>\241\204\199\203\161\229\208\193r\140sl=NkpK\209\006|\2531N)v\rZ\014)H\239\020\233\129~\245\177\200(M-\031VO\251\222\212\217\206\19064\211f\031z\157\238\2322~?M=\188\156\162G\171\209\203\240z\174\241\200qDz\255?q^\240\201\005\137 \226t\238\140{\230\223\179\136\242\194/c\031\162\221\169\204a\150r\022\027\168s\012/\227\195Db\210o\176\019\002\162\254[LR&\143\249\016C\235z0Q\141\235\162\135\128\2365t\204$P!\192\023HD\183\031\234\2486\2296l\223\181M\157-bjy\228\138\245\242\215~\002w\175_\183\243\137F\189\017N\250\195EJ\007\255\229\nv\r\020/P\016,\237\237\021\030\200B\253\230\140\179\183\162\029\rYfLTY\153\003\233\207\242y\183\222<\127'\243\196\221\246\011\002\230\238\226E\t\178e\137\238\187\012\255=\180\245\247\131[\128>\205\181g\247\178\170>\161\186\030\253\242\174\212\136\147_/\029\141\129F8D-.<\180\200PD\251\025tz\166\148\190\006\245s6\199y\191&q\163T\224g\138hC\017\250t\187\197@\233]\141\164$\255\187%2\133,\145\218\217bG\0303\0066\132j\188\162e\186\147/\135\205\250\027\178&h\214\183\239\202\229\198(\249\209\132\217\152T\014 R\179\163\179S\255\226\243M\015\151\2519O\131?U\217\1971\238\177K\005\127\227;\241\191\005\210=v\227\147\169\131\156$\b\001\176\212\182\215\251K\230?P\244\170\252\155X\167\188\0299\214\137\250o\164FO,\158\019\175(\235Q?\188\131{Jb(\235\242e<\024\134y\203\134\228\244\233y\157=\183h\249\208\191\155\191)\021X\155\149\171E\200`\144\0012\017\211|\138\203\253\133\167-M'\179\144\012\b\130d\248`\011}\181\183OR\147+\186GH\024:@\004\173\169\247\163Q\000\161\230\212GV\"x\000\130\201\017\248|\249\235\209\203\237\250\153z/b\022\n\005jud\200>4\138cJ\012\143$C\244:s\207\241\244\177\163UNK2[PJN\177\240r\168&*\135g\153BrWr\255\217v\250\206\176\152\022\026\230\244\160V\005^\193-\215\027\205\006\019\167\233oA\191\189\211>\251t@\180\234\137\227\019\189O\023\237P\250\185(\165\214E'1\167\141\248\188\191\127\255\221=\149l\n\204\187\245\179A\171\137\196\184\220l\252\\k\235h\140\"6?\224\"\207\252E\163\230\159l9\1903\252\180$\207\011\028\015\151\233(J\241\005R\229\152\139T\252\200D=\166\248\161\199X\131\029\188\177+\029\\\233\015\030\150\182\011z\003\225\rYC2W@\135>\180?DWjsk\184(\213\175\151v\130\186W\186\172m\129q\216\t\015\181\228\158\145Kq\246ls\238rv\002\135\225d\180\229^q\162FK\1729\157\211\002\195\184\021^\222\146s\142\197\165\242\179UL]m\133\241\215\210\030\205\254*\027&GW\172\020\t&\243gm@\224\142\129\253pv\014,{\134\0207\222DPr\199$\014\194J\129\154X\192G\160'\159T\173+\0233 \220b\242\208vU\248\213 \142b\001\174\017(\225\160\216\020\030\026\165d\151\238:8\137iQ\1582r\017\023\014;\247\232a\152\187\168\140\140\242\164%\202a\020\249\128\162\238\161\209\027\235\231\1434*\198\n%\157\131Ay\250\244\184\182\215\183\172Ca\138\020\154L\196\015`\018\216\127\172\162\162\235\141$\017%-\016\171T\222\167\022k3\242\139\177}\2264\191c[\002\161]\252\148\202\171\190/\245\224\196\132\175\235\159\173\136\133Z\1720\154\132\020\t\163\235\182\188n\237/A\191\242\187\200O\241~3\175\2300\231\153\168\135\025b\017\183\149\219\016]\016\025\208\rD\n\162\185\r\220J\244\179\153\253'V|\221\012^\174\149)h\161\128KBz0*\022\142\166@\006\157\233k\231\21529%\192L\016A\140\202G\t\143\144\208\131\211\157\135(\169\000\134\237\241\135\180\180\144\171\127\162\175J\249\186\135[\154\202J\221j\142=\222)\n"
+ let d_9cd2127654bad2ec912e7f568f5fc008 = " 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_9f8d31b592653b489fe7600729009383 = "\228\151\194y<\246\011(\018MJv\229\135\236D\021\026\157\199\255\250h\189n\214wu\016\154sD\203\161\181\238\154\151\005<\185io\200!\228!\184\198\249m,-\025\142\213V\187l\196X\026\235\193\165\139\129\231\240\184\202\243\206s\182\1471\213\132\165\145z\0295 \000\181\128\186[Z\193Mv\238\203=:o\135\028k\244D\248\199R\186\200\0210\231\143%\155~+l\024\222\133L7\"\146\197\158~4\206,LV\143\204\168\247\201ML*\240\017x\138\016\023\160\176\216#\137\208\246MH\019A\206&\235N<\15020\185\143\188\240NS\031\207\239\217\1784N\202\192V\251\212\167\214c,\165\240\196p\171\\\154C\015\015U\184\018p)s\179\154\131\139\228\201\249\190\141\226<'AW\153\1793k\255\203\141g\183\142\224\019J\022\148\173\029\201!\1848\239\159\218t\234\240\b\158\159N\221O\184\014\178\203n}Ey\133\204\164\205\134\196\239\024\0246P\\\192u\249>\235*\029\\\204jx\129Sh\200\1589\247y\127Ywa\031\b\144\025Zn\212u\152\016 \214\132{\bB\021\142\136\211w\003gsPpVwI[\190\207\182\238\173\213\144\250\206\213C\249z\239|\220\190\154\136\240\192\133\184\"\2488hhY\255\205\234\028\127M^m\241\"/\177\242\143^\142S\148s\173\240\245a{!\231\130\214\192}\161\199\147\196\215\251\183\198\237\153]\1946\187\248\012q\223a\150\248\206\216\225\187\226\127\223\029g}O\028\171\189q.\020}\252\020\133]\162\240C\020\206w\218\191\216\177\179\245(\028\150\189\137\239\242\186v\219\t\187\246d'\222\190#\234|g2}W\214\250\238\140\173=\025\150@\r\180+\144\016\0052O\129H\195\241\012\015^\152\246\138\159\244\141C\214\127'\255\2521gr\185j\190iG\199\174\012\019\128\200\189jT\211\030\160Z\019\191\131\197\214\194\138$\230\141\031*V\135\187\170Q\139b\028\233K\028\161\003\0020\1369\233\003\153&{\192\016h\246\135n3\212\132Y\151YjYH\021/\211-\210\132\165\007'\016\b0@\197\204\003\017\173\193\001r\249f'H?\187|\129\b\019\244\158k\182\201\207-\183\136\134-\255(\1370A\014\177f\011\177\007\201\151\016\020\218Y&\172u\tp{\202\186\177l:\222\226;\223\012\023\206\152D\152H\246^\179\213\221\210A\175@\130D\152 \132.\177w\160\231\187\137\238B\129\199\239\001\242\021\166q\135\130b\196\187\159\20012\137[\248\159]\199\0022\231\017\199\029T\244!A\168\159p\252\167\213\210?\230\223\1407b\1942.\169\150\2120>\004\014\028\164.\1315\139\201p\129\159YoO\144\023\231\208,7\012\2022+\132\161\219\137\027ujV\130\204l\t(\219{C\219|G\20178\208\204\026\147\224\134\020 \023\neR\0011\005\193|\189av\247\244\029t*\129\000 \254BP\028R7\133\231\154\011\171+pZj\161\021R\1678\012W\1347\2550S_\183\030\226\166d\022\153g\023\232\188\"H\211\018\194\153\209\011l\14257\211N:\178&\0146h\178\156\138\244\020\159y\1563`\240\142\166e)\182\020\012F1\242\153\221/\026\026\223X\223\203b\246\247G\242\144\209=\230\222d\199\216`d\162\185\231\128\031\128\149\184\016\"\027<\018\015\000\155\146\232\214\240\240\\\251\029Y\026\031\152\242}\168+\227\130[&@6\215<\170\163\014\211%\1344\236\019\234k\215\rBZ\132&R\171\251\022I\160\187Y\139\134Y\173A+8>L\233\172\189\t\019R\196\2102\003\178\165\\\029\24800$\017\"\195`\136@QXU\234\020 \006\151\028\128\249\217w\152ad\000\189\173\174,mG\018\230!\030\230nP\228R\199cH\"\024\206\b\141f\192)\025\219\211[\012\137\253W\014\251`\bn\210Q\209\230\235K?\215%\166\225\137\1641\165W\2399\154t\"\220\026\166H\rO\240\186\174\172\246\213\031*(\208\005\139;(\134\186\r\197jR\155\164\251\198\188\196\n\221%wK\0266\020\243\162h\165\228;\030\r\021\193uJ\218-\163I\019I\027h\195v\249\224\192>\238\025\206\134I\128\158\028\253\184A^\024j\024z\237P\014\156Y\170a\018'\172\227\154\206B\007\136^{\240\214\135\224&BK\130\001\014\005\028\163\128\196E\210\230iV\127L\214\142\249\199:\221\216\198^,\194\145\161\249\r\250:\196\012\167\028\206\165\131\227\227\236%V(?,C\023\129!\172\183\177\017\018w;\209(\170]\006h\166\200p\246\004\160 ZIK\n\0299t\225Y\155\240\154ok\139<\230\132y\192\230d\156\232`\011 \178L6\"\019\003\220m!\180:w\217\180\026\144W\184`\178Vhnd\n\019\020\210\171\148\195D\222)9u\172\233\174rW\221Q\144p\r\184\rl\023\003L\173\216R\193\205\253[z\bLD\128\134\148Pln\133\183vU\217#\006@3T\250XfA\n\169\240\165e\b@\018\014{\146.\"\172\183\226\150\133\164)\188L\029\244\168\016\135\024`\020e,\1531\251\004\163\018\137\247\137 \172t@$\225[\211\210\"\139\018\230\128\153J[b\224\170L\1818d\017\182\142\220\182\0190\212\007--\140\215Y0\183u\213\206\003\241\162\142\2100\248\248*M_\1814\149\bnYK\t/2\133\173\156\199\\\028P\020\016N \\\130X\128\213\186\135\165P/\214\"5H\154J\001\249\204\198%\199+#\t\218\197\233 S\164y4H\180\177%,\006x!\157\165a\128m\020\004,\214*\028\211\236\208\248\213a\172,h\025L\004\178\223\157U\b;Z\130\247\192\030,\016-\196aKt)\199\246\174\224X\128/\030\020\130\214\0008.\015\232b\174\011\2243\187\171\143OR~\185\13711\237\249\216\200s\238\151j\026\165\232}\250r\230uf\156\027|\128\171]\152IZ\130\187\"\227f.\029\005\204XC\232'\134\138\213\226*\159\152\180\018W\025YG\210\200\1445\243U\177PQ\005p\129\226,\002\202:\237\216\029\017\023dxP\015\133!^K\1967\023\016aG\235w\169D\214\237}\219\021\023\216,E\149Y*l\1327\180\177\1656}\172\243\011H\203!\212:\027\235\181y\016\238G\211 E\"\rs\000\154K\135o\191\2270V\251\157x\165\168X_9\000I]\"\179\254(\221d\026\231\187R\147aiw\163z\250\243\2328\250t\011\026!\2162\161\168#d^.\0295\018\148\178\011\204\020\197\133\215#@\003I\166\139\190\187\172<\231\1881\019.>\031=\127\019w\031\023\016s\207b^\167x\236\234\0192\167<(\174w\253u\225\179M\236j\241M\242q\158\187\153\198\018\140\n\224l\244\2378>\221xz\b\231\214\140\167\027\1835\020\195:\175\215\235f&\155\222\213_P\173Z\179\188\181\223o+\026\152\145c\208\239\244\231\143^\158\148\238\157\207<\234\028-\220\147Y\221\191\2213\186\234]Sv=3U\217\151Y\139\171\229{\016\142\204wB\143\255\174\206\240\135\137\152\002?tT\181W\213\177\173\192:\220\026JD\161\218\229\175c\021\150\249oq\214\169\202\182\187\153.\137yZ\127Z\015n\206\145\141\012\"\162\2244_\136\134]\173\000A\189\006\213V\225\186>\186\198A\129\248\140\026\004\018\255U\179\211\234N\239\155\2012\253u\136\161\211b.G\203#z'(\192`\007\204\128p9L\187\200\215\248\1759\157\001\239\215i\168\b\237=\234\023Pp\015v\202\r\158\159?_\001d\239\222\030\030\206\211\"9\165\167\137\r\201\152d\2104\228cO:\245\027\185\147\193d\226Y\146\2292c\016\194\"\129\131)\203\171L\014\232Q\000\161\206\b\174n\221\163\236\150\186\029\011\011\215\002\135\1428P\163\164\182v\222NJ\0264$\214\014A~\143\239\167\255\020\134\236\192\219\178\230\214\184|\137i=lx\157\215}\219%\225\185\157t\161\180\236:\230\015){\237\205\204\226x\136\195K%~\019\023c&\024\193\127p\240\227\251\030\130\155\243\165\175\196L\144\242*\223\216[\143p\203\222!\135\230.0\154\199\138\195\2523\224\018\254\017\149\218M\221\158\150\250\137\207\173\007\173\191\161&IS\016\224Y&\007\164\130x}\208\020\192\238\247\023#\001{\248\242\182h\184\177\194\253\138\1692\160K`\169\203\150\241ABy:+4\192\172\218;R\156\2044\015\154CL\164\160Ff\184\143<\246\155S,\219\241@\234\150\238\001.\132\166\219\207\190Z\024\023\r1\161y\1796x\174u\174\183\193|\178\180\\(\244\152_\n\251Al\224\204)\204Y\195\249\242\002\211\019\027\163\219\169\030\030\251\253\200\199\016\218pP\021\235\153\"\246\029\185Q\022\176\155tIg\005s\138\016\249\012\209\021=ys4\170\251\167+\135\188\211\252&\232\243\155\015\1803B\239P=\"\169\028\0248>\196m\223\230\240\186\151\207\204\b1p\205\181JE\195\026\181\180fS\001\230\024\208\r'\140^~\197\229\173x\1766\184\153\223\172\019I\242\144Ad5\017\138\141s\165\181C\021\246\215\137\018\028\176y-k\142\014\155\213aN\136*\"\215\130\182\154%V\172b\157S3)\184h\198O\173O\232\179C\156Z\183\132-\0311\225\147\249+\128\153\127\029\192\027\241\r\222\195=o$\172\004\247\155%\255\024\143_\249\215h\239n|\225t\234b\029)\243\135\028$^\226\030\254\031\150\242c\177R\129\186;&\136X\171\191\254\015;)\001\235\200|\003\152\011\223\244ouz4\218Y\142\171\142\213\"y\205d\181k/\015\250\2280I\222f{\137\249\004\185\225F\152\138M\bL~\222\213\014\n*+\19763\133I\226\231\167n\193\174\243O\240\006\0121B\181Ix\130\235j+G\165\172u\133\255\204\221kH\"\004&jS[\017/nJ\bM\1742\190\195\241\230x\216\226p\208\199Q\132)\209>I\255\127\\\175\232t\156\157\201\020\135\252+d\201\002N3B-T\232\240t\146\023\204\133\241\228y\252+\176\238u\173\178J\017\166\160\179\248)]\234\011\151\184\128\189`\027\174e\163\193M\180\203\183\188\154\224\227q\135\140\217\227#4Rt@\247\194qd\bT\219^g\168\166\234\227D\\z\tg*\141s\027\178\193\209\148\145\003FL\209\250\005\181\243Yh\189\181V\030\143\142\183\006,3\188x\236\177\1393\180\027\005\242\011\029?\130\238l\168@\190\160\015\230U.\b\1366A\147\244L\208$\137\219Nn#s\233\000\139\142\193\023Z?9\026\214\r\014=i7\156\207}\198\156O\151Q*\185\160\1739V{b\241\023n\159os\011N\214\006\031\241\1454\151\237\145\173\0301\141\201\211\184\237\188\176\001\229\175y\243\166?\251\218\232\157\159\014\232\163\255\186\142\207\186\184\022ZL\219Q\177\134\146\197\022\170\179\198\128\176\t\159\195\165\154W\231\018j&\147\213y\012\212\022)\151\003\"n3zy\221\174\220j\015kD\195\20481\183.\162\133\023\210\232\206\187\231&\005\149O\250\168\030i8J#K\227[\168\207\167l?\183@\216vq\166\150/]\"\207\171\024\203Q\182US\216/\245\247\b\027\190\236\164\203\211_!\252q\0258\173>\018P{\177\n\143_\244\210\183\203_&R~\231Y,\031Nr\212\135\162\222\"Ty\235\216 \199 \211f{\026B\167\207\016\023~&\018)\163\246)a\196\193\2415\242\156\161\020\241\189\t\161\151J\022\132kwG\207)\014b\233 E\210\012]-6\002\236\177\165\182\143\254V'\201\025v)B\215z=\187\184\"\007\227]\215g\247\015r;i@g\023\222/\205iFgv\147\158\235Jv\160uUo\163\145\027\024{&4\166\162\156\207\248\172tw\180\128\246$\140\014\158\233\142\209\165\175\236\176\158\140\193\2217?\140\176`\195\209\197\171\166n\217\153\224\196\2398,\167`\255Het\221\220~\201]x\228\208\232U\200\220\201\147+1\0231\215t@\142nJq\254\185$WN\161\181\209\225Mt\201x\149\137H\174\236\b\r\138\012\rT[\0032\252\r\248\169\012\220\127\023sb}\173\\\173-\026\185\210\130\244/\025\005\011I\207\174\b\030\b\183\189=r\198\t\007\134HX\180\141rD6hm\252\0023\024S&4\232\015t\184{\150\022\209\196caWe\159o\001;5\\\171\187\173\220\135K\127bp3\210\233v\170)\224\028[b\253\205\212xI>C\246\144\003\001\244\t\242\230\"\127b\191\155L\185\136U\233]\128\151p\236\140s|\239\221\031h\237LZ\001e\1408\028x2\026\015\215\227\198/\221\164K~2\217~\184\162\173\209\213\189h\149>\158\196\231\189\029S\140\208'W\142\006\005\218\128\214\190\165Ar\206m\195v^\026l\183\210\154N\177\1979\161\014\184\027Zn\211\169\132\228\183\224\134\r[N\128\238\138\221\185\246\194\r\187\200\203\229\138\213\002a=+m\208M\178V.hl\195u\018\212.T\171[6\188\202\202\1681\218\006\147\002\186}v\003\181\221\005\204Y\006tg\177\231\163P\185=\238\000\169U\218\231\191\171\224\249\193h\019\171\245\024^\183\206\012)\164oK:\003\151\000\166\211\186\203\030\173C\227\198U \237\254D_\163\234\188\197\132\1398\028\030\194\168\019-\179\214\148\167\218\146\171\160M\178\139\160\017.\137\016\n\t\195\137\173R@\132\158X\138\024\236\199\204Uy\238X\248%q\186\179\254y`\255\199\143/\\O\250\167\127\237\127\172\1996C \248m\181\141\130@\248\253P\231/\255\175\247\239z\249z\029[0\182 \b\144\207\198-7>\139t\014\028\248\025\196\230\020{D\007\216^\248\246[n\243,\144\181\015\012u\134\252~\1713\173\006\187\023\175\214\136\174-\"\187\011\175e\226\187m\222\237\183\154j5f\167r\204\132\003\031\241,c\173\164\169\195(\139\007J\027t\246~\153\245\029\238z0\231\2369\240\134{g\246:\208\238\2279\"\182\138\003l\027\001\227\253\163\141m\236\179\133}5\161\247\023\168\240+\199\181dq|\\6\022\001\223\214\128\142d\236\222\003\218.\168\141\1340G\145\142\190!j\237o\236~5\207v\028\251\174\131\206\022\139\243\185\139\149\232bW\026\201V\169\245\201XfH\237h\251\179DC\140\018g)^\187\138\202gF\214$\204\190\025\000\249\137\000\215\001\129\169\206\196^\158\187\252<\149^O\231\151z\201\182\254\133lg\164v#\168\133T\237\004\1616E\208\136\197\238h1K&\2038\006\149\231\148\230\145Y\174-\198\170|^\207m\202r\018\221\127\161\170D[q$\230\235\n\213^\156\249<\153 \253\022\133\015\227;\162\172\206K\234\127\t\186J{\159>0)\014\1819F\170\195\024\18474\022~\237\131(\153~\198T\169%k\1291]j\245\029\\\227Q\252\169!_\150\168\016#\016\212\249\216\000=f\015\007\b\188/p\204"
let d_9ff5a6ec97f55e01b81f13d9d3f0ff67 = "in\"===e.family){var n=qt(e,t);\"bold-italic\"===n&&r.setAttribute(\"mathvariant\",n)}else\"punct\"===e.family?r.setAttribute(\"separator\",\"true\"):\"open\"!==e.family&&\"close\"!==e.family||r.setAttribute(\"stretchy\",\"false\");return r}});var kn={mi:\"italic\",mn:\"normal\",mtext:\"normal\"};st({type:\"mathord\",htmlBuilder:function(e,t){return Ke.makeOrd(e,t,\"mathord\")},mathmlBuilder:function(e,t){var r=new Tt.MathNode(\"mi\",[Bt(e.text,e.mode,t)]),n=qt(e,t)||\"italic\";return n!==kn[r.type]&&r.setAttribute(\"mathvariant\",n),r}}),st({type:\"textord\",htmlBuilder:function(e,t){return Ke.makeOrd(e,t,\"textord\")},mathmlBuilder:function(e,t){var r,n=Bt(e.text,e.mode,t),a=qt(e,t)||\"normal\";return r=\"text\"===e.mode?new Tt.MathNode(\"mtext\",[n]):/[0-9]/.test(e.text)?new Tt.MathNode(\"mn\",[n]):\"\\\\prime\"===e.text?new Tt.MathNode(\"mo\",[n]):new Tt.MathNode(\"mi\",[n]),a!==kn[r.type]&&r.setAttribute(\"mathvariant\",a),r}});var Sn={\"\\\\nobreak\":\"nobreak\",\"\\\\allowbreak\":\"allowbreak\"},Mn={\" \":{},\"\\\\ \":{},\"~\":{className:\"nobreak\"},\"\\\\space\":{},\"\\\\nobreakspace\":{className:\"nobreak\"}};st({type:\"spacing\",htmlBuilder:function(e,t){if(Mn.hasOwnProperty(e.text)){var r=Mn[e.text].className||\"\";if(\"text\"===e.mode){var a=Ke.makeOrd(e,t,\"textord\");return a.classes.push(r),a}return Ke.makeSpan([\"mspace\",r],[Ke.mathsym(e.text,e.mode,t)],t)}if(Sn.hasOwnProperty(e.text))return Ke.makeSpan([\"mspace\",Sn[e.text]],[],t);throw new n('Unknown type of space \"'+e.text+'\"')},mathmlBuilder:function(e,t){if(!Mn.hasOwnProperty(e.text)){if(Sn.hasOwnProperty(e.text))return new Tt.MathNode(\"mspace\");throw new n('Unknown type of space \"'+e.text+'\"')}return new Tt.MathNode(\"mtext\",[new Tt.TextNode(\"\\xa0\")])}});var zn=function(){var e=new Tt.MathNode(\"mtd\",[]);return e.setAttribute(\"width\",\"50%\"),e};st({type:\"tag\",mathmlBuilder:function(e,t){var r=new Tt.MathNode(\"mtable\",[new Tt.MathNode(\"mtr\",[zn(),new Tt.MathNode(\"mtd\",[It(e.body,t)]),zn(),new Tt.MathNode(\"mtd\",[It(e.tag,t)])])]);return r.setAttribute(\"width\",\"100%\"),r}});var An={\"\\\\text\":void 0,\"\\\\textrm\":\"textrm\",\"\\\\textsf\":\"textsf\",\"\\\\texttt\":\"texttt\",\"\\\\textnormal\":\"textrm\"},Tn={\"\\\\textbf\":\"textbf\",\"\\\\textmd\":\"textmd\"},Bn={\"\\\\textit\":\"textit\",\"\\\\textup\":\"textup\"},Cn=function(e,t){var r=e.font;return r?An[r]?t.withTextFontFamily(An[r]):Tn[r]?t.withTextFontWeight(Tn[r]):t.withTextFontShape(Bn[r]):t};ot({type:\"text\",names:[\"\\\\text\",\"\\\\textrm\",\"\\\\textsf\",\"\\\\texttt\",\"\\\\textnormal\",\"\\\\textbf\",\"\\\\textmd\",\"\\\\textit\",\"\\\\textup\"],props:{numArgs:1,argTypes:[\"text\"],allowedInArgument:!0,allowedInText:!0},handler:function(e,t){var r=e.parser,n=e.funcName,a=t[0];return{type:\"text\",mode:r.mode,body:ht(a),font:n}},htmlBuilder:function(e,t){var r=Cn(e,t),n=ft(e.body,r,!0);return Ke.makeSpan([\"mord\",\"text\"],n,r)},mathmlBuilder:function(e,t){var r=Cn(e,t);return It(e.body,r)}}),ot({type:\"underline\",names:[\"\\\\underline\"],props:{numArgs:1,allowedInText:!0},handler:function(e,t){return{type:\"underline\",mode:e.parser.mode,body:t[0]}},htmlBuilder:function(e,t){var r=wt(e.body,t),n=Ke.makeLineSpan(\"underline-line\",t),a=t.fontMetrics().defaultRuleThickness,i=Ke.makeVList({positionType:\"top\",positionData:r.height,children:[{type:\"kern\",size:a},{type:\"elem\",elem:n},{type:\"kern\",size:3*a},{type:\"elem\",elem:r}]},t);return Ke.makeSpan([\"mord\",\"underline\"],[i],t)},mathmlBuilder:function(e,t){var r=new Tt.MathNode(\"mo\",[new Tt.TextNode(\"\\u203e\")]);r.setAttribute(\"stretchy\",\"true\");var n=new Tt.MathNode(\"munder\",[Rt(e.body,t),r]);return n.setAttribute(\"accentunder\",\"true\"),n}}),ot({type:\"vcenter\",names:[\"\\\\vcenter\"],props:{numArgs:1,argTypes:[\"original\"],allowedInText:!1},handler:function(e,t){return{type:\"vcenter\",mode:e.parser.mode,body:t[0]}},htmlBuilder:function(e,t){var r=wt(e.body,t),n=t.fontMetrics().axisHeight,a=.5*(r.height-n-(r.depth+n));return Ke.makeVList({positionType:\"shift\",positionData:a,children:[{type:\"elem\",elem:r}]},t)},mathmlBuilder:function(e,t){return new Tt.MathNode(\"mpadded\",[Rt(e.body,t)],[\"vcenter\"])}}),ot({type:\"verb\",names:[\"\\\\verb\"],props:{numArgs:0,allowedInText:!0},handler:function(e,t,r){throw new n(\"\\\\verb ended by end of line instead of matching"
@@ -294,8 +296,6 @@ module Internal = struct
let d_ad48849637d7c8349cb3e6952d5c8699 = "0.7 8.3 195.3 44 280 108 55.3 42 101.7 93 139 153l9 14c2.7-4 5.7-8.7 9-14\\n 53.3-86.7 123.7-153 211-199 66.7-36 137.3-56.3 212-62h199568v120H200432c-178.3\\n 11.7-311.7 78.3-403 201-6 8-9.7 12-11 12-.7.7-6.7 1-18 1s-17.3-.3-18-1c-1.3 0\\n-5-4-11-12-44.7-59.3-101.3-106.3-170-141s-145.3-54.3-229-60H0V214z\",oiintSize1:\"M512.6 71.6c272.6 0 320.3 106.8 320.3 178.2 0 70.8-47.7 177.6\\n-320.3 177.6S193.1 320.6 193.1 249.8c0-71.4 46.9-178.2 319.5-178.2z\\nm368.1 178.2c0-86.4-60.9-215.4-368.1-215.4-306.4 0-367.3 129-367.3 215.4 0 85.8\\n60.9 214.8 367.3 214.8 307.2 0 368.1-129 368.1-214.8z\",oiintSize2:\"M757.8 100.1c384.7 0 451.1 137.6 451.1 230 0 91.3-66.4 228.8\\n-451.1 228.8-386.3 0-452.7-137.5-452.7-228.8 0-92.4 66.4-230 452.7-230z\\nm502.4 230c0-111.2-82.4-277.2-502.4-277.2s-504 166-504 277.2\\nc0 110 84 276 504 276s502.4-166 502.4-276z\",oiiintSize1:\"M681.4 71.6c408.9 0 480.5 106.8 480.5 178.2 0 70.8-71.6 177.6\\n-480.5 177.6S202.1 320.6 202.1 249.8c0-71.4 70.5-178.2 479.3-178.2z\\nm525.8 178.2c0-86.4-86.8-215.4-525.7-215.4-437.9 0-524.7 129-524.7 215.4 0\\n85.8 86.8 214.8 524.7 214.8 438.9 0 525.7-129 525.7-214.8z\",oiiintSize2:\"M1021.2 53c603.6 0 707.8 165.8 707.8 277.2 0 110-104.2 275.8\\n-707.8 275.8-606 0-710.2-165.8-710.2-275.8C311 218.8 415.2 53 1021.2 53z\\nm770.4 277.1c0-131.2-126.4-327.6-770.5-327.6S248.4 198.9 248.4 330.1\\nc0 130 128.8 326.4 772.7 326.4s770.5-196.4 770.5-326.4z\",rightarrow:\"M0 241v40h399891c-47.3 35.3-84 78-110 128\\n-16.7 32-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\\n 11 8 0 13.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\\n 39-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\\n-40.5-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\\n 151.7 139 205zm0 0v40h399900v-40z\",rightbrace:\"M400000 542l\\n-6 6h-17c-12.7 0-19.3-.3-20-1-4-4-7.3-8.3-10-13-35.3-51.3-80.8-93.8-136.5-127.5\\ns-117.2-55.8-184.5-66.5c-.7 0-2-.3-4-1-18.7-2.7-76-4.3-172-5H0V214h399571l6 1\\nc124.7 8 235 61.7 331 161 31.3 33.3 59.7 72.7 85 118l7 13v35z\",rightbraceunder:\"M399994 0l6 6v35l-6 11c-56 104-135.3 181.3-238 232-57.3\\n 28.7-117 45-179 50H-300V214h399897c43.3-7 81-15 113-26 100.7-33 179.7-91 237\\n-174 2.7-5 6-9 10-13 .7-1 7.3-1 20-1h17z\",rightgroup:\"M0 80h399565c371 0 266.7 149.4 414 180 5.9 1.2 18 0 18 0 2 0\\n 3-1 3-3v-38c-76-158-257-219-435-219H0z\",rightgroupunder:\"M0 262h399565c371 0 266.7-149.4 414-180 5.9-1.2 18 0 18\\n 0 2 0 3 1 3 3v38c-76 158-257 219-435 219H0z\",rightharpoon:\"M0 241v40h399993c4.7-4.7 7-9.3 7-14 0-9.3\\n-3.7-15.3-11-18-92.7-56.7-159-133.7-199-231-3.3-9.3-6-14.7-8-16-2-1.3-7-2-15-2\\n-10.7 0-16.7 2-18 6-2 2.7-1 9.7 3 21 15.3 42 36.7 81.8 64 119.5 27.3 37.7 58\\n 69.2 92 94.5zm0 0v40h399900v-40z\",rightharpoonplus:\"M0 241v40h399993c4.7-4.7 7-9.3 7-14 0-9.3-3.7-15.3-11\\n-18-92.7-56.7-159-133.7-199-231-3.3-9.3-6-14.7-8-16-2-1.3-7-2-15-2-10.7 0-16.7\\n 2-18 6-2 2.7-1 9.7 3 21 15.3 42 36.7 81.8 64 119.5 27.3 37.7 58 69.2 92 94.5z\\nm0 0v40h399900v-40z m100 194v40h399900v-40zm0 0v40h399900v-40z\",rightharpoondown:\"M399747 511c0 7.3 6.7 11 20 11 8 0 13-.8 15-2.5s4.7-6.8\\n 8-15.5c40-94 99.3-166.3 178-217 13.3-8 20.3-12.3 21-13 5.3-3.3 8.5-5.8 9.5\\n-7.5 1-1.7 1.5-5.2 1.5-10.5s-2.3-10.3-7-15H0v40h399908c-34 25.3-64.7 57-92 95\\n-27.3 38-48.7 77.7-64 119-3.3 8.7-5 14-5 16zM0 241v40h399900v-40z\",rightharpoondownplus:\"M399747 705c0 7.3 6.7 11 20 11 8 0 13-.8\\n 15-2.5s4.7-6.8 8-15.5c40-94 99.3-166.3 178-217 13.3-8 20.3-12.3 21-13 5.3-3.3\\n 8.5-5.8 9.5-7.5 1-1.7 1.5-5.2 1.5-10.5s-2.3-10.3-7-15H0v40h399908c-34 25.3\\n-64.7 57-92 95-27.3 38-48.7 77.7-64 119-3.3 8.7-5 14-5 16zM0 435v40h399900v-40z\\nm0-194v40h400000v-40zm0 0v40h400000v-40z\",righthook:\"M399859 241c-764 0 0 0 0 0 40-3.3 68.7-15.7 86-37 10-12 15-25.3\\n 15-40 0-22.7-9.8-40.7-29.5-54-19.7-13.3-43.5-21-71.5-23-17.3-1.3-26-8-26-20 0\\n-13.3 8.7-20 26-20 38 0 71 11.2 99 33.5 0 0 7 5.6 21 16.7 14 11.2 21 33.5 21\\n 66.8s-14 61.2-42 83.5c-28 22.3-61 33.5-99 33.5L0 241z M0 281v-40h399859v40z\",rightlinesegment:\"M399960 241 V94 h"
- let d_b0279806812e471bdbcd697b6e67ebfd = "-target-background) !important;\n box-shadow: 0 0px 0 1px var(--target-shadow) !important;\n border-radius: 1px;\n}\n\n*:hover > a.anchor {\n visibility: visible;\n}\n\na.anchor:before {\n content: \"#\";\n}\n\na.anchor:hover {\n box-shadow: none;\n text-decoration: none;\n color: var(--anchor-hover);\n}\n\na.anchor {\n visibility: hidden;\n position: absolute;\n /* top: 0px; */\n /* margin-left: -3ex; */\n margin-left: -1.3em;\n font-weight: normal;\n font-style: normal;\n padding-right: 0.4em;\n padding-left: 0.4em;\n /* To remain selectable */\n color: var(--anchor-color);\n}\n\n.spec > 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}\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 background: var(--main-background);\n box-shadow: 1px 1px 2px 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.o"
-
let d_b0696546d1fbae3aa8e6781816df213b = " \"\002\172k\2381_\026\015A\157i\188\172v\148H\197F\003\127\143nj)\145\194\128\014!\159\012\162\215m\230\227\0244\209y*jO\191\012\1680f\020\254\017rP\014}yU&\148\221\176\212Gl.\133\167\239B\213\247Y<;Y\253a?\194*\127\250\235\240\244\2375\2254\169\250\154\026\021\228\129\247\225\154\238B\233\158u\196u\245\025\247\181\184\209r\020e\211@\220OQY\024\167\n\233r\139\201\219\171\218\180\217\016qD\196\232\132=\006G\022\185d\t\186\230!\176b\196\184h\005t\155Q\146tG\164z\191l\157I\005\027z\023X\155\199\1569}V33\210\205#Q\250\239vE@\130~_\190\255ws\006~\215\236\157\137-\r*\232MK\027\021\157\137\169`\196\174\224\196\161\016\196\169\144\196\165P\196\173\208\196\1630\196\171\176\167%1\238_(]{\250.\024:\162g3\209\162?\133S5]\242[7]u^\242\247\000\237c\19426I\253\212G\003\240\131\004\021\140\132\020\156\132\021\130D\020\146D\021\138\196\020\154\196\021\134$\020\182;\003ze%\217\161\137m\195`\175r\016hX.q_c\2279F\194\145\194\181\189\159\228\001\150\144e\214\242\158\249\197\226\201\132\227\001\177\140\203\194\178\201|\173\164n\204\195\213\184NY\224OqX\221Ep\139j\1714|\000\025\166JSb\t\005_\030\021\204_\000\0000x\207\246jQ\243\215x?)\131\030\203e\183\145\129\160\197\135S\133\238D\223\178\218A\003M\215\167F\215\168\152\152\231\208\249\014\0186\142\222\199\229vi\165/#\172\156\127\029m~|\169\184q\244\178\025Z\135`R\129\132\250\007\134=7\211l\182\229\161\001}\169w\214\211hF7b\156\004\015\228Z-v]\199\232\222\243\240\211\028O\171\028\237+\211\146\232\221i?\147(\225>q[\236\251\213\180J\145\\\026F\143y\176L\027#\158y\179\135Me9F$w\230\217\243\026e\003H\020[\228=gdrA\227\134\205u\192\004$\012,\211E\018E;\233\153x\226j#\162lK\250R\002\158\208a\230\205\024\142w\180\201\r\011Z\138,\208f\253^GU\203!C\020^\000L\r2\140\182\t\216\154\012>\143f1t\232M\029\207\175\135\128\164 \018\206\185)\143c<\138\176\160r\027\242\018\166\225\209\206\027\147\129\241\016)\017\240\\\185)\228x\151Vt\188\212\200e7\025^\18571\160\143]\205i^3\178n\207\029\191q\175\166\239\029\161\232~ws\031\172\199\180\131\251a#J\224\000-;\200\242\186\195\016\018\2171\183F\006\02805T-\168\198]\134\030\193\222\027\251}\232 \149\153\184'f}\173Xj/l\005\028\213\236\222\246\156\234IJ#\165d\2324\1687\220\176\1349\237H\169U\198v\248\218\233H\196f\230\201\017\139\014\031Q\003\229\218\144\209\2221*\160\183\004+6<>h\213*2qI`\206\r\029\022\229\208\249\149\156D\145\181\158\203\011_\206L1\002\012zL+\146\153\002\018\204\170\202\\\029`\b\243\138d\161\128\004\139\170g\151\248\t\000}\014\203\014\201J\017\tV\157\202Z\003\000a\221!\217(\"\193\166\211\254\214\204\024\208\237\168\144\157\002\018\236\170\202^\029`\024\251\138\228\160\128\004\135\170vD\029\250\221qT\218\tD\128S\167v\006\017\224\220!\187\128\bp\233\244\228\138\nM1\218u\211\148\221\232o\208\211\191e}\\\160\183{'\015\017\161\220\019\185\007\"\225W\150I\204\216V\203\024\208\248\024k\203\248\137.}JO\200@\244\198;k\194\228M\152\189\201\022\249\028\003k\202\178\017\178\019\189\131l\007\156\190\003.\223\193n\142\129'ey\t\249\136k?\187\024\133\223d\237\246\127\174\211\226\175\019\245\163\030\151\241\175g\001A\243\175\019\128\220\015P\031\002\185\n\156\250\0068\239/\192\246\030\208\191\006\247\186\003\n\207N:\163\016\157\021\015\216\024%\003\222\t\151\2004Xp\217$%\243k\207Z\002#\018\230\002V \n\180\002*\232\224@X\244%\138z\201\133\217\028\135\n\004\218L\188\144g]\208o\129\238\249\136(l&s\031\133|r\017\179\252J\150\\\006\158\142\242F\237m\133\199\003\245\164\148\238\210\230\020\021\174\185s\254\130\231.\201\229\171\184\228\210\188\138l#i\158\240X\235\254\214\004aD\193@\130\132\148E\028S\173uc\173\014MN\145\185\210\153\n\201\004Sp\1680\181\237)\161\201\150\170|g3\030\236\214\021.YTn\150j\169FE\206j]\185\228\242\165L\023\231\138\130z\155\141 \018\1572\167j/\227\161\177\170\t\169\240\243$\182\185\136\199\214\170:\174m)R\205y\220U\026\227d\182jW\"^\135/q\209\187\240\016\018\131\bC\196\178h\157d*BJEs\014=]\159/\195\233b\173\170\005\"\1800X\169V\138\196\020v\157;\142\223\208L&\186\143\146\164\246}\161\210y\130?T\r\230&\"z\t+\179C#r\202E\253\132f\145\016\185I\020\179A1\030\204\134\151\226Pz'\160\180\144\202\134x\208\131\246\174\149u\247^\027\162\131K\157\\\132\175\152\163_\211P\147\208(\015\207p\242\002CP\196\183\127\002\018\205\220\005\167\134\029\219\022\242\200'|\129\012\248 \157u\235\245N\237!\026\225\225\209\194\227UO\151\157\197\148D\148&\172\012\183#\135\\xl\2264\135\169P\002\204\002\188~Y/\007\"\2052\234\165\140\214}t\167:\165\163\244wC\167\003)\027\233\162\255\023Q\019\215\021F]\225nB\236\218%\131\182\184\155\151\241\021\135\225\253\138A|\183\178\026\172\175\"\190qV&9\224J\247\b\188\247\169\195\209\019H[\245\171\219\1452\216\127u\023\217\182G\015\246G\156mW\221\011\227\184\228\235\202\023a<\142i\241c\165oE?\179\161\2194\162QO^PQ\239\216\224>\229\231\205rA:\186\187\1781\223_\000\022r,\"\137v\229\227d\011y\229\0169\236\211\183!on@\151t\018\166e(\204,\249\221\022B\219\207\134M\007\012A\254\2455\234\242\021'\127\179\181\007\173\165\245:\228\218+L2\135Md\167\203DV<\163\027\028\151Q\166Q\2087^\185~b\161\218D\254\214\236^N\227\143\172\207\015\220/\223*\167\030\019\004\249\129\015\245e\023\180Q$d\150\160\245\208\171x\156k\005,\171\238\237\186't\2354\165h?\205\145\202\216\0182\213\132#\024\213KJ\237k ?\000\215\145_\241\161\133[\130\r\2045\206/o{\218\149\252-\221\215o\175g_\191\176\141-Uk\133`g\228\227\0147?\187tK\028\215\219\250\018\223\019\\\204\141\246\219\011\232R\216\028\198o\1553_Yr\189\202\221\183\228\235.{oXz/\216\222\nF\254j\027\157\252v\208\233\226\255T\133Q\020\208\133\205\181!$m\169\208h\143\223\018qZ9It\213\147n\002Z\020-\198\165\222\217S;\b\142\146C\196\018`J\248\189(G60[\232\145\171\134\206\011\155f\to0\222\n\218;k\188r\179\234(\204Q\192\167\255\170\1476Z\182&m\151/\027\130\250\011Cnk\012h\129j\240\133\232\217\176=\222\24125>Z\007\230\241\147!\012a\252\253\189\146\167\239K\191\252\017\164\149tJ\235\131\rN\021;\011\167\016@\187A\204\163\221$\247\200\023m\144\189\t\230~\194\189\204\188G\205\183Q\218\139\175\1633\130\145\146\231C\223(\140\011\004\242\248\138\246s\190\002\004\164\003LU\196r/\228\004[!\175/\"\173\189\215/u\228\134\183e=Fk\005\141\200\158\165}uU\241jd\232A\211\028\134\244h\128\183=\132\205;\177e\137\174\145f\133G\028\207t\128\151\031\233\158{\172\003e\\/QZ>\238Yz\007!\131\170p\"\198\185\162\1532t\146!@vSy\174\212\132\tQ\182\188\2301c\131&W\192\247E\181\247uP=\202\245\187\232\251\146\197\253,U\171\134.\1380\184\254\130\235\r\250\231\030\173\231\020s\174\251\208\219\183\174\007\232\209\007\174\143\135\029]\145\204\161\011\224\133\031N\149\229\189\222\214|h\245JhOy;CAH2\223I\135G\021\198(\1298>\240\180\151\147\252\160\164\b\201\232F\163'H\128\145w\215\017\134\244`\005\241\030\028\197\153\222*\015\237\204|T\237g\1434\131H\167\132\215}Pzo\253~\180\252D\031X\208.\189\n\148]\011\206\183\239b\176\140\246\134G?~\133\024\181\140\r\027k/>\204+q|\247\219\tu$\223j\131\190o\252\247\245d\r\204#\249FF\143\170\197:\023%\186\0163\151\210,\166\152\1497\206\199\161&F\170\196\161Iz^>VO\029\190c\0202_\223]/0\026Qr\177C~\195\2328\166\244\021\018\006\178\140\2042\228e,V$\249z\189P\175/\239\193\217\187\201\t\b\173\2341,\189\2541\209\188\221S\177\175\178n\022\023\212i\151gO\255V\015\"\015\194\\s\248s\164c]u\018\155\187+*\212bMK\159\194\016r\0319\172\140M\236\143\195(\002\244\020\242\241n\172\239Qa\173\255\255\172\132d%\011\213\r\156u\157^\247%\167\015$\144\181\143\n\022@\030C0\183\152\019 \251\132\217.\219\238\028\149=e\243\248y\027\235\024\209{m==f\138\200\217)J\151(\200/\163\157\000\012\146\140\193\022\144\17009\170\132\021\198G\128\192>\216\243n\180\251\149\134e3\244M\234&\015\130G\171\231\130v\202\132\204\022\180Q:y\140\001\225\196\247\134#C\179\152&\173q{D\137>\020\158\163\171\204\030\180\227Iu4VhZz7trXpa\225\248#SCi]\238\252\019\135\021b\028\141:3U\235\250X\007\135MJ\148\147\2000\018\230q\241h!Z\131\161n:\174?\244\186\185\244F\199~\148D{J\142J\180\150\176\135(\158\246bi\186{\247\203\131l\203\217\145\133\234\182\140\177\136\179J\182\163\175p\018D\006\000\201s1\173\254\180\197\148\170\024\211\189\252\1514\221+S\006\249\164\142\142\195\152\158\156\200\213\216\184L\224\245/\253\215g\164\186\208\234\181*\173?u_e\028Y\131Z\149r\146#1\192\182Z\164\245\200\181\223\209,\185\213\236\001\200\213v\245\177\248\190\r\186\249\228g\239\222hEg\211\162\151\220\1498\244\194\007\247\006\163\166f\140\250\238\182\216\229\223ea\028\204\224\204\244\240\208\030\241P\138\205\199o\169\184\241/\217\190\163\020S2\152\202\bq}j-W\029\182\152\253S\252\012=\195\157\208\173n\171'\210$\251\015z9\170^\214\23792\151\136t\2013\244\250c\2327S85\152\225K\158\232`\249\030 eR{\219%\223\190\141\246k\238\t\151\188\223\174\239\025\192V\003\021\030p\179\187e\221\136P\218\188P\250d\255\227a\141!\207\222\246\160\151]\141\178H\239\166N\145& \151k8KS\148'fG\157%\189\208r\138(\161\134\t\165\025_\185\243l\147\189\149\203jo\144+\230\208\220\"Z\195$Rd\137\191\188\000\234Dq\228\165\248l\241]\156\240\218\011fV\140A\006\210\236\146+'\208\015`\160\226\196\227:\151\251E\231\249\014\199\129\163(\2498\198\185\182\177\255\184\014\225kV\2208\024\248'\026\252\1278\233l\162\187\205\241eS\189\195\185!M\249#\186\003\139\141\160\213\245\201Z\204\201\199y2W\171\151/\163\247)\005;\251\004\169\155|\187\175\166\014A\154\229\184\026\196f_c\165\240~\237\252\167\177\237\252\238\022\190\139lXE\229\228RF\019\245%~\165-%\253w\2386\219\211\221\230\248R\027\254S~\n\235M\171\255kQ\205\228\166\176NF\212~Ee\178\159\207&o\248\138\151\254\021\223\150`\198\195\247 \139\234ck7\188\196\203X\133X\171\r\001\129CA \150#\136\233\176\233,r\239\011\136\189'_K\222}-9\176a\183\154nS\180?\236h\205\219\251.}\239yP\018\b\182\001\225\235~\138\127D\201=\194\162\181\254\018t\232\244-s\238\169O\151\159\221}\200\234\019\170\181\222\151^?.\172\181\017bB\253\243R\012;\208\165\190V\2140\179\018A\175\024\188\143.\"\148\230\246\158ns\155\026\243\145@]Y\221L\151\005&\202\141\011mQ\243\252\164\205\227^b#\bL\179H\142\152.C\170\193\197\212b\232M\218\134\208 \200\246+3d\211KF{>@*)\237\240\198\133\228\179\187\159\189}s\230\208k\203\183\011;\238r,\229\145\225\n|P\133b[\158\1988\011M\018\146 o\215\t\171WL\214\233-\161-\1519\141\255M\130\219~z\252Z\252\237\197\181\029\027\150=\146\229Yp\219\151\151^h\127!\195\250\195J\192fu\232\190\196\027<]=c\138f-k\255\172\027\020\231:3\135\208\146\185\163\151\150b\142\249\2536_\2032\2545\252\194\242\194\198\215\004\180\198x?\185\252\232p\254\173-\0234\004\202\164Y\196\248\249\171\255%+\023`/\231a|\196\249\166\239\198G\209\015\165\195\175`L x\244\241eq\218\247\199\249\1925\129T\001\178\254\179#\209\207\214:\210\004\148\r\027\1431\147\175\214\188\029x\2515\163\243\245\187\185iF^W\214?\187\237/\189\148\151\181\173;wO\217W+\011\215\207D\181\243;\029\193\224\014\187\246D\188\149!;\030Se\167<68\168\136+\213\242\216\208\144\"\170\178\168Z5\243\177\251E\231\197\144\157=0\236\160\156\1609\017\2355O~\012\213\149(\193\r|\171_\222i\2181r\017\178Q\245,\029\219n\219\232%zzs\2455\174\146\218q\253\024\203=jW\207/j\228\005?\230\168\224\220\186\012n\203g\2026\004\255\139_\249\223MI|p@\026\023\139%\241\129\159\134\219\169O%\015D[\219\247v\244\233\030-,\127&p\222\0175%\004\247\132\158\167\212\007\226\209\174\189\221*\137"
let d_b128d6f091a42be5d7a929703f09ac36 = "mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.27777778em;margin-right:-.55555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.83333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.71428571em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.85714286em}.katex .fontsize-ensurer.reset-size3.size3,.katex .siz"
@@ -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_609f576f064dfa5ea1545119859f0158; d_b0279806812e471bdbcd697b6e67ebfd; d_644fd385a5db6b0a90a81f89c24468c2; d_1cb40ac6e2b00475e1fbd468673a4608; ]
+ | "odoc.css" | "/odoc.css" -> Some [ d_716cf074e5806616f6d61aeb32dbe70e; d_609f576f064dfa5ea1545119859f0158; d_92d67c153383d8a5d46ba6d9247ee68d; d_30ca700678d2ff7e5a1c5981a2e65744; d_9cd2127654bad2ec912e7f568f5fc008; ]
| _ -> 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 "aeed497e9e864c0dd1263a28217cb2d8"
+ | "odoc.css" | "/odoc.css" -> Some "dac4c780c0c77d757354e248b160dc77"
| _ -> 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 19622
+ | "odoc.css" | "/odoc.css" -> Some 19671
| _ -> None