\1687\007b\018\002\235\196\181\216\204\018\198\"\193)\130\173\220fb\tG6*Gxt\140\205\177\254\031\255ao\233\128\t\166@K]\178(\139\182Y\238;\030\232\240\146\154U\208\134b\130R\1298*\197mG\149BlEB\187D\1742k$\252\218\237\"\024\224\233\247\156\233\246\245~\023\1861\137\156\023#;\181x\131A7O}\1952qx\031\137F\145\252[\026\157\221j\157*\219\248\232\246w \242\163\221\196\254|\191\153\182\026\229\252\151\014#\139\252\175\243vFw<\220zW\196?\242\189\226\231\246\171\155\031\251\172\195\004\021\252%\252\207Z\243$\007l'\184&\205\140rV\130\132{n+\158\188\234\236y\152\131\206\197w\245\146Q\189\207\205\216\140\166\014\253dk\173\223Qa]\216\209M~g\203\213*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"
@@ -206,8 +208,6 @@ 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\", 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\", sans-serif;\n font-weight: 400;\n padding-top: 0.1em;\n line-height: 1.2;\n overflow-wrap: break-word;\n}\n\n.odoc-preamble h1 {\n margin-top: 10px;\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\", monospace;\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"
-
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,."
@@ -228,6 +228,8 @@ module Internal = struct
let d_86df3bac1a1e0286b91bf5a166ab459f = "wOF2\000\001\000\000\000\000a\132\000\017\000\000\000\001\005\164\000\000a!\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\026t\027\129\159T\028\146J\006`\000\133,\b\1300\t\154\022\017\b\n\130\143\b\129\240l\011\133\n\000\0016\002$\003\138\016\004 \005\131P\007\142O\012\129U\027\213\242\023dn\243\188\164\212]U\180\253s\199\177\158\138\177k@\221\213\181>\219\020\162]0\221\220\137@wp\137\170\166\227\020\255\255\159\150\\\140a\0286P\181\172\150\181\254!&\136\218\142\130\149sQFQ\205\173\247\218T\209\243ZB\193&CU\177\ra?L\246\211FC\141\142\138R\248\162\200\184\216$7\201)\199\182\029x~\168\153\238\213TJ\147 \177\161\228\026J7\026\026\170r\248\190T\149i\205\204\207`.T7\245\206\166\218\012\243\251\135\190\220\157>\168\031\250\127\025\199\179\182y\182\228\220\233X\172\1908d\165\025\130\026\204\189\252\141K=\ngs,\222\237(\024#\150\224\011o\234\155\248\019\166\194\245\"?q\240\194\159O\218\248+*}\2002\192v\221\016\"eX\228\240#\207\247\239\223\255\255\247Q5\215\185\226y\000> \181\156N\025\164T\234P\206v\029\209\156\255\179\187\151K\028\b\030Br\137\163\t\226i\192k@\249\144\026}\2400M\251!\0215J\169\136\017J\251\168\184Q\017\007\162j\200\234\153\005\137\178\020\018\163)\132KY\201\172<.\027\195'\165\190\184\159_+}\127\144w\022\128f\t\143\152\146\244\160\136\202\179\143*\025S#+o\000\230V`LA]Q1\022\1450\215\193\138m\172\169\216F\142h\021\1490\0260\224\202\230\024V\252\029z\017m\221\255_\135\194\230X\003\143d\b!\249]\224\177\246\203\228\160\168\1443Y\177y\198e\190/\194\238\149e\171]\003\252>]\1753\002\195\140\244\174r\235\132\1392}\218T4\187+\248\192\242{\n\240\249G\141\182\149\2180\154\000O\007F\n\210\165MsQ\021\223\148i\n,J=\178\030Y\001R\232\198\179\006\218\200$\239\129\238\206{\178\149\228\011\224\223/u\189\183sE\153\176\154\183\217\176\199\014\208\007\135\228\131 HA\233\168\168S\212\234\170'\135\253\207\233\127\250H\178\138u]\228\218\127\245\251\165\238.\192\169\128\132\006gx`\233\136\135\165\243LP\b\217\028\229f3\175\227v+&XMR\017\221d\191\127\180\162\142\216)\020<\t<\225\\\223\155d\154\018,\255,\2091\247\192U\168\184#\167\190\179\007\001\176\180-\212S\208\015Y-\148\195\135\237\017+\128\000\2353\213\175\170\186{f\022\150\132\232\191\177\134J\192\239!C%x8\183\218\133\160\213\138\143g\\\140\132\188\243Y\160Pqp\241?\171\246\203\239\227\185\tu\189Z\177A\144@`\227b#\132\141\144\128 L\242\t\187\001\000\169\b\254\229\246\249\224;p\176\226\248\n|#\170;\1472E\147\020Mw\231\144a\218<[\156St\181\001O\254\1273\245\181\243{3\004\176K\254\128%\029 :\145\138\196\207t\170A\016\192\015\153\250\014)\1483\247\221\153\183\243\222\206\166\193\"-V\004\023\018\140\005\004\018\129\001$\bkgv\177\024, ~&\029\145\018\0292\244s\004\004EB\129\2501\198\162qHE\239\220\169\244\239|\220\185\251M\235\020*\023e\229\202\199Eg\030\254\185w\250oc\001\165\223\026\244\220:\209\006\234t\252cc\129E8E\1905(\012\211\136\226\249\127\1509\155\157K\221\165}\186\229\196\129B\184\161K\140D\198\207\166\191\164\171\161T\137\\a\018\183\194\209=B\"\241{VFz\132\003\158\239\175\031\239\172\173\029\192\005|n\251\237w\169\236\214\031?\244\253\142\231\001&\218,\022H\147J\200Qa\0195Q\b)d}\251\169\221\217\187\t\161\2411\166\214|\012mP\149H\002\128\203\139uQ5\142u\157)<\031W\211f^\031\168[0\192\192^\135\193\137\187[\141\159f\199\137\151eT\212\132\218\004\216xP\155\132e\148\139P8\190\178\248\018$\212w\163\222|\t\253\238\222\150A\130\004\t\018\172\200\244r\221\243\222\019\255\249\191\221\216\238\247\189\0293s\212TEEEDDD\213\030K\201\128;S\015\r\224h\247\175}\173C6s\007\161N\223\007M\240@La2\172\205\134\195\235@1\146C\152\132\180~\207\204\\vKA\149\237\011\000<\190\157\145\021x\170\004\184\011\192Q(R.0P0\200$V\218\017(TT\142\139\024q\014\1414j\215\209\198@Z\227e\166G\142D\022\185\134\148\209\132t\241\173\014\136\225\143%\004\028V\2288\234~\015H\181@\151\131\1935U\016}r_\\\t\190\151{6+HP\128i\215\b6\190\248\1891\026\239{#,\220w\015X8\004/}~\141\021\178\0017\210\173\131\204@e\245z\186\140\001\n\133\021W`\228\205\028\004}\207\2311\171\015l\206\201\012!B\023@p\160tr\031\138\027\001\137\179\142;h\175F[\173\183\210buf\153b\156\017\006\169Q\165D\158l\022\233:I`\018\014\185\221\183\144MS\bi\238K\200\230I\132<\0259\228\254(\151M\165\242(8\165+\182M\011]\018\186;v\185Y\022;\0126MK\191\212\144\190\135\134p]\023ru\139\234\t\193{I(\214\150\164\174\244!L\189\149\149$\003\012$\225\161\195%e\211\213\247\218\181R'Z\209\137>\146A3_\1446i\151N\233\146n\233\145^\017\164_\006dPF\164O\250'\004@\207\139I\195z5\149\133x\152\236\242I\135oZ\128\b\218\205\209\025x\147\153\190.\2447\0207\142xx\144U?Kh\142\236>\001\154\173\019\b\161\162\137.!\137\134\193\222\151\193\222g!\1844G\177\012{\141\219YxO\155\r\221\220\1875\138\173\214[i\177\186G\179\182)\219\184m\1966h\171\217\170\182\1465\204\187X\204\222,[\250\214\t\tL\194\239\0277\223M\189\2016\143M\188\tX4\011V\157\250\229\139w\249/V\235\186\187\174\175\139\235\244:\186\226\254\213\188v\174\205km\186|5\172y\211\025\153I\198\024f@^\191U\177\1386\223\149\187z\209\231G\153+u\165l\131V\220\138^\161+\016zJ\210\199n\203q\241XS\022E\218\250G\127\2347+>\235\135}\187\175\246y'\029\214\162\201\246\199\027{u/\237\250\158\179\199\163)2m\143j\014'\244\168\030\210\182\182\162L\129\127\030\247\232\140\238\210Im\238\200\014n\255\214.\012\t\151\169\168\144q\b&Z\"S\127\234[}\168W\249O\182)u\191n\214\229:[\199Kv\176#k/\211F\216j\253le\183\137\135\139\171\174f\213\148\026g\239\141\168AU\211\254UU%\149W\217e\233Q\149\190t\146\192\2448\188\140\229[\234\146\149G\137K\128\233\149@.\250\149/y\007yY\231\136\247\129\132E\228Y\184(\146X\004;\023j\167\004\148\254d`\177\006\130\134\030\133D_\251J\214r\030\132\199[\142\212\160_\220\tV\175@~\210\213O`l\179e\160q\195W~\245\012\141\243X\206\025\161\174\129R\215\219\024\153\150\150fA\221\209X\153U\\K\001-\133uWJr\229\192$>\180\155\226\211\252n\023 \166\029Z\248\240c\166\153\153!_\155\222U\206\216$\nc\003%Aa+s`c\255Io\226(X\159)r\174H\225\169\130\243\000a\154)\012A(b\219\031Da!g\170\028\015\168\223\130\144p\n,\003i\002\002\012\004T\153x\217\250\"\146k\193\203\240A\n\144\158J\017\020EYU*2\251JA\150\169\185\214\224R@\n `\021\000\132L\184HH[w\143c\148\135\236/'~\247\154\155\\\027\204\166\162\021\143\n\021\177V\197L\244\025';\175\236N\253\223\1369\016D#4\242\161\187\143\246\255\165(;\251C\150\213\193\196\178i\194\136\137\129!\001\129\167\201\0271'\215g\242\156\203\145'GV8 \014\003\169\153oBE\142`\t\199\189<\129W\004\178\2558\248|\019OC\217\197\2470\250\134|\233w\245\235\250O\253\128\215\024\193\250@\127\219E\145\231%\204&\180\024\018.D\024(\1703\027\243y\017\018\149\208x\204D\180z\174\029\142C&A\027\143j8\012\003\244\139\021\192\243\128g\012{\137L\169R\196%\209\025}\152\234\178\007-\012\0077X\029\002\131\177\174\1383\231\014\188\244U+\197\251\016\173JXj\238uiq\237\249\206\191\195\203\226\233\161&\251\199\245\001r\195\145OG\142\030\190\154N\164\016\012\028\132\245B\001\1914\r\023%\237=\223\132\241g\193\180\206\243\217,\210\223\254\015\170\216'BlD\231y\024\199\184\004|\000d\210\185\216\020\211\017\245\182a\219a\023\1853\206Sz\239\011-\202\215\004H\179\137\237\177\023\177\031\226\136\137]r\021r\011\226\190I|\245\r\242\163\141\252\213\214\157\b\219\219\180\205\178\144gP\166BLO\198\234\173\192\182\2106'\164\198\145\245#{\160z\232\168\231\221\167\189\207_m`\206\222\197\255\197\254\146\003\234\007\t\233#\145\018^\018\019N\153\016\242m6\154]\029\152\176\187\205g\236\022#\220B~\007i\225=\004B\212[]\028k\163\189\189E\201Y\023^\228\190J\158\231\007i2\1683r\139\173\205\160.P*\149[\241I\217\130\186{\166\020]\195\170y\135fVd\022&|lq6[\016\162\183\141\211\232\168\012\148a&\242\146\165\012\006\165\162\244\224|\139\024@.o\2297\207\016I\005\169\129\223?|\139V\170\179\255\b2$\1674X\127}{\255X\1858\\x\188\191\210\134-\219v\157:s\238\194\165+\215n\220z\242\237\251\207\127\1535\197L\227X\004\014\135$\016%M3\233\245\186\"\153d>\159,\020\220\197\"\165TK\213\235\180F#\221lzZmF\167\195\234\014yGf\172\217Y\209\220\\n}#\176\183W8\184\176\174\175\173\219[\237\254\222x\248\160\244\248h>=\217\159\159\029/\031\153\031\127\236\252\228\211\157A\203_%\202\215\196\190\193\246-\178\239\144|O\241\007\244\159$\184?\216\021\173\252\014\153?\224\204\160M`\205B\006\011\178_\145\003\224\228\160\169r\200aA\142@\028E\2378:\167\133\191\135H\216\198\163\2165\195\224:r70\184\137\220-\019\185\237\158 \247AZ1z\130\151\167\b\188\021\253as\019\188-1\169x4\014 pE\028\188\006d\017\215\b\136s\r\255\184,@\003\177\235\012\205\183\157\133\207H\0268\140?\231O\001\192F\004\156\128\129\150\236C\148f\227\196\020\031}\1799\002\140\224\200E\239\237u\003\223f\029\229\240|??\003k\001\015\018\140g\215\207\218\137\\-\\\1312>\192\177\190\175\254\169g\222\022\182D\140\0209\n4\251\169\202\234\135\138\250\153\202TF\153\212\243i\247\253\159RN\169M'\194\241\216\028$\159@\155Ja5\158H\179\183\135\174\213<\179j\011\"\215\236\144{\015\222\171y\205\210[\176\139\184\219a\0073\003U\011KJ\151\007\172\"t\171\135$\203_\135\181\177\135]\\v\"\028'D\188\241]\n\253f\145\144)\220\153\164\233\002s\251_\006\128A\171\025(5\163\1335~s\168)W\194\240\133\195\1770\004\164\196\249\025\221NI@\166d\151\210\029\000\001*\"!\001\223\130X\"n\144\239Z\140\135\210\023\225\029+\001\178\168\159I\189\239jiM\248\n\159\162\130\179m\178\128\134/L\135S4,E\026\147U\138i\016Ill\016\027\027\012\206\131\192\"Qd:\007\1747\023\243~\251\210\138\177\022C;&\149\157]\187\130\244\180}\139]Gz\199%e\191.\199M\217oK\189\143KS81\220\004\012-\156j\132\151\249\208\"\029Z\1589\b\239\021F\138jS;\151\173K\251\195Z\185\187L\138\234\163\232\021nf\bu\231\149\136%\177|\221'@u\t[\022\163\206\255M%!\001\208*\208\217\nWy\164\157\134[\233\163\200N\133J\192.\007S\003\136\012F\190x}\223\152>\019\253\243\031\0293\237\220\204:~}\154$\023C;\027L,\144\146\187)$h\019t\020\224U\204\"L\166-:\218P\188p9\150\23770\212\150\012\224\025\172,^\241\012\197!M\235\184\149\179~q'\140\146\174\t\232\136\028\023\005a6\189Z:T\024\184\211\137\185Q\020O\131\0196\247L\005\129\167pNB><\130u%\128X\006N\184\185\153\022\210\021f\170\002n\164l>\r\212\020A\026\196\b\168\143\165\004\219\173\239>\135\211e\183\249\022=\182\217\011\212\"E\137\202c\238\164\019\0270\245d\173\209I\255\202\212j\005n \248r\177\132d\1684\002\170\165\233\222\249,3\202\168V\160e\180\140V\199\234\145P\132T\148R `\020\027\239\029g\186{\248\213\203\247gI\127\149\242w\130\132\018\026mQ\031\131\216\182\202\216\173\172\227\148$\166\200\192v\177\023\\\176\151f\214Z\233\183\228$\1418\182\252\246\217\228{\142 1\139enJE\128\192(\155\229p2oA\238\011\t:p/Z/\156w1I\r\159I\241\147\232\242\1390/\220>_;\\,Y|\193\"D\234\128<\143\219uQ\178-\224\199\175\223\127t\182\237h\217\203\175\166\003\162jW*\1492\14038!\230\147\148d[3\161\227@\018\242O'>4\142\240,\146\177r\250\225FbW\181\203\220\227\222+\252\2187\180+\145\252\200\139\207\250\245'\027HA\206I\128{\1687\163\030\028\231G9\157h\134T\225\014\\\224\226(\023\023S\020\005ope\143\162\225l\146\175d\221\135\029\134\b\236\185/\175\145R\179\167[<\159\142Ts\2539\000\175\166\0253H\127%\143[\0311\176\161n\\Q'\023\242\192N\199!\228\145Z\183y\237T5:\182\238\196\132\137\1988G\002\234)\165X[aN\199\129r\022\186\025\214\176\007\213\154%\206l\247\223\024_\171\166\180R\012\129O\212r\148A\127\194\215\216\152>J\199\232\243\242\252\165'\244\207\228\249\000\160\161\201\169w\235\168\226\tQ\167\166\170\021\026C\179\006g\146\020\160\195rv\247\002\130\014\221\147T\220\137v\024\198\164}&\189FV\022\026\030P?\155\142\240\193\170\191\218\200\212\024\025\203\200\018\208\164\005\249H\203\t+Aa\137\217\179\172\189\165\170\0300\219\029\151'/\155\187M|\164\1505\000+\017v@\177\245;;\004J\210{U1)\206\168\031\148\186>\158c\251\229\2388\020\175\252\156b\011B\240m\194.\128C\146\238\159\132]&\130\tu\161,&D\005\r@\025\135\234\166\140jn \019\237&\151=\238l&\243`\196/C)\219\251%Gl/L\133H\147\007\182E\149\1665\195\na\158\171\154{u\215\229\244\159\144?\187#\155\0283\011b\2037\158\r\202\022\156\154*-+,I\135\005w"
+ let d_8890b0814e375c9f0a79e835752aedf2 = ": 0;\n padding: 0.4rem 0.4rem 0.7rem 0.7rem;\n}\n.odoc-search .search-entry p {\n margin: 0;\n overflow: hidden;\n text-overflow: ellipsis;\n white-space: nowrap;\n}\n\n.odoc-search .search-entry:focus-visible {\n box-shadow: none;\n background-color: var(--target-background);\n}\n\n.odoc-search .search-entry:hover {\n box-shadow: none;\n background-color: var(--toc-background-emph);\n}\n\n.odoc-search .search-entry .entry-kind {\n grid-row: 1/2;\n grid-column: 1/2;\n line-height: 1.4rem;\n font-size: calc(var(--kind-font-size-factor) * 1em);\n font-weight: bold;\n text-align: right;\n position: relative;\n bottom: 0;\n}\n\n.odoc-search .search-entry pre {\n border: none;\n margin: 0;\n}\n\n.odoc-search .search-entry pre code {\n font-size: 1em;\n background-color: var(--li-code-background);\n color: var(--li-code-color);\n border-radius: 3px;\n padding: 0 0.3ex;\n}\n\n.odoc-search .search-entry .entry-title {\n width: 100%;\n display: block;\n grid-column: 2/2;\n grid-row: 1/2;\n align-self: end;\n line-height: 1.4rem;\n white-space: nowrap;\n overflow: hidden;\n text-overflow: ellipsis;\n}\n\n.odoc-search .entry-name {\n font-weight: bold;\n}\n\n.odoc-search .prefix-name {\n font-weight: bold;\n}\n\n.odoc-search .search-entry .prefix-name {\n opacity: 0.7;\n}\n\n.odoc-search .entry-rhs {\n white-space: nowrap;\n}\n\n.odoc-search .search-entry .entry-content {\n flex-grow: 1;\n flex-shrink: 1;\n min-width: 0;\n}\n\n.odoc-search .search-entry .entry-comment {\n max-height: 1.5em;\n overflow: hidden;\n text-overflow: ellipsis;\n white-space: nowrap;\n font-size: 0.95em;\n grid-row: 2/2;\n grid-column: 2/2;\n}\n\n.odoc-search .search-entry .entry-comment ul {\n white-space: nowrap;\n display: inline;\n}\n\n.odoc-search .search-entry .entry-comment li {\n display: inline;\n white-space: nowrap;\n}\n\n.odoc-search .search-entry .entry-comment ul>li::before {\n content: '\226\128\162';\n}\n\n.odoc-search .search-entry .entry-comment div {\n display: inline;\n white-space: nowrap;\n}\n\n.odoc-search .search-entry .entry-comment p {\n display: inline;\n white-space: nowrap;\n}\n\n.odoc-search .search-entry .entry-comment code {\n display: inline;\n white-space: nowrap;\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\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\n.odoc-table td,\n.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\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: #a7"
+
let d_8c0686848665c0616f4fed0880a6fa6b = "wOF2\000\001\000\000\000\000ah\000\017\000\000\000\000\246\248\000\000a\005\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\026t\027\129\162\002\028\144F\006`\000\133,\b\1300\t\154\022\017\b\n\129\240h\129\208<\011\133\016\000\0016\002$\003\138\028\004 \005\131`\007\142u\012\129U\027\017\227\023\2166\237\134a\189YU\t\224\187\253\132\162B\025\183\147\232NPm\251\212\147w\0017\198i\208\029\156\196\020\251\213\228\255\255\179\146\019\025c'*f\020\127\162`\028!\195\218\146-\138g\171[\006\203%\186\245F.\227\154lBK\019\249\254\194w>\236&W\016\171\135\028\179\224`\250\183\217\031b?\168\221\226\219]\173\131\167h\215BV\001v\235\006>\018B\209\157\206\196\203\251\203\248\234H\247\181\219\158\249\004\004!`H\017 E\196\187\214\207\243s\251s\239{{{[3j\212\2466F8\198\154\209#6h\149\018qD\164Q\128_l\240#\191\213\223\001\191\208_\024\213\2327\003\163\192\234M\237\237\238\153yo\023 \193\003\015\196\025o\192\255%@\006\208~cY\140V\011\030\004.Y\144q\177%%\159\005\023^\152*\200\020}\241\207\247\135\228\185\239\239\210\206z\132\002\222\027X\235\134\017-\141K\029\143`@\255\000\191\205^\239N\004T,@\005\137\nA*\031\217\006\216\205\242\188\253\149sko\209\223E\177\200\243\"W\151\181\188\168\250\223\169\t\1931\\\196\014\240\026uC\209\027\168O\157[]\025\186\177\254\243\1502\164\250\190\157Hq~\134\252R\168j\185\225\216\175\026\150\016\130JQb\004F\186>\156{\252\180\1896\151\235%iJI\030\208\128PM( 6\134\141\153\209c\205\198N\242\255\012\001\206Y\174) \0152G\198|\133\019\239\242\127\236\001w*\162[\229\212V}V\000\255>\168\203\175'Y\166A\019\143mI\182\00700\147\143J\178\135K\152\238\168k\238w\021P\187\016\226\212.\177\228\204]\247\215\006d\1792\001\242\246C\2197+J\2404o\024|\005\177\147\197\178_\192\239|\130&\223\138\154\162NW\189,\190\168+\229U^\031\017\156x^\030Z\158\142\136\003\133\251\207in\129f\164\".\159\n\129\235\002\192\252?\223\254J\020V^U`\185\209IW\233\186\136^dg\001@\138\188\132\238\171\138`\165M%\003\193\0254'\195mSy\231\139*U\248q\250D\129um)^\201R\004\241o\144\2330\149\b)\216?\t\bF\213\128\212k\228\015\183\245b\136\166\224!\191z\030~\027p\136\194\243\255\251\181\175o\131\183\185\144\134$\030g\017\018\139H)\1488b\231\029\220\219\197\223\012*)\146(M\236\191\255\147i\019\011Y4\245\031J\007\254\233\151?\237\238\187\138\253\180\227\192\200\245\146R\015\253\209\158\005\137\170\227qHP\014\161\249\030t&\2273>\198\196\218D\216\168L\164\142\021\185\127\155\149wg\234\175\030-\240\152\248\128#\191\011\146\229\200@\161\249\229\142\213U\245U\250\191\186[;\210\200\179\026-\209,\144\204K\250\r\154V\2071G\006\142\b0H(I\000#'\137\147\208\206\238\178\187\212\217e\247\255\251\211\178\189\247=k-\217\179'\254\227\128&\236EO\216E\231\2412T\169S\002\235\191\255\164\015O_\022X\027\129\237\249c-\200\214\144$\207\024wc\193\228\200\246,\000\007\000\004\003\228\000\001\151)\211\214@\021\021e\153*\021\208\195~\162\186\0283q_\012?9Y\225B\172\012\133Q\030\193\127*''+\212\\\132\156\153S\133\254\227\2084\147\157\135\233D!\251\166i\229\1677\1776\222@\154eB\017\011PD\002\030\145\019\188\241\003\240{,\205\003\221Y\142E\148\216_\225\223\149\180}\025\218\028\220\001?1\141\161\134\226\209\131~\027\245\234sr\\\194\134\143\181\198\0122Xc\172\200\178\152\243\146vO\164\190\029\027\220\177wffj\170\162\162\"\162\"\162j\199~\234\247\148\140\217i\012\194\229\152\n\024R\211\183>\223\214\180=\252\185\250\197\133\173]M(B \2333)\004t\253\188\187\247\222J\128\171\002\156\132\"\231\002\003\005\003[1\175=.\144_\150\131\208uk\186-\222\218c\t\228J2\169\136[\"\138(\147\241K\160Q'8\160\143\241\191\132\128#\021\182#\175\127\195\244\028H\1897\183\173\001\"\030\rV\214\131\250ySG\019x\"\0013\193\016\216x\190\214\024\133\219\026a\225\252\025\176\208\248\015{@[\0198\016\189\142Z\130\172\162\250\198fR\183\001\133\196:,\197\136\187\000\004u\237\215\210\239\031\172\205\191i!D\021@\208P\172NB\225\003\159\167\237Fl\244\155\159|\2273\235\189\171\223J=:\205\209\166S\131*%\028rL\145,^\020\011\020\247\238\129\220[\155!O\187\b2\186\222\132\226\220\157P|z\000r\213\027\160\b*\232\220\178\155+3\026\192\004\004\195%\164\129cK\177eN\245Yh\190\149\234\153~\241\158\249/\190w\254\182d\205\239FyL1kk\212t6\165?\146\254B\242\198\026-tcs\001D\000A\185\212\195sb\142\025?\150D\017\196\026\027\023|pp\235\224\166\\\159kre.\203\1859+\167\231\148\2363\011\016~\228I\"\167\241O\128\209$X\012\244S\169\178\195\t,f\2542$7b\\\\H\250\022\001\154\202\227C\208\212L8\132L`\212\tI4\012v\239\005\187\183Cp`\028I0d7\180\245\192\219Z;\255\176mk\b\170(iw\184\228\248M\217\146\183\248-j\179l\250M\189\169\240\2026\233&\217\248Y(\028(^/\2201\242%\255\184\174\175K\235\236:\190\014\174\221k+\252\203\176;\132s\183\155\235\135\237\201\250j\135\201\173\216O\214\218\245\246\019Y\r\203y\131\005\204\210\0222u\171\226\229\139V\222\202\218d+}%n\020\025\187\"\150yiW\224R.\239\229\182\196\139\139C\022\247\184\251\012\190\196\195\190\221W{\180O\247\209\222\223\183\153\221\217\155\251\2394\211\253G\255\002\223\241\005\031\241>\003\210\251\236\172\165\221\221\243v\152\162\137\014\136T\167\201C\212tY\023@.\025\164\250\219\219\218amlM\2517\211\158\237\242B\b\237\224\190z\229\247\212\147\186_7\t\189\220\221u\190N\214\225\243\247\214\246\026i\255\218X\191\213O\217~\211e\245\025\172\231]\250\237\202MR=\188xg\205\169\182j\168\170\237f\149\148\1635\149SS*\185\226+\170,\155lGCQ\219\139K\143zJ\213\155\203\012KK2\177|La\1539\144\129^d,wS\221\031\n\137E\128\252\004$\230&\215\210\243[\140l\011\020WF#kVh\172@\169K]+(n\176b\173-\030\156\021\213^\158\206\178\217\162\019\149\234j\031\168\174\255KZ\245\191\215K`\bP\222\148v\216\152(e]\245\n\1690\145a\005;\191\211\004Lr=\174\233\001\139\209\025>\177;i\245\177\2152\218\025\180\213\237\161\227\159\176\229q\229\196R\148\208\175\019\135\210\r\246W\191\192\163\236Z\165\2285-\184\16624YF\205\003\002\r\1611\021\169\254\157\018F\234\198\005\239\n\020 \213c9\185\133Uo\219BA}8\012\237-\004\218\015|\225\145\194~A\252\007\003\255S\154^\003h\140?\r\219`\163\191:.\255\026a\179-_\179\195N\187\237u\2121\199\157p\210)\167\157q\214\197\206\251o\244\216\139\184\193\178\0178H\\\\,|\002jn\220\168\249\240\225E%\136\154\150\150\154\158\1587\003\003\138\145E\144P\161\216\194\132\209\b\023\206G\132H\180(Q8\162ES\179\178\211K\144@&\201Tz\0252\bd\202\164\231\144O\161T)\131ru\244\0265\210k\214\204Y\139\022\n\173Z\185j3\139\201l\179\185\155c\014\169\185\230\2420\207\002\238\022Z\200S\167NB]\186\232u[\172'\154\217r\225d\005\001V\226f\021b\189\136\244a\180\026\023\253*\181EBZ\136?!\2160\\\027\192\254\146@\029dSC6\131\196\150\177\202V\219\024l\135\176\003?;\t\180O\158F1D\r5\236\164\161s\n\198it\206\1928;F\206\025ep\017\228\nz\215\240v\029\190\155Nj\166XC\0057\236\181=\192\181\250\134\016\001!I\156\228\185:iss\n\206\189\006\127\2000\027\212\250(\011\143l\n8\194\163\192G\019\176\017\018\001\0054\b\182\1958\027\189\133y\246\003\224\004\254\028A\189\202\175f\247\229\019\154\150q4\015\230\0231w\139\134\178\220\234\154\249j\194z\141\154\192/\185\220)\149>\248\235n\184Y1\t/Nn\222\252\244*\173\142C\217\177\168\168P\162hH4\240_\137\212\150H\193>!A\145\023\026\230\017\147\167\205)\024\207\031S\144\154\233\160\231*\178\235\248\000\196\140\205's\215|MU\0314\\\234\162\171y\222\153\235\148\198D\207\026\128P\031\171\157W\215F\162L\247\212\202\b\194\136\185$lW\129\"\151}\207a7\191\245\176~\190\134\236\229\163\133s?W\146\137\014\237\242h\204\172\167\245\000\173\190\212Q\145\200\234\204\197\170\210U\014\027d\230\195\176v\000\000\229\136\142\128n\006,\245\175\012?\145n\208\b5,7\174\212O[|l\233pu\249\147rV\243\253\1741\179\128\134\240\166\194\002F\128G\177\185s0\172^/\209\235\1652#@\201\021*\189\160\021\208\012\014\235\218;\226\152\206\137\186^\242\236\156s\158\239(S\186h\249\1902\131[\012\239\206\b\238\014\239\222\168\221\031\206\131\006=F\132\1344\212(\133\168\139\196\178\159\020\237\164\\\0113\245\159H\011\158\201\139\250\219I\213\157\163VeJcm*\186\b\215\229'C\b\230\254\000\201E\209.\156\017j\n\198E#\202C\178\181\003\200\170P-u\173\166\239;7\179\168\228\1281\248\221\190P/\131B\127\181zdv\019\147\210$#\142\233\187\128&\141\135\183d\177wP8\207\2212=j\182\150\214\173\138\221E\186\220e\183\031\144\129\170\167\175\022\241\006\136\178\167g\131\196Q[6Z\193\1362\001\243\210I_I\184N\217\169i\137\225\141pg\165\214\139jm\208\156)\216lUH\024\217\016\030\023\028w8\232C\136\158Y\\Z\196F\169p\185G&\030\195\015V\151g\"\025\213\171\198\167\249,B\189\175v\205Yk\155\000\230\000I\180*\253\248\023\222x\235\157:\2315\254\172\202\241^\164O\147Vj\171\172J\164\226s\020\r5\031\173(\234e\198@\174Sq\"R 2\018W\003\138\154\1813j\"\177\006J\003d\128\012\012\213\216\136fXZ\128\136\228\149J\164\223\241\203i\244\153x\177F\238\205(\188\029\210\187(\224\180.g\166\245\222F\230\227\000\159+\003\164\224\161\218\244%\230K\158_\149\015\231=\020\005O\220~6\238\127dO\132\180\205\202\2346+7B\211\153\152H\007\186\132n\144&\248\161\2114\245\200\145i\015\255\179dQ\023\177\205\164\127X\131?p\156\223\153=g\006\020\t\161\1484V\254\182\\\191\128_\254\240\167\191\252o\000H\253\151\175\208/\242\194:\b\002_\202/\025P\201\021\002Gr\240p\220\217Y\147\227\203\225\140\238\206\145jv`Z\139u\020\007\183\137\251\236\243\206[\127F{2\165_\186\006\127\248\011\248\255\200\r\203nR6\179e\255\208\128\019\242\181\251_\026\187:\015io1\159\222-q\161t\239\138X\236\194\151\170Se\160\171\180\209\201i\153\129\248\031\221\175\182\150O\170+\145\197AB\205!|:\210u\217\174\194-\130\238>s\224\002\227oxp#'\202A\030\248=C\163\161~i\179C\014\134\249\191w\220Lef6v$\158Ia!\002\219\133\tS\181~\243\031\152\171U\002tT\023\004\159\1660]R\178U\232p\251\237\029\215\030\220\237\016`\237;\175x\163\157oi\241\031B\217W\209^\185\181O\213A\174\169M\003$\187`\213\r:)\142ZC\0116Y\005\165\255\138}\206\162\026\211\238o\025\139\228=\164YZb\195\180\005R\001\148\132\141o\141\163\004\188\029\250\229&\209\011GF\200\190\180N\254f=\007\215\248*\145\1833\r\191\129\229.|d0r\200\bU\029T\151\139\243v4<\149\003\205d\132\014\1416\200'\019j\146\167\130\234~S\140\193\0207'\127\199\237dd\159\230\0263s\018\1524"
let d_8f38ae17980f4039d715823515fd56d0 = "group\",\"\\\\rgroup\",\"\\u27ee\",\"\\u27ef\",\"\\\\lmoustache\",\"\\\\rmoustache\",\"\\u23b0\",\"\\u23b1\",\"/\",\"\\\\backslash\",\"|\",\"\\\\vert\",\"\\\\|\",\"\\\\Vert\",\"\\\\uparrow\",\"\\\\Uparrow\",\"\\\\downarrow\",\"\\\\Downarrow\",\"\\\\updownarrow\",\"\\\\Updownarrow\",\".\"];function Cr(e,t){var r=Xt(e);if(r&&l.contains(Br,r.text))return r;throw new n(r?\"Invalid delimiter '\"+r.text+\"' after '\"+t.funcName+\"'\":\"Invalid delimiter type '\"+e.type+\"'\",e)}function qr(e){if(!e.body)throw new Error(\"Bug: The leftright ParseNode wasn't fully parsed.\")}ot({type:\"delimsizing\",names:[\"\\\\bigl\",\"\\\\Bigl\",\"\\\\biggl\",\"\\\\Biggl\",\"\\\\bigr\",\"\\\\Bigr\",\"\\\\biggr\",\"\\\\Biggr\",\"\\\\bigm\",\"\\\\Bigm\",\"\\\\biggm\",\"\\\\Biggm\",\"\\\\big\",\"\\\\Big\",\"\\\\bigg\",\"\\\\Bigg\"],props:{numArgs:1,argTypes:[\"primitive\"]},handler:function(e,t){var r=Cr(t[0],e);return{type:\"delimsizing\",mode:e.parser.mode,size:Tr[e.funcName].size,mclass:Tr[e.funcName].mclass,delim:r.text}},htmlBuilder:function(e,t){return\".\"===e.delim?Ke.makeSpan([e.mclass]):Ar.sizedDelim(e.delim,e.size,t,e.mode,[e.mclass])},mathmlBuilder:function(e){var t=[];\".\"!==e.delim&&t.push(Bt(e.delim,e.mode));var r=new Tt.MathNode(\"mo\",t);\"mopen\"===e.mclass||\"mclose\"===e.mclass?r.setAttribute(\"fence\",\"true\"):r.setAttribute(\"fence\",\"false\"),r.setAttribute(\"stretchy\",\"true\");var n=V(Ar.sizeToMaxHeight[e.size]);return r.setAttribute(\"minsize\",n),r.setAttribute(\"maxsize\",n),r}}),ot({type:\"leftright-right\",names:[\"\\\\right\"],props:{numArgs:1,primitive:!0},handler:function(e,t){var r=e.parser.gullet.macros.get(\"\\\\current@color\");if(r&&\"string\"!=typeof r)throw new n(\"\\\\current@color set to non-string in \\\\right\");return{type:\"leftright-right\",mode:e.parser.mode,delim:Cr(t[0],e).text,color:r}}}),ot({type:\"leftright\",names:[\"\\\\left\"],props:{numArgs:1,primitive:!0},handler:function(e,t){var r=Cr(t[0],e),n=e.parser;++n.leftrightDepth;var a=n.parseExpression(!1);--n.leftrightDepth,n.expect(\"\\\\right\",!1);var i=Ut(n.parseFunction(),\"leftright-right\");return{type:\"leftright\",mode:n.mode,body:a,left:r.text,right:i.delim,rightColor:i.color}},htmlBuilder:function(e,t){qr(e);for(var r,n,a=ft(e.body,t,!0,[\"mopen\",\"mclose\"]),i=0,o=0,s=!1,l=0;l\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"
- let d_c6510d97801caf5832a95c7f4df94f0a = ", 0.125);\n --navbar-background: #202020;\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\n --li-code-background: #373737;\n --li-code-color: #999;\n --toc-color: #777;\n --toc-background: #252525;\n --toc-background-emph: #2a2a2a;\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 --search-results-border: #505050;\n --search-results-shadow: #404040;\n\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-background-emph: #2a2a2a;\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 --search-results-border: #505050;\n --search-results-shadow: #404040;\n\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: calc(10vw + 20ex);\n margin-right: 4ex;\n margin-top: 30px;\n margin-bottom: 50px;\n}\n\nbody.odoc {\n max-width: 100ex;\n}\n\nbody.odoc-src {\n margin-right: calc(10vw + 20ex);\n}\n\nheader {\n margin-bottom: 30px;\n}\n\nnav {\n font-family: \"Fira Sans\", 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.lef"
-
let d_c6cc8ddd70c02f12f64ec4829bf4e665 = "\246'i7\138\219A\"\188\127\021\015\1541\129\0165\130\007\139\170X\228\149\b\024j\012\147\142\162\131:\250|\133|T\172\017R\189\204\134e\214\028\140!\2412\025`Po\2060\210\"?\238r1F\017\236\152,\155\001\226\251%\209\204o\190>!\154\128\230\202\029\232\016\176%\190v^>\239\197\014\135\225\017z\016\230\"\254F\189\235\004\137\132\254\127B\005jp\209\140\190\2108#x\133I\135\213Q\134x\129QEix\167\241c\011\161\251\200<\1364\015\215\133a\155\132\179}\243\136\238\022\158\014\139\157\153\234g\158\225\131\176\231\023\202c\222C\197^\180\026 \153\135\164\129\241\137&\134*:]\031\004\146xU\1537[\r\158s\015\207\b\023Xs\153pOW\165\1613\207!|\190+\206q-\012\254\132aO}\192\023>J\162\017P\021\159E0q\177\163\168\160\248\026F\244\165+8\163\017\146\227\239\022,\152-\030A\214\138\158\215\156\166}\169S\025\213\1598\129\139\137f\133q\139n\018\031\250\232\195\181\253\221\175i\"\150\152\163Zk\244\171'\252X3\1630;\139@]\188\170\156\139jn#\220\135\176\206\020\007Z\031M\218\161\146'\180!\185\212\174pf\241\006\188P\193\168\179\173\240d\140\211\2294\205\136O\007\194\130Z\219\187\178\192\222\019\241\127X\233\193\251rb\253\131h\206\003\024\138\1394\178$\225B\019\000\r\163\1311Q\180\186f\154X\031Y\140$\218\b8%qjN\135\173\215\253\186\188je\252Pq\132w\186|\233\193W;\141\128\131J\152u\000\146$\255\135\1575u\199\187y\027/\016`\206^\0071^\169((z.\229w.5M\141\012+T\t0\030\142\169(Bk_:\234\253\173\154p{}'\146\004\177\223n|\217\2340\158o`\167\248\154\162\238G,gI\223\149b\158A8Q\211\012Q\002\bn1\174\002\201\244R\213Q\255\n\194\006\028m%\254\160B\2107\1740\155g\1791^s\019X\196\023\197e\225g\255:\128'\154t\031\219)Q\132e\220d\127]|\028P\132w\217\141\213\137[\191\004\b\018[\228i\027\241\239\196\194\179\175\222jnU\245\006%-\137\215\224w{\165L\241\253\137\184\226\201tk9J\189\203\n\135\154(B\175zCE\007\237y\148\020\190<-\005B\251\239\1675\019\004\189\157F)\138\190\168m[\142\218\1592\017\174\199\211\165\241\188\192\252\218$e\177\187L\018\181h\130\193\248\224m\145\1608 /sF\147\212\146\143\212\n\132F\014\166\171\023w\235\012\232n\234\185*\006\171^\145(\236j\212}V\244\237\151\232[\195\199<\023\226O\151\204\229\230\165\148\201\017\006\153\246B\233`\221\139\150B\002\221\180\152`A\155\162\184#\018\240l\0213\246O\201'p\202\227\231I\241\001\021\028\169\134\162>Y\253QxRc\002\005f\161\192\228\155\172\179\1475|\180C\135\209\232\246 *\\\197n\194\180A{\201I\233\019\199\142\161\n{\002\025a\baor/\129\162\028\202\001[\140\127G&\171\226%L>6\225\242\201\136\226\202\134\234\199\140-\248Z\025-\2379\016\212\132\011\016e\133\227\199\137\026;o\252H\223G\007\129av\253\178[\141\220\030<\167X-r\177K\166Pe\156\179G\144\159\208\022\201+39gB\195\240\248\205\"\004X\172\r\026\240\155,!\239\247>lm\143#yTF\011\000\169b{\020\249\217\207\031\1615d\252&\139\222`\216\180\211\150\166\225_\255QE9\006\238\175j\128R\235\236D\147\249E0\132w\"\158\023o\148=:\192\238\015\245\027\196\030\181\207*\006\004\173\209\159\004>W\158\135\155\172I\215\248f\005\207\180\016O\224\253\129\0123\151p\197\179\201\218C\203P\202\186\181\000\192M\145\160\184\021\133\buK\244E1Gl\001\230\184:\195\007H\017t\029\159\200[\171\249\023\175\b\248X\160H\0309\181yL\238k\198\208\127\190\188\248\001\181-\142\180o\132gh\253\171\228\163\130\139\234\000/\151\005\186V\244u=\1943p\000h>@E\200*\218'.\186\186\137;\162\176\133\021\b\179\197?OPw\001KWp\225R\004\224:\207y\165\217\220\209S\017\129\193\246\161i\2494u\028V\143\251#\238)i\136\161\147\159\154N\155K\028}4?\210\222\b\244\229\250At+=\129\018\1872\142\021\252\198)\005\147\"\211\218/\0020\020$\185\200@Z\219\134Yt\003(\016\026\135Bi_\005O\197gHpa\025:\253\132\230\0289~#{\224\017\203\2156\224p\196c\149\007\209\155 \161L\006'\242y\137\134\165\209?#(\205oP\150T\208H\134$\140\181\239\183\156\140\248\207\210'\213\"\212\168M\204*\160\152\190\168mz\144^\004\020\172\219\2404\133=\202\026\1332\143\018\029$\r\t\222l\204#\152@P\252,e\151\210\141\170\182H\171\230\004\216K\240\240\140\019\175#\180\255\149\133\146}\248\172\152xQ\0036\249\222\209PQ].Q\229\242\193f\181\028\0253Y\b\195\0116\236!U\004Y\028\128I\020\242\224[M4\211\146\142i\151\221\165#\\\202X\168\017\004[\156o\222>\143\147a>\234d#\164\219},\240\242K\244\n\199\234\129M6\127\180\187\129\205\170\206m\179\181\207\201\\2\166A\154\250\1704\133)\243\149y\196\137\215I\240\151\131c\128\234d\131\t+$\184\168\138\193\144\168\023\203\241\229\145\b\1781\161\020\250D\234\252\186\134r\028\181\b\223W\007\177\209\164\253*V\194|\t\195\019\001\000\147\026\182\244\162y\204\195\128\178\225\179Jn\156\255L\244c\"\021?e\255NO\244*7\253\189Z\\\012\145\189\204\156\177u\021\018\242\011\204\229;\022c_\149\159\148\211\225\2530j\020\140\175\175|\207{\240JS\155\244\203e\161\024<\185w\231\128\177\202\139J\027+&y+\144\167\226n\191\218\137\234L\n\192\030\188\210x\255\253^TG\170D\131\030OGR \236\138\253\t\214RD\002\000*.\152Z@L\152\251\221R\236u\r\191]\209&x\208\024\"8\228\229\157.~y\028\t\149\184:\017I\174a\011\012\162W\002>\131\171\250h5z\219\005CV\241\2401\023\251\199@`{Am\200\244\136\138\157\212\166\194O\175%\021\0209\243\004#\149\132dg\210\202~i\207\184C\212\161\011\1817{0\006\130\223\135\154\131*\234\138@1 \240F\"\254\001-\1585\0162}R\136t,\142\154m\134\174\tm\000\167\238aV\229}y*\202\236Z\233\016\203\2368A]\239l(\155FgI\025\190ac\203\131\027\145\136\160\\\229Hu\017\1708\195\001\149\134\153\242x\149\236OY.[b\227\017*~\187N\151\218I\203#\190\254P)\160v\239\198\028{\128\n,k\189R\015\192\1344\nx%P\156-{\t\176e\222\n\246>\208\163!\028\163\224\140\236\163\217\220\236\196|5\197\nC\220}o\n\132%M\138\140\247\17823\002\223\000\193$Z\152SIH\015\163: \171\016\020\255\167\144\211\248\254\250s\001\181\003\150\192&Nte\188WP[\244\019\233\b6:\223Y\186M\184\b\171\222\183\132^\130S\200b\200\133\165+\180-\196\212\018\016\196\214V\249\175\204\237\216\152?\n\184\138\210\140\158\254\244E\024\240\195\155K\"\131\183\207+ \184\000\142\b\182\224\230\215X\167\157\245w\219H$\167.\175|\030g\2108\154*Vp\243G\135i\214Y\154_\004\144L\nN\160\227\128\030L\015\020\000\130S=\004)\215\005\018y\138,\181n\149\227\157\182E4-\154\196\198\223gC\197D\127K\211\228\017\212{\151\237\160\186j\000\193\238\2361\016\250%\214\160\195J0k.\138\174p\214\136\133\255\147\247\021\019\247\bE\248*G\236\196V}\131A\000A\185\231)\142\129\232]\239\216\179\1951\161\175;\005\002\r\218[%k\178\005z\149\252\140\201Z\019\200D\187\213\198\241j\197\nx6V\1944\133T\003\168?t\192-\140\017y\128\217\240poYv\\\158\212C\150\215\204\177q\151\131\173\235E\027\165\223\171\132\205\196+\017\166\020\155V\234\024\210\235\n\182+\020\235\225wK\156no=\224\176\186\153\172\247\153A\004Ax\030\197k+X\175\214\138\212\170\165\255\139@\216\022\216T\026sq\196\178K\002U\022\202\236_\224\210\157\203y3j\190\168\133\173\235\235\153\250\227\251|?`\030\152\137\196B\204\007h:\129\234\164)8\002\158\007\023\202~\232\005\207!\154u>\148\181\250\244qi\228\230\149\239L\160K\198oB\195\132\217\019b\0254\012\222t!\146m\181T\200\217\145y\199\022\179\012\172\241\239V\002(e\014\233\129<\"\133\201\228\174[\201\127\b\141\233N\228\168W\198\198\242yZh[\th\227\2083\141\129<-\181r\164\139\128\142E\"\182\215\157\181\bO\212\185.\165\165\136\030\197OaT)\154\147\163Q\203\012\217\251b?a\019\185qs\012\243\200;:7}.\179T\181jsx\189\140\239\244\203\145$hV\253\021/\014QL\183\161Q\237\140\199\134\021\230\230\004\2088e\173\212\206\169W\225\169\196\152\161\031\134\162\217#\234\128\151O\213/^`4\237\215K!\155\182/\147C\148v\2447\251=K\146B)\249\214\027Y\249\187\b\194E\153\153:\198;;,W0\127_\230\205D\031VI\207b\151\1858\161z\134\226\181\203?\1652\242\164F.\245\130\204\137\149\197\215`\186\202N\154SD5\218\205rk?Ly\002\203\217\027<-\198\242\188\183|.l2\188\2316|\021\218{\175\207\214h?\224\000\161mt\031\178w\tf4\213\250\141\156\024Ni\023\202\150\255\243\235\160\178\1696\163\021\157#Y\016'v\131=\127\132\132\228\196\022?\205\014\156\201\030Nz\020\031\200>\212\247\141\193\165Q\228h\230\255\141\217\251R\245\022\206\180x}\006\243V\000Q\184\252\236\186\237\241\005\162%M@i\016d\177U\243\202s\235\151\234[\236\246\214\128\014\159\194\139\184\163\197X^\199\014@\195.\139\161\210\198#\173\243\152\145\150\155\028\020\251\216\128\207\181Ms\195F\199\226E\253z\154c\015\196\\Y8\196\240\020\246\169#-\129#O2\241p\194W\197\195\028\175\007\239)]\142\237\005\246u\217\018\167H\147vtm,X\190Um\229M\007\195\0111!\230\188\186P\128\255D\163\200AU{k\243\161H\171\154D\167Um\190\167#\159\160\253\152\129\158g\244\139Dd\031\182\023\132Ri[\021pk*@\2362JQi\188\185\162\1838Nq \158g\228xp\232\245\150jj{\005\169-4I\162\142\197:VR9y\214\153n\226\151\138\179;\142\138\2462a\177o\1893K\181F*\176uu%t8\1692O\145B\1741\233\223\178\170\028'\026\1555\161X\003\028E.\166\1757\170}\211\133c\159\162\170\187w\168\247\173\135\201[\224\001\204\1737\137\137\212\162\217\158S\198\2195Y\214\139\209\154K\231\247i\252\191\005,}\246\2533\\X\204y\173L\237\151a\133\212ND\129\149\199So\196=\025\169\1551{p\172c\220\191r\167a%\bRSV;\1547\219\172\159\208W0\235+\183\001^\2079*7\001`\243-\170\020H_X*ie\150w\200\183 \240\031\161{{\130c\230?\219\209\203\150+\020\209\164\140\181/\031\162\016z\243+>\247\004|}qs\210\147\156\226PHx\205\152\178C\199\252\214\215\017\210\187\201\248?W\003-\218G\128.\143\172\166\151@*w<"
let d_c7270ab94b84005c36e6e864e6ea5b10 = "==t)return{type:\"separator\",separator:\":\"};throw new n(\"Unknown column alignment: \"+t,e)})),a={cols:r,hskipBeforeAndAfter:!0,maxNumCols:r.length};return Gr(e.parser,a,Ur(e.envName))},htmlBuilder:Yr,mathmlBuilder:Wr}),Or({type:\"array\",names:[\"matrix\",\"pmatrix\",\"bmatrix\",\"Bmatrix\",\"vmatrix\",\"Vmatrix\",\"matrix*\",\"pmatrix*\",\"bmatrix*\",\"Bmatrix*\",\"vmatrix*\",\"Vmatrix*\"],props:{numArgs:0},handler:function(e){var t={matrix:null,pmatrix:[\"(\",\")\"],bmatrix:[\"[\",\"]\"],Bmatrix:[\"\\\\{\",\"\\\\}\"],vmatrix:[\"|\",\"|\"],Vmatrix:[\"\\\\Vert\",\"\\\\Vert\"]}[e.envName.replace(\"*\",\"\")],r=\"c\",a={hskipBeforeAndAfter:!1,cols:[{type:\"align\",align:r}]};if(\"*\"===e.envName.charAt(e.envName.length-1)){var i=e.parser;if(i.consumeSpaces(),\"[\"===i.fetch().text){if(i.consume(),i.consumeSpaces(),r=i.fetch().text,-1===\"lcr\".indexOf(r))throw new n(\"Expected l or c or r\",i.nextToken);i.consume(),i.consumeSpaces(),i.expect(\"]\"),i.consume(),a.cols=[{type:\"align\",align:r}]}}var o=Gr(e.parser,a,Ur(e.envName)),s=Math.max.apply(Math,[0].concat(o.body.map((function(e){return e.length}))));return o.cols=new Array(s).fill({type:\"align\",align:r}),t?{type:\"leftright\",mode:e.mode,body:[o],left:t[0],right:t[1],rightColor:void 0}:o},htmlBuilder:Yr,mathmlBuilder:Wr}),Or({type:\"array\",names:[\"smallmatrix\"],props:{numArgs:0},handler:function(e){var t=Gr(e.parser,{arraystretch:.5},\"script\");return t.colSeparationType=\"small\",t},htmlBuilder:Yr,mathmlBuilder:Wr}),Or({type:\"array\",names:[\"subarray\"],props:{numArgs:1},handler:function(e,t){var r=(Xt(t[0])?[t[0]]:Ut(t[0],\"ordgroup\").body).map((function(e){var t=Yt(e).text;if(-1!==\"lc\".indexOf(t))return{type:\"align\",align:t};throw new n(\"Unknown column alignment: \"+t,e)}));if(r.length>1)throw new n(\"{subarray} can contain only one column\");var a={cols:r,hskipBeforeAndAfter:!1,arraystretch:.5};if((a=Gr(e.parser,a,\"script\")).body.length>0&&a.body[0].length>1)throw new n(\"{subarray} can contain only one column\");return a},htmlBuilder:Yr,mathmlBuilder:Wr}),Or({type:\"array\",names:[\"cases\",\"dcases\",\"rcases\",\"drcases\"],props:{numArgs:0},handler:function(e){var t=Gr(e.parser,{arraystretch:1.2,cols:[{type:\"align\",align:\"l\",pregap:0,postgap:1},{type:\"align\",align:\"l\",pregap:0,postgap:0}]},Ur(e.envName));return{type:\"leftright\",mode:e.mode,body:[t],left:e.envName.indexOf(\"r\")>-1?\".\":\"\\\\{\",right:e.envName.indexOf(\"r\")>-1?\"\\\\}\":\".\",rightColor:void 0}},htmlBuilder:Yr,mathmlBuilder:Wr}),Or({type:\"array\",names:[\"align\",\"align*\",\"aligned\",\"split\"],props:{numArgs:0},handler:_r,htmlBuilder:Yr,mathmlBuilder:Wr}),Or({type:\"array\",names:[\"gathered\",\"gather\",\"gather*\"],props:{numArgs:0},handler:function(e){l.contains([\"gather\",\"gather*\"],e.envName)&&Fr(e);var t={cols:[{type:\"align\",align:\"c\"}],addJot:!0,colSeparationType:\"gather\",autoTag:Vr(e.envName),emptySingleRow:!0,leqno:e.parser.settings.leqno};return Gr(e.parser,t,\"display\")},htmlBuilder:Yr,mathmlBuilder:Wr}),Or({type:\"array\",names:[\"alignat\",\"alignat*\",\"alignedat\"],props:{numArgs:1},handler:_r,htmlBuilder:Yr,mathmlBuilder:Wr}),Or({type:\"array\",names:[\"equation\",\"equation*\"],props:{numArgs:0},handler:function(e){Fr(e);var t={autoTag:Vr(e.envName),emptySingleRow:!0,singleRow:!0,maxNumCols:1,leqno:e.parser.settings.leqno};return Gr(e.parser,t,\"display\")},htmlBuilder:Yr,mathmlBuilder:Wr}),Or({type:\"array\",names:[\"CD\"],props:{numArgs:0},handler:function(e){return Fr(e),function(e){var t=[];for(e.gullet.beginGroup(),e.gullet.macros.set(\"\\\\cr\",\"\\\\\\\\\\\\relax\"),e.gullet.beginGroup();;){t.push(e.parseExpression(!1,\"\\\\\\\\\")),e.gullet.endGroup(),e.gullet.beginGroup();var r=e.fetch().text;if(\"&\"!==r&&\"\\\\\\\\\"!==r){if(\"\\\\end\"===r){0===t[t.length-1].length&&t.pop();break}throw new n(\"Expected \\\\\\\\ or \\\\cr or \\\\end\",e.nextToken)}e.consume()}for(var a,i,o=[],s=[o],l=0;l-1);else{if(!(\"<>AV\".indexOf(u)>-1))throw new n('Expected one of \"<>AV=|.\" after @',h[c]);for(var d="
@@ -366,6 +366,8 @@ module Internal = struct
let d_d2d574fd87046460b4f3c80e881cf2f4 = "\153\146Q\1352%\134\000\136\131\233\141\243\020\186\149\165\1942\192L\197\218YUw\016`dl\241\2175\206\230\190q\253\145\219\160\200\180\029Y8\251\234U\014i\253g\146\206\011\192\255\217pIM\179x\031\146\182rTX\181\168\029\014\151\228\213\150e+P\157\182J\199\029#%\135\139o\216\237\137\187CiV\133\133\188Z\180\194\201nz3\161\031,\166\203PC}6d\243\225\b\018RR'\151\007\168B\r\203\198\213%C\0001\128\000@\208z\000\160 !-\016cF\183a\133\014\167\166\194\225)p\tF\146a\202H\016\127\157V9\165\019\b\171)8g\168X\252\159\018\006\227\030\025E\198\1980\179\179\184\1859\194\252\181o\159\185\199c\001\245Z\188r<\148\166,\185eX^\249\020bR\2007rn\219\183)x\227\173V\167O\0118\227\200\210\163H\173t\176\167\2397~\202\186\246s\194\201'\1479\243\248\146f\242&T\201\243\176\203K\182\148\155\145W\182hE\146;\212\226\134`y\137Y\228}\227\159\172K\255\230j\178\202\148yP\1507\145\139\147\213)\235\000-[\015\226\198h\217\164a\2516<\239\\\176\135\012\019Z\166\204\1636o\188\201\027_,\206\197\1363O\195M:\149S\022l\156\239(r\180\025`\017m\134\003\155\226\2264<\218:\242n\2093\168z\149\244\204pU\151tr\151\242b\162\203L\139E\150\145\144\003V\012\197\235\179\145O\2300\194`i`y\185?\006@\002\020\128\177\157`0\238\192-\019\143s\183t`\219\204\222\198\198VP\170$\"\211}\221\219~>\203\236\153\244\207\r\142\131}\231\209Z\231\225Y\196\011X\1315\007\232\012W+\147i\130P\152f\012B\235\253\177\000X\018R\133\"1\014\204\003W9\223\024\146\240\201\183\149\146Bq\145`\232m\162\005\144\200\135\130\139\180\1942k\210A&\203\2011F\250\235\162\014V\148b\246$\007u\142*t\175}<\255\129u\190\161\1405\016\171\179\2299\020\171=\193AH\185\139\200ZN\215i\141-\215_\217>/\2311\015\003X\250[|p\156\029\230\252\029\0256,\221\254G\157\235\"D\022P\253\189\227\015>\n\175\253\155\147^\210\208\143\174Z\178Z\145\144\018\233\164\155\n|\228\196\"p\194\024\251\000\021a<\194\024,\231\163vZZ\166;\236\004\012\001V\004^3\186UY\215*C\014\031\131\155\020\157\176\187,\165\021\146\157\154\164u@@T\204\129\015\180\133\144P\204\029%\183h\206\252d_J\015\209\2098\201\198\026\213\018\194:&KW\031[\149ric\138\220\179\237\233k\181J\187+\144Z\154r\248\240\153Jjm\201\136=\150\212\019\193\223 \219\180a\249\187]\216\232h?rmEa\138\152\190\184\198\142\203\000Q%<\187Zue\186\214\219N.2\003\206R]D\221\160mJ\134\1301\205\144\158v\145*r.\\{\015q_p\214\147\223\217\168Y\0076\006\1644[\001|hs\232\219\137\140\175\208\155\018n\b\240\145%n\018\153#\247n\225#p7\202MU\145\022p3\178{\227R.\214f{\179\020\176\"\172\155\172\1625\210\129\228\225\186\021\151P(\154\140\140\011\235\157/\189+\185\220x\198\152L\171\229\146\181|\206\229\224!L\228\025\156R3\226?\174\1862v\186\215\135Z\003\004z\000~b\234h\136\134#B*\020\159\164\023\171\222\024\n\142\140q\000\208 ]69*\185\212\208\136g\022X8\020rC\254\248\134\173r{&{\236\239\148\218X\221i\023\218\173\"\180t>F\169ZGZG\171\018\027k\245\235\027\1426B\209P3\163\194GNK\181G$\129\170-\181\157M\215\131\134:l\224\249h\012\025O\160\145\019\001t\161\186epu\1300@\016\128\005\192Y\015\000\244\202H\231\2421\163\0250\239p\180L<^8\188\031\\\130\145L\031\128%\136\007]J\233d\002\139\015\245\209LtR0>\238\001\199\011\n*>,a\164&;\021\003g3\bf/\201\238\160fB\148\230\001\138\023\134\2074\252\001V0\153\019\nS\"i\190?\138\203\130 \135\146\135g!* )\006\141\148jj\135-m\183\161O\146\21661\t\191\022\221\129\152A;\199\134\135{\139\153\024B\253\b\144\190l\246O\200\011\239,e\249\255\182#\218\019\157\176/\215tR\206\151R\004d\0147\239$J\231\230\204P\244\227\178Oh3^\011\255#\153\1835E\227\\`o%\244\031\200\207R\195\180R\167\028\231\132\005\236\197\250x\247D1\248\202\149g\133{\137z\193\t\025\019\247pb\178f\212@\194\141\001\215\138\170\024n\249\164#\157\212\221\2260\r\023\0276\138\161\170o\158p8\205D\216\026\139\200\179\014\192\173\196\132BHt\214\193\150\006\202G\152\163\215\185\rtm\216?\191\245\174>\151Q\1928\028\148.\204\138\003\197\176q1_J\238+\178\1464\248\"\138A\224\222\031\255\026\231;\004\184~\132\140\177\r\139{\029\130\245\138\159\251\025[\003F\250\234;\239\229\229\208\249\140\197>\184\204\017+\154\136\182N\019(r\164\bg\165\210\233l6\011\165\014\0173\196\135\252\204\145\161\130\177\168\216>\245_fKb\1858\2494=fL\016\r\178\147i<\240\146 P\159v\202>k\028(\163\132\131.1\0224N\145\192\143@\001c\0041-0\203\144\152\169@\192\134\235s\250\005|\156On\134L\173\224,\004\019N\253&\203\147a\231\"\"\167$/\135\012\251/\209\236\251v-\016w\017\242\171\213\146\171\243\240\226\133\127\129z\154\148\238\133f\019\147s\180\\\187\220\157\197\150\148\206^\128\129\r<4\130Y\1332(\198\166\181\159\2046x\161\t\205M\020\161.\174\220\"K\232\022\249#\217xbN%Zv\147\235F\241\224\240\158c\210\030%\129\nV=y\t^\216%\220\245\221\155A CBWi\203\231\170uU\158 \021\238\152\176\169 \249O\186\029Z\139\t\209\195\155\243\252\139\239F\205\000\164\192,\019c\003\141(\249F\218\205.v\020\186F\005\139t\164p*\145\182Z\184\186\012'C\252\165\002c\175\206$\211U)s8EXi\170`\1552V\022\172\024\208*\222yL\0120\006K\t=\186\218>\251HL\200\000\172p\249e$H'\141?y\204I\248,\180HH\232\019\200\191\137|\184\003\1332|*\215L\233\152\211\182S\001\171\173\237\236|#\223\168A\146\182\211b2\021\024\212\201\027\248z\135\023\001w|\146\185a\209 \172\bk\243V\176\246\230\237\136a\245\197\226g{7\194\1835\193\2048|\172\247\157\148d)\241\011S\225T\2027Jb7\1482DO&Cr\129\213\206\169 ]\252\2453\178\195\021\t2\176\152Ei\242\222\138\159S\137\135\223\207o\208\139\003\233F1\254h\130\026\132\177\155\151\177\220C}\180a\209\174\192gxM\182\186-<\142\248\224\194\246\233\200a\216\234\166RM\210+f\132\134\213'!\2506BI\217\135\238\198\204s$\143y\232\nJ\012z\226\221G3\132\149\020g\204:pXl\006R\168\129\030@Brs\1841Kw\r\022b\239'\195\253\2385'\n\031\135\129\146r\015\247\219\145\\\209.p\"\141\216\029\147\185d\239\014\178,\025_\031,K\158I\158\226=B6\2253\171Uj\149X\"\148\167\152\r\215\233\166\181\bN\151\242\023Z?\183\024*K2\177\165\248\252\211\234w\007\231\233\183\170\015\0116<\003\251\215_\138\237v\252`\191a\170k\152\186\249b*\234\175_\236\222)\186\146\148\187\018\183Bo\031\149Il\181Yf\189=O'q\247\195\204\250\201A\145\173\216\167\218\172\205\201Copx\205\226\217\195\249\214\192\204\198\t\230s\204P\174\217?\189~\028\230\179l\193l\163oj\237(\204g\024\129L\189wr\2450\204\167\233\254t\173gb\229 \204\167h\190T\181;\190\188\031\230\147To\178\210\025[\218\011\179\t\138'Qn\143.\238\134\1471p2w\1884\178\176C\1288\137\145\184b_\028\254\245\2526\254\021\0179\163\133\161\185\173\240\191\r pD\172\193\217\205\169 e\007\249U6|\249\248\130\011\171\251\225\211K\248y\214\190\213\248\232\209\255\239\201s\198{\151\244\203\234J\243q\227bKa\021\222j\189\149\022\1713\203\148\165<\238\021\237\2135x\196\198\171\158/\140\007\161y\2213\174\185\007\b\017!\014\004\016\024\141\133\194v\199\212\193\238\031+\000\"\229\218\245\193\219\177\197\145\019\183\141\135\215\214\254\160C\158\218\030KDZ\251|7\181\1811\030W\255\148)\199\019\232\149\022\129\144\163\157\177$r\163\141\161\221\162O\249d\214[\168\193\"\139-\177\2122\203\173\248\001\150_\026\156\144Hl\252\029\t\145#\212\204\178d+\180\210*\171\173\177\214:\235m\176\209\166\031\191\149\tJ\244\143\189\180\2051\239\007\143-.\131\185\224A(\185\176\166\188\130Y\027\147\203A\003)\253\224o\bQ\219U#\181\247/\003\217\016\177\188;F\162\143/\248\177\170#\018\156(\180\209\216\197*\019CdF\191\213U\227\139\152X>\018D\212\011^T\"\205]D\002+\249\015\207T\137T\154\154\151uh\214\225\151f\201\174\136\164b5\014\251Y\015\021Ol\026}\148\011u}v\028F\159\193\208\167a\242\166\016\017g\176\176`%\178\151\254}*U\0024\1506\n\150c\164\255\028\130dX\005\188\246$\144\153a\166Yf\155c\174y\230\171\179\1921\207\189\240\210+\175\189\tB\024\017D!\022\162\017\027q\016\023\241\016\031I\226\005\227\024g:\248&\197\129V\207\240\223\129\169\254\170mD\000\129\011\215\173\148\174\216r\222\030\158\154q\198\155`\162I&\155b\170i\166\219\167\213cO\182\031\248\1468\250\157\237@I\127\190,.\017xa\220\143>\203\012\011\128\2398\134\231\1857\248A\136\015N\030m\233\180\234j\235\006J\180\007IPP\233\186\226\208J\155hb\219\157\135\016\026^\178\222]\197\227\230+\200\127\180\203\243\205\224pge\155\210\236\247>\248XA\213\133\238\150l\159\026\255\201g_`T\235\254\159\185\1367\156\144\192O\191h\254\003.0\222\221\147\230\211\188\001\236\176{\003Q\2131\184\019H\151\151p\204 \242\178\148\136~\td\019\211\156\012\200\162\167T\237\226\152\019\011\221;\141\162\004%x,\203\176\030\147,T\153\171\005\011\212G\170\023\240\208l\145\007\1683e\007.s>\0304p\022\137\175\253T\213\003\247\017\135\005\0192\1362B;\nJV\181\212\241\186]w\027\017\138p\137\170}.\2273g\025\t#c\148\140\150\137f\146\002\182\192f\167T\204vs\189X\233\218\214\254\026\1990\140\162-OP2\235?\163\147\1284\225\156p\134\241`\164\235\141b_\144\168\1270\020\201\230\173B\177To4[\157\127\252\241\239\162?\015v\135G\198&f\231\230\023\2147\183vv\015.\175on\239\031\030\159\158_\016G8\0177'\253\245@\139V\207<\2466\238q\138)b\163]\211\230j\156\019\023W\127l\1775A\218\145\163\166D\219l\140\235v\218a\151\131\028\209\b$\022\133\193\017\025\170\166{\156.\183,\156\140\198\211\137\255\213Z\185Rm\231\238\250{z\007\251\006\134Fg&\167\166\215\150\150W\198\247O\015\153\150\168P\234\135r\003\217\2447\1920\213\134\243W\025c\018#\141\218e\151\220v\199-d}\249!\253\178\141\004w\136l\165\204\199\204U\204\139\249qa\027[\237\160\206\128Q\170z\143\207\251R\011Jne\248\127\001E\142\153|\143e\254oy\128\246\195\183qs\133\212h]\186\130/\131\137'\185\203\146B\233\238\2530l\170mM\188\1452\003\194R\152G\224\233?\164\185\167t\151\159\002\159\2391q\159v(Kw4\158\255'\194\192\193\218VN\149\176F\006l6\130` \249\150\b\006\218\174%\0066\224\251\023\181|\026\175Jr\190\158\211\rA\137{|\2439\168\169+\171\199\156=\251k\235\189wU\169\159Y\191\143\1685\155\242\134W3$m\164X\194\210\147\247\131\176C\249>\255C8+\245\"\160\016\\\174TI5\158\226\183\203\017\133\182\025\225\016\222\150gyK\028\204A\194\243\006$\243U`d\158\206\188S\141\148\214\146\192\212\020\155\026\205<\202\224;\226|\192\177\141q\187\195i\019m\213\158\182D)\199\250\179D\181\166\245$\202\235\144^\185\252&\006\139\026\175\246\222\203\016\133[!R\161\219\221IHg3\002\198/B\133i\2362\016Bo\166\153\237\156\245\150\218\024\213\212A\131\005\015\229s\253Oe\191S\191:\250\022\193I\179\242\210\024FzY\006\230\254\178J\128\176n\137D\184\177\218Q\152\218E\245\196\r\148C\199\134kIpsv\011\183{\236\229U\027\173\143Ef\019\205\132\031$\193\227*\165"
+ let d_d40f3444679ba5d7b0a028dc41d40259 = "{\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-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-search + * + .odoc-toc {\n --toc-top: calc(var(--search-bar-height) + var(--search-padding-top) + 20px);\n max-height: calc(100vh - 2 * var(--toc-top));\n top: var(--toc-top)\n}\n\n.odoc-toc {\n /* TODO : make this smaller if there is no search bar */\n --toc-top: 20px;\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-start: 3;\n grid-row-end: 5;\n g"
+
let d_d4ad292e224daee7b097a1260d10244d = "\190}\227S`\254\200\221)\186\226\252\191_u\252\240\247a\139\235` \224:\208\012\170\172\202o\210\016\1887\219\012V\127\181\175\140\2362Q\153\225\157\191\244*\149}F\163\178\167WA5\031W\245@\\\213\167\188\129\025\249\159\186\0244\175p3\173\210\197\020\240+\152\244\202\205B\186\183\130\193o\253\246\209S\1546+\191*\187Z\149o\027s\237\130\023\019Q%\228\194\240@\018\232\1822\218\0241\015s\215D\203\234\227\000\028[B\020\\w\218\250U\000-\200W\031o\216\180s\159\228w\254\239G8\167[-x\166\145\201d\232\17382\217\130k\186\152,\134\001\142\133\\\236u\163P\154\146\146\n\020\202]\194\003\135\t{\178\005\171r-{Zv#\253\156\180\172\031\245\215\202\0147\220\169\1903\219\252\163\131\229\015=\b\0057E\171\151o\212\r?\149|\234\152_7=j\178I\170i<\027\167\250d\235\233M\127:X\134\129\133i\2406s\200\143\148\214\166\248j\215\187\227\216H\005\162\225\249S{\176\186nW]\187\137\205\240\202\208J\027=\011\192Yf\200\214\201\20207\216\203\2510\218\014w\164\213\193e\187W\244\006f\230\250\172\127\205\217zi\153\209H\181\225n\188\006\202\159\249\198\239*_Q~\241\191\246\245\025\137\176\175\225\240\175\017\136S \253\227\142\143\145\240\1349\225\172\181L?)\022+\197\227\025p\012\012<\0224\"{\127\132h\254\191\015\176\246\153Da\187\209p\020 P\201\021\239\220\022\2520'W<\234\201\007\204\135u:.\215\165D\162r\215LswnnwV\230\248\233\029\239r\151\019\127\147\134\192\144\200\029#\154)\149\016r\128e7\215\165\129_\255\020#\151\138\beE\147\244fz\201\2437-)\025\178\201\185`c^\252\243\226R1\135\130=\187\149\229\227\205\127\187\164[\1521\234\223\217\190\0078\208\147wZ\r\216\001\1928\203f\183\246\144\004Z\186\246Q/\214\244\173\003\176v\2075A{\211e~0\192\255\137'\158\024\012\236\028\228\138G\203\161\128\249\207W\2111u\249\183%+\245\158\208\221\201\2218o\175>\196\165\024\202A\132\\\154A\163n\rO\252\215\127\159\175\187\231\211&\1538\174\196\001\214\253\184\210&\157\156\169\175\210Rj\128\000\029\002z\003 \153\136W\027\135\211\140G\175\152\132^/\144\241*\028M@\183MD?\024\135~+\224\209\245\212\163\154\178\240\160)<\136\135\007\188\156\188.\007R\139\240\134\127n\166JG\016\242\234S\188\154,\130\207&b\150qX`<\250\183@\198LBL@\223\150\136s\224\139\025Z\161\141\016^\1671\204\021\204\231\242\236\"3yei>Z\150#V\164\185\160\204\203\180\1711\007\162+\223\162+\127\163+\023\176L\189\195\193\208\138\160\176P\022\150\237}\171\135L|c\159$gR\181<\216\173'\175\160,H\011\155\174\158\148l\182\223L\218--\218\178\220,(\211\150\214\242\234A\152\201\247\145T?\180\226b:\180:]\199C\190xyz'\007\160\030\228T\193R\156\228r\174\192B\220\155\r\\\164\139\2559\165U\192\149\182g\022\208\026\026\005J\\\188\244\026\219\239&:\174>\133\202\027\159A>\207\13556=\028\154\157\194\204\158\186\176\224\012\246\245l8\177\027\021\205\027\017\218M\169y3\177\007\210\0285\226.l\022\177\166JuX\154\138d\214\148i|]\173LQ\003TV\212M\208M\208#\024\227\159\1568\248\166A\011.\130\184?N\184\255\209\176\220\b\000\184\2365\028\203\000\208\022cvO\141|\b\142\224\157\255?\000\243\025\212\211\186\133h\159\183\164\200G\181:\241\185\252)\005\237\227%\000\221\189\132\252\\\237>r\148\159\179x<\240\240\130\234\226\191kA=\177\235(\214\251\154\179\018\2261\218\003\222rx%\017\249\178$L;\151\156m\153\159\160\158\012$\155\028\146\b\134\207\147\023YX\247\192@\152\128\225c9>j\000\2544~\243\027\228L'\206\005\144\135t\248\156\004yt\203Uy|\\\185~iT\226{Q\235}\014\213wf\208\204\233\163\140>\012\159'g\2430\233\181\181\t3\156\242\214\196\2495\161\0184\161\223\229\195\176P\255:H\026\n\213\214\001\238\024\156z\249\019[\212%>\254\245\140:V\214\007\138\132\165\239\208\211\rX\213\173M\189\186\190\195\182\178\162\211{\189w9m/k\143\213\140Y\154Ie'Y\221\138\187\165fD\219\012\186\213\132\149Q\254\210Z\229+'\rf\212r\174Qmu\231\222u\146^y\229N\239\217\148\140\250.:\255\166g\021\173\212\158\030%d\139i\140P\174W}\178\182\158\143\223\132\252\177\172\204K]\158\229,Ym\190\151Fr\028\208\235L\150\1664O\210&\025\202\235k\201^\239F\200\206\207\138C\015\240\185\149\206\139rQ\003\179\154|\204\0041\025\159\229u\155\172\214\132w\"\222'--?\191\162\226\248G?ga\219y\183=um/Q\181\141\016u\235\161\217\157\132\246#N\127\166\174\235X\149p\163\143\229M\0063\169\215_9\n\r\173\255f\212cXo#\247:\236{\141#\135\166\016P\183\186\209\206\017\133Q\151\135n\015\200X}\143\196\145\163\000\029\143\144\218a\195E\174\229C\2237\024\215U\152\b^c\001\190\196\029\247\129\227n\136\165\135\170 #\239:\188\245\225\2414\195\012\227\231\194\132C.)w\020\bE\029\017^\227\222\014\000\176\182\224\145\169\030\242\019\138H\030]\183\205 \177\236\178-x'\196\194\189\223kt\240s\199\211d#s\247\024x\200;\007\1795\194\211\208\014;D\160\006Xs\219\247\014I4\209\250\014\250P\015\016+\236\231f\224N\136l&\171\195\225(\219\198T\247\248v1\250\189\015\143X1\194\166&bG\1306\245P\001\176Fc\240\241\240T\168A\1860\031\250^+\006\208\208C\137+\156\163R\231!\022\030\240\0127'\0316\227?\246\218'eo\246i\251{\167\211*\162\"U\b\198L]\134\bf\238P\015\001b\131\187\179\128w^?\244\253\128\133\135y\143\011O\130\016\136\139:\236g3\245~\235\147cXGF|J*\170C@\002\203(\177(2\208\138D\136=\131H*\160\162\023w\162\021\005\249U\233\253a\201\248\137R\"\179\216\225nu\002\179v8 \231\t\172 \221\011\184\204\251.\250X\015\144W\248\"\207\245\216\171r\007\140O\194W-\005g\004\n\012w\157\207|8\227\168\014\129\140\2427\003D\237\016\145\0063\253\018k\190X\163\146\000H\172#\0310w[\226j \239\168o\018\195\225u\200\236|\\\223\140\198\192\\6\152D\r`S\027\140mu\237\019a~\r\160\192\014\153i\137d5&\187\233Mu\133\n\012\162\250\232\136W\rB4\140I\205P\244\197:\136\189\014Mi\152\002\017\215\160\206\005\177XO\030&\164\184\194\237\164\159\195\207\242,\254\128\137\247\205\002\205\235\232\020\214|\253\173\159T\2481eI\180\148\245\193\137Lq\n\166&\166\024/\130\024\bpi\192\163\004\177N\179E\012\182\203\189\127<\134\011?\156sO\000\237\236\206\127\000\127\r\015\006]\213\207%\162\180\217\190\2027\183IR)*)\155\161F\140\000j|[\136h\001^y\149\211\148y\234\023\1926\"\175\146\186\015\178\132r\bt\229B\018\247\177\228\238\154\185\007\004\226\019\178\246\193qG>\253\249\000w\199\203\204L\163\249\195\225b0bk\217\2494\250\235\151Y\194\150X\140NjW\247B\156\016h\227\227\227y \1931En\158\209d(\139\178Y@\203\214\000jf]\015\246\1539\142\214>2Q\165Q\031\211\166a\023JC\207\143V\031\128\233I\252*(T\024\191\246\235\169\139\245,\t\190\182\183\205:5$\204\022\211I\202\143\153\017~\152\179F\145\004\b\166\231\005\172\027U\199\234\213\030\192VX\194&\189\006x;(5\204\195\164z\213\157\195\214\007\134\150\194\186r\138\158\004\017\254\017\166=\003l\140\223\215\198)\170\231\179\000\181\238\017)\176g\162\198b\131\225aa\016J\026\241\193\007\167CQU\136.\149\2392\148\130\206\022 }\246\222Y\148\176\210\007-\n\189\187\135\170V\014\194\236\187\169\210y\200\213\145,\0069m\003&\024\159F\146\201\253\156\192;\141#\248n\221a\166:\210hC\153\147\003\145\1839\232\152d\223\161\221W\238\006\019T\252\209\160\185\129\225\204\158\146r\012P\237\238;a\208%\211:\162C,\246\137\1749\028\139W(L\n<`\206A2\135<\176\031^3\236\140\233~\227\163I\137\002]4\222`\194\022we\154\002\2007\226}\128\132\027\189\199\004[\161Q\011V\030\158\243\146\195\136\209\249\180\249iH\184%\181h8\021\136\016 \178B\232\232,U\024@\"\029=e\012\004\001p\245\"F\140\1400N\014\127\194\194\129 \195 Z/\004\020\213\136\020\226\164D\168\245&\151\211\213#\223\193If\001\171\199\203c\182T\162\132\194\203q\224H\152?\229A+\182\129\153\182\202E@X-\250\174\144\210\246\222\011\207t+\224\246i\167\231Q\2419\134\127\170\131\152T\018c\225\251\234\229\235\014\024\193\2507\205\225\255$k\250\020\031\016I\244\174\242\131KM\140\148.\135\194\138Tc\225_\135\158\200\224\131\213\154\000jxGy\250\140\158\219{*lLE\151z?\156F)\197\204`\004}:\151D*\171\158\251\016\225)\250\177\160\023\164\220\1887{\211su\020O\231\252\245\238\231\215/o\223\004\027\156wi\139o\2201-?\201\172\194t\\\167e\021\225\182(I\250\209\183V\210`\171P\142[i@\021\002\238\142\1602\182\233o\136@\023\017\151\235\203\131s\136\195\137\173\155\175$m\244C?\134w\004\152-\137\147\236kiF\001\208\159\145\201\249\019\211\029I\019^v\0293?f\004\186\014\190=\133\222a\208Qc\135MsIweF\030\007g.dD\176\246\016\169R\128\1706Uk\181\150\160\000@7y\238;a9\007\028\220R\145(\000\154\164I'\196o\146\188U\141\204\028l\210\190\134l\146\224\203W(-\214\171\166\214JpF3~\156\183\155!\200\136\166j\166\0203\173x[G\2277S\030s\234\143\193Ma\227\179\190\145&QQL\181D^\206K\151\244\220\\E\226\002B\204\029\210=\248\159\003J\145\237\193\17970\210,J\t\1664\"\026\"\030\004\206\157P+\128\205\128tmrTFFu\160\212c\182\247#W\236\026\218\021p\202\146\239\204Y\020\031\130}\198\007\156\147t\191\160\139\203\239l\176p\241Z\0226^\232\023\200UF\181\197S\n\181\246\150\002\170\176\215\212\190\134\156/\167\030\151jRZ\015\144\2159\1575}\207\001\172<\219Sr\213\143\244 \017\146+uuW\136\228M^\232\207\215/\243\221\015\142\134OS\242u\165\177\138I\027\016\212\162\neK\236!\b\237\135\167\253R\029A\196\245#B\249\018\182\208\146\128Z3\218\206Q\215\158\233\230\179\169o\147\140EE\020\177\182\193\163k\1317P\146\028N\206\158\011\148V\225\198\131\139T\152\225Gzm/#G\163!\184\135\196\170M3\242\028\173\198\b\195\215q\191D\215_b,\134*%fA\128\138&\132\234\140\138&Q\201\"\002Y\187\1725ih\003L\154\132\252:\191\129\rd\137X\190\212\177\015\137=\127\138\129\027\212\154\155\015\001^ds\192\212\150m\014~\230\136\153\0169\021\146\202\175-\018rU\027\227x#x\193\014\206`\255\249\242u\012\1998\230\028f\193\217\147\156A\141\"\134\n\n\156mP\169\t>\151Bq\132\228\194\255\190n2B\131\236xI\226$\031$\195\253\209$R\220\153\002\195\179\134\190\161@\016\029=\128O\018D=~\219\187w\152\155L\177\236\234\131)\025\167\136\178P\b}\250\168j\015L^\140\254\250\218h\201\t\134\018\163\003\227\253\003e\147]\178\193\251\142\163gN\134\197B\209\191\192\151\187\244\212\132\151\129u\183V\231;\167Z\213\1760\151\1731\221iv\142+\001\229\237\150\248 \025Xf\202\246@\153I2\162Wr\031\232H\160\148\158\250T\214\021Oab;\148\236\165\031\003\136\193\239\242^\236Msqr\202\163\223\132\215\129x\027,A\007\211\207J\140)C\168\016\200 ~#\028`\"7E\025\000\218]i\133g!$/7\172\007W\212b`\215c#\0244\212{\191\178\186D\139\011\166\136\237\175\176\194\019 \162\005\224;\167\016e\200\156\160)\249)\149\159\209=a\128F\225\217\202\129\179i\253\151\192\028vG5\243,I\180\022\141\178-l\016\003\rZ\190\227\017\169\237\215v\205\020\029\165\"BY\"\180\016d\128VU\197\236\021\179s\138(\233W\163\\T\225\017\131\031@\160\197\157\137a\177\003\006\212\242\158\127\204\198\128Rk\138\201n\230&xPm\194\203\175~\131\243\145\150\137\172\026\149\007^4\234\127G\147\t\0035\002-E<\216\130\133\211%\011\161o5\162\171\211lM\198\015\251g\193\0184lkhr\167\128\154{\2420\224S\158=~\189\\\140\226t\235\189#\230\005\154\\\228\001\024\238\228LR\181\021\188k\151e\025\005\188W\183\216q\184\242\131\182>l\142bb\019\"'\230\2381j\208BT\141\246\1316\163\180\197\2354\176\214\178X\203\2254\022\225\191]\000\177;\156\005\140\247\194\255\023\178Q\251W\191B{\240\155\211\134nn\222h\146M6f\150\156\197\184\202\255\174\138\n\014\155Q:Q\021I\130\249\1729\030\158?\135\195\200\185\216\157\248\205e\003C\175@V^t]#7\tr\198\255`P\231\t\157M\130\251\158\182'L\244\182\221h\186\190'\029*e\153\176z\173\133\150{d\015\153\182\239\014u0\178\234\187\148\156\014\t\153\141\025e5\022a\020D\197\216w\193R\208\168\245"
let d_d6a1be8caf2478248edb48ee82070d9e = "ary:\"node\",relevance:5}),{\nlabel:\"use_strict\",className:\"meta\",relevance:10,\nbegin:/^\\s*['\"]use (strict|asm)['\"]/\n},o.APOS_STRING_MODE,o.QUOTE_STRING_MODE,y,N,_,h,{match:/\\$\\d+/},E,R,{\nclassName:\"attr\",begin:b+l.lookahead(\":\"),relevance:0},M,{\nbegin:\"(\"+o.RE_STARTERS_RE+\"|\\\\b(case|return|throw)\\\\b)\\\\s*\",\nkeywords:\"return throw case\",relevance:0,contains:[h,o.REGEXP_MODE,{\nclassName:\"function\",begin:C,returnBegin:!0,end:\"\\\\s*=>\",contains:[{\nclassName:\"params\",variants:[{begin:o.UNDERSCORE_IDENT_RE,relevance:0},{\nclassName:null,begin:/\\(\\s*\\)/,skip:!0},{begin:/\\(/,end:/\\)/,excludeBegin:!0,\nexcludeEnd:!0,keywords:g,contains:p}]}]},{begin:/,/,relevance:0},{match:/\\s+/,\nrelevance:0},{variants:[{begin:\"<>\",end:\">\"},{\nmatch:/<[A-Za-z0-9\\\\._:-]+\\s*\\/>/},{begin:d.begin,\n\"on:begin\":d.isTrulyOpeningTag,end:d.end}],subLanguage:\"xml\",contains:[{\nbegin:d.begin,end:d.end,skip:!0,contains:[\"self\"]}]}]},O,{\nbeginKeywords:\"while if switch catch for\"},{\nbegin:\"\\\\b(?!function)\"+o.UNDERSCORE_IDENT_RE+\"\\\\([^()]*(\\\\([^()]*(\\\\([^()]*\\\\)[^()]*)*\\\\)[^()]*)*\\\\)\\\\s*\\\\{\",\nreturnBegin:!0,label:\"func.def\",contains:[S,o.inherit(o.TITLE_MODE,{begin:b,\nclassName:\"title.function\"})]},{match:/\\.\\.\\./,relevance:0},x,{match:\"\\\\$\"+b,\nrelevance:0},{match:[/\\bconstructor(?=\\s*\\()/],className:{1:\"title.function\"},\ncontains:[S]},k,{relevance:0,match:/\\b[A-Z][A-Z_0-9]+\\b/,\nclassName:\"variable.constant\"},w,T,{match:/\\$[(.]/}]}}})()\n;hljs.registerLanguage(\"javascript\",e)})();/*! `sql` grammar compiled for Highlight.js 11.7.0 */\n(()=>{var e=(()=>{\"use strict\";return e=>{\nconst r=e.regex,t=e.COMMENT(\"--\",\"$\"),n=[\"true\",\"false\",\"unknown\"],a=[\"bigint\",\"binary\",\"blob\",\"boolean\",\"char\",\"character\",\"clob\",\"date\",\"dec\",\"decfloat\",\"decimal\",\"float\",\"int\",\"integer\",\"interval\",\"nchar\",\"nclob\",\"national\",\"numeric\",\"real\",\"row\",\"smallint\",\"time\",\"timestamp\",\"varchar\",\"varying\",\"varbinary\"],i=[\"abs\",\"acos\",\"array_agg\",\"asin\",\"atan\",\"avg\",\"cast\",\"ceil\",\"ceiling\",\"coalesce\",\"corr\",\"cos\",\"cosh\",\"count\",\"covar_pop\",\"covar_samp\",\"cume_dist\",\"dense_rank\",\"deref\",\"element\",\"exp\",\"extract\",\"first_value\",\"floor\",\"json_array\",\"json_arrayagg\",\"json_exists\",\"json_object\",\"json_objectagg\",\"json_query\",\"json_table\",\"json_table_primitive\",\"json_value\",\"lag\",\"last_value\",\"lead\",\"listagg\",\"ln\",\"log\",\"log10\",\"lower\",\"max\",\"min\",\"mod\",\"nth_value\",\"ntile\",\"nullif\",\"percent_rank\",\"percentile_cont\",\"percentile_disc\",\"position\",\"position_regex\",\"power\",\"rank\",\"regr_avgx\",\"regr_avgy\",\"regr_count\",\"regr_intercept\",\"regr_r2\",\"regr_slope\",\"regr_sxx\",\"regr_sxy\",\"regr_syy\",\"row_number\",\"sin\",\"sinh\",\"sqrt\",\"stddev_pop\",\"stddev_samp\",\"substring\",\"substring_regex\",\"sum\",\"tan\",\"tanh\",\"translate\",\"translate_regex\",\"treat\",\"trim\",\"trim_array\",\"unnest\",\"upper\",\"value_of\",\"var_pop\",\"var_samp\",\"width_bucket\"],s=[\"create table\",\"insert into\",\"primary key\",\"foreign key\",\"not null\",\"alter table\",\"add constraint\",\"grouping sets\",\"on overflow\",\"character set\",\"respect nulls\",\"ignore nulls\",\"nulls first\",\"nulls last\",\"depth first\",\"breadth first\"],o=i,c=[\"abs\",\"acos\",\"all\",\"allocate\",\"alter\",\"and\",\"any\",\"are\",\"array\",\"array_agg\",\"array_max_cardinality\",\"as\",\"asensitive\",\"asin\",\"asymmetric\",\"at\",\"atan\",\"atomic\",\"authorization\",\"avg\",\"begin\",\"begin_frame\",\"begin_partition\",\"between\",\"bigint\",\"binary\",\"blob\",\"boolean\",\"both\",\"by\",\"call\",\"called\",\"cardinality\",\"cascaded\",\"case\",\"cast\",\"ceil\",\"ceiling\",\"char\",\"char_length\",\"character\",\"character_length\",\"check\",\"classifier\",\"clob\",\"close\",\"coalesce\",\"collate\",\"collect\",\"column\",\"commit\",\"condition\",\"connect\",\"constraint\",\"contains\",\"convert\",\"copy\",\"corr\",\"corresponding\",\"cos\",\"cosh\",\"count\",\"covar_pop\",\"covar_samp\",\"create\",\"cross\",\"cube\",\"cume_dist\",\"current\",\"current_catalog\",\"current_date\",\"current_default_transform_group\",\"current_path\",\"current_role\",\"current_row\",\"current_schema\",\"current_time\",\"current_timestamp\",\"current_path\",\"current_role\",\"current_transform_group_for_type\",\"current_user\",\"cursor\",\"cycle\",\"date\",\"day\",\"deallocate\",\"dec\",\"decimal\",\"decfloat\",\"declare\",\"default\",\"define\",\"delete\",\"dense_rank\",\"deref\",\"describe\",\"deterministic\",\"disconnect\",\"distinct\""
@@ -398,6 +400,8 @@ module Internal = struct
let d_e4a12f7ec4801d06858e634cb2f32ebc = "\018\028\204\199H>\155\200d\242\159\131\000\016P\247\201\139\005\011me\199\005\027{\016\000\214*7\1888\224\167.Y\024\164\031\218\025\016\192\000a\160\194h\021\154\245\017\203\192\139\007\139\128`6\231\226\012r<\220\025\145\156Ql\012\254A5\147\185\011(bj\2012\200@\199\166a\020\016\185J\031\185x\196\2477\002\128S\1514\189\137=\136af\003Y&\161[\191\192\246\147\012#H\242x+-\145\185\142\202a\004\240\172_fW\209F?\134{\161\219\210\003\167p\018\134\2174\236\141U\221\156\196<_I/_<8t\002\250F\253X$\171?\168A\2473\239\139\172\230?\000`\192b\176 \206\000\224V\192RKp\227\214Z\006V\245\180\176\017\196\153\023\183\135^Fs\250qX3\159\164\139#\183o\156\025d\031\209u\240\168\174\006"
+ let d_eaf420775272de2f8e6e612e89ee74f9 = "1d5d;\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,\n.TYPE,\n.LET,\n.REC,\n.IN,\n.OPEN,\n.NONREC,\n.MODULE,\n.METHOD,\n.LETOP,\n.INHERIT,\n.INCLUDE,\n.FUNCTOR,\n.EXTERNAL,\n.CONSTRAINT,\n.ASSERT,\n.AND,\n.END,\n.CLASS,\n.STRUCT,\n.SIG {\n color: #859900;\n ;\n}\n\n.WITH,\n.WHILE,\n.WHEN,\n.VIRTUAL,\n.TRY,\n.TO,\n.THEN,\n.PRIVATE,\n.OF,\n.NEW,\n.MUTABLE,\n.MATCH,\n.LAZY,\n.IF,\n.FUNCTION,\n.FUN,\n.FOR,\n.EXCEPTION,\n.ELSE,\n.TO,\n.DOWNTO,\n.DO,\n.DONE,\n.BEGIN,\n.AS {\n color: #cb4b16;\n}\n\n.TRUE,\n.FALSE {\n color: #b58900;\n}\n\n.failwith,\n.INT,\n.SEMISEMI,\n.LIDENT {\n color: #2aa198;\n}\n\n.STRING,\n.CHAR,\n.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 ---------------------------------------------------------------------------*/"
+
let d_ecbaa97b8be9573105676709e2dbc384 = "3\252C\149\147\203\185\\r\202\173\144:G\211n\211\195\161\151\006X\177\234L\234\146(\017\194\186D\0211(\230S\228\157\171{\167\211\235T\184\155\187\199>\128(\168\012\185\203KKS\189\248\242\004\248\197\236\142\201\014\180\"\015Y1\224.\189\142N\201\r@U\211D\208\205\005\129%\217\231\192\128\149\127\158\216\015p\016\014I\247\194\176\1403\221\210\167\238\180\212\012v\141\251(\178]1\1759\018\157\161D\141\191\250``\172\026\201_z\255\226\210!\160\229Re\167#\128\178\025By8=\230\230\1288\030\167\023\014\250n\156\232\249\b\172\156\024(\215\145Cd\131\146F\194\213Z\250\188\152[\175E\248u\220\207\by\216\152\150\238\169\242\\\240\210j\197m\213\158a\181}\031\236\168gZ\201\019Et\213x\198e\158\215\002]\160\196\154\249\184\244D\016\168\152\147\022\030 \180\245\127\145\151:7C%\215\222\019\245\254\221N\019\233\135NxJ\156A\019\248;\217f5T\141bi9wIH\197C\171Kt\001\238\197\002\235\232*\172\022Dt\185\204e\200\210\168\216\029\242\224Qe\0054\225y\197+119\188\199Z\255k\231\019\132\212\225\186;S\007Y\218m+\191\204\028JI\206_\012\161\130\250\168\230\151\195\135\253\000I\216\179!\1764'}\250I8\208\135]\242Fj\002\140\135\014\239\165\002\210\141\177'\147w1J\169\181\169`K:p\007s\245*b\168\185\141\176I\186\0152\011\251\r\171\144\236j\237$\139Z\222\129\241\206R\133\n;\180[\255\238\200)\195%\193\026\213\158<=\233\007\182n\153\214q\146\193\181-\001\167\206\"\146\214?J4G\214\2181\160E\171\155\213A\165\133\253\185F\175\254\177\b\180e\231\140\219f\172T\218\154\218>Y}~\239\212\155\171\174\172\223\015\017\004\0123\173\020\228\148\2409\227K5\203^]\163e\133\011&\222\245p\206q\171\211H@\168U\149\130\245\251a^\158\149\n\031}\171\1734\160n\255WH.\005\151\2119\\\007\201\235\018\209\238\232_H\131\144\19167\247\182\146\181\000\174\194\166_\158~y\209/\237\029\140\184/~\143\219\253Rv\156$\251\220\146\167uPU\228\136\179\209\239\2547o\1275s\173\195\189\246\r\217\218e;\2021\018\177\012\251\141v\214C\172\177\150\139o\244\245\031Y?\250(y\011\219D\167\140\184\197/_\017`x\185:\252\229c\199\219t\130q\161#d\187\241}Q\\\130\160\161\214\029u\151\201\158\023'\200\157\021\191\150\001\002G\214-\176\222\172F2J\223!\211\012\182\226@\160\173PqP\247\249B\157P\1346yZ\029\150\146\205\129\187MD\218\227?\231)\245\019bn\155\244x\220SRV\210_Y\180[\167<\222\215Kj\234\150\185\194\r\253u\246\2430C\\\153\201\247\1796\150*.\231\004\023\tI\163=\159\217\170r\234\2522\182\149\236@\169\004)H>Q\029\156SY\028\157 ?\187h\255\254\216\195\212\020L'u\215Y\194\136\006\211`\022\006\206h\162\144\139 6\b\190\0034t\227Q\132\"\t\226\168t\239}\189\167\001\166\"\181'\241\025*\128O\023\135C\190G\183\015\177\193\135\216G\234d\193\238\207\239\004b\175\020\228P\209;\185\1907\229\030\157|UZ\242\158_m\185\206=\b\149\183]H,+\196\143&\019_\255\199E\238Eh\023\191\019\166\012\237(/\138.\019\1484\244\145\148\028\019\236q\027{T\175m\253\202\233/\235\171\158\231\176_\236\151d.8\192\231\1988\149\222+w\n\188,'F\020Z\025\2268_\254a\131\141\235DP\193\172F\188\012\163P\224\bY\182d\163#\249\155[38\159}\225\163\232b{\227\175\222p\153\026^c\016\202\014/7\006N\232{\203\2026\203\018\127\022`MTLL\023\174_\154\200\023r\252K\230\149\139N\176\153\187;X\232\180'0\235&\147r\018\146\178\172K\239~\194f\175\237\180-}\238\130\003\012\209\133\018Q\195\219\140\230\024G\240\239\133\210\184`'\227\207\130\176\145+\015\209\012\186\t\026\255\179$]Z+\204H\199J[\217\151\227\233\230\242\158\130o_0\186\246\t\216L\190\178\136_qQi\155\167$\192n\148B\021`\249\223kE1\174\193\165\024F\024Dv\156\251T{\200\221\172\253\187%!\185=g\203\019\230=\028\016<\132~H,\221\004C$\213\204\157fQ\176\194x=DK\\\243\249y_\234\202\205r\179\1827\173\164\241_\137\178\196\028\204\253oz\"\156\006\147Cb\205\216\230\0126\246\254\151U\238\241\186266U\146_z\169?Bi\"\147\237\143\217\146\206?\248\221\1925\153)\169K\202\r\153\187K\172\190~\149\189\011o\139w\240\186\171y\172\b\130\127\183k\169\178\234G\144\208h\170l\157\170}o4\156\153\129b\200\146\137\246\236\024\159\1779<[\179\231\243\187\204\212T\230\129\242\150\255C\198\148\018K\204\128B\197~\163\"\1506H\221x\253\137\150\248W\164\150\218\140\028\141c\197\225\236\180\184\185\"\226\004B?\203\131\2095\020\250k\230\212Y8cq\229\135]\011\238v\215\219\024\179to![\216\189\161zl*l\205\184+\030&\196\228\002\154\"G\243\135d\222bX\011SZ\168@\223Pw\235\185\153\021uB\219\022b\218\226(\012\167\188\221\199\229\015\188\154o\127\023\024\191\002\018\163\160\140\180\173n\161\134?\180\253\209{\023\179|\017\158\011\236\220\224\186ES\159TP\145\176\164\225!\164I\175\1479\220\198*\171\141EE\231\239\167\018\251\246\1484\028\208p{\135\243#\252\212\020\233\197\190'G\015Oj\162{\203\135\030+\167R\0300\146\181\247\242\145\242\240\141\011\b\197\156A\213Z\014\189\t\237\253\144?\221\190\234\196t\1285$\242\153\137\236co\207\025\189C \131A\128m\181\212\137u\149\026u>\223\209\192\141\200H@\146d\237\212\023\231W\209\151\146\003hG|\247\170\007/\235\221\"\144\240a\254|na\216\2212\181hy\244\224c\178V\127\006\147m\157y\221\164\191d\230o\152 C\185#\001\217\004\007Y\227\135\011B\222&v|W\188\209\158\219I\146\002\028\233\n\r\\\016q\129\190\223\193u\002\178'=\146\205>[L\178\tN\1643\225t%\149\"\192){\242|wE,jr4!\238\207#G\022\166)\232\168;q\209a\189\133\156\156<\210\180EX\028TS?\251\176&\185\154\149\250D\245\1625\158\129\148I\217\228\147\b\030\200\230\029\029\172,m\t\165\215\133\223\028r\011\213\150MY\130\004\163T\178\022\193\210%ed\242;C\003\129\253/\206w\206m\182\167Tg\006\180\222\148%\b-\195'W\255\223\025\214H\012P\004\251_\207c\018\191\148\199\133#\2153gL\187\255A\130\241\2433O\\\206kj\020\016\234\145\163\226\245y\222\1466SYU\132\234\180]\219\n(\197\025(\146\180\1897\184t<\213\145\182}\144\151\150\206\003\021\177\135+\223Y\1350x\006. \247\226\168\167\145\203\143A\0191+\251\227\133n\131\227\006\005\030\242\165\011\156,.\005\141\220\142Uu\137\229R\222\194\245\171\230\132L\151\014\243\002N\190`H\233|\242\221\225TU\151\160\245\147E'p\137\198\127-+e6!\248\229h\143\182!a\161TB\130\128\168]\178Ni\137\157\175\228\165\127\146$\245\148N\152\195\225\176\254\019\143*\031i\130\031q\154\250\027\253m\016\140F\227f\149\240\007\231\180\b\189=\131bG\224\226j\127\127\1917f)\207s\165\139x\229\161\251_\128\1680\165W\201\023\156&_s4\150\245z\170:\167Q\217\214RY\226\241\135\151\152\140\007\217tf\028\245J\211\174\231a@\234\016\172\247\255\150\188J15\1817^\148\176\016g%\229W\180tTq\171\222\143\236& \132\210LE\242\220\251o#\016\129\016\026\142\226\031dle4\191c\195_\003n\012\222\132\136~\211D\012\155\224\025D\022U\191\224\188\210\241\215\188\142\211\219\179b\156\253\255\238\1397\2291*\\\214\234\253\164\016G\231\227\023\002\129?\1830\244\139\r\250\173\215?\200\131\207\246\168\000\131\017\223\204\156\164\022r_\203\164)r\022\1494\1730\237pqx`]`\016{\219\173\190\006\188\252\234\212k>\225\181NR\136c\029\1276y\160\030i\210\224h$y\205\182\175\029t\173\"\249P\021\"\165\165\213\253\211f0F\154\142\134\001\188\249\187\027\0297\251\167\174\187\222J\152Zt \141\166'\002g7\132\147]\185\007j\2440lA$\193\012\206{2WJj\231\183\127L\166\201\164_\132:=u\145\239>\183\023W\b9m4\221\181\023\152\242ek\229\254\178\005\223\162\154\023Th\016\207i9\207\175\181*V\1510\233\001\213\205tA\236\178\195\197\181\004]\213\029N\199\145y}![\254_\184\023\228\238\227\014,\151p?\0146\229\150\030\222\192\197D\209\2373\214\210h}\192\019\2187\255\248.\132:O\129\020z\138\252w\178\236\218X\209X\201\156\194j\021]N\147Y\011\175=%5\000+N%\"06\169\179\154\171j\248\246\176/\215\174/7\181\006n\\\191\249\189\187\242>\243^3\205\170\140\154\"\199>5W\230\002\168\151Y\237\252hn\249\028[\249\196;\r\207\127vX`n\232b\167\240$d3\201\159\018\224\127A\t\206\146\196\204\178d\151{\215\131\174^\167\179T\250\164\164B\129\198\163\176\030~0=\0162F\023\239\127\175\247\222v))%\243&\021\190\n\161\002s+\163\167N\207\030\248 {\249\193~\249.\001\163\165\028\028P\011S\246f\2417{\200\218\250)\127\175\242\164\141$\136\bzH\019\196\027^`\015\188w\\\142'V\0228\183=\137\139\r\241\142\230\233\129\206\218(k\146_\nWU\248\t\156\222Q\185x\252\212\137*K\234\237.\255\174\228\208\002\134O[\214\025\157_\177\191H=\174\229\156\237>\179\167\168\170rBX\186\134\006o\186\249\199\243\171I\0209\254.r7\190\195M\133QD\248\161\153\181\140^U\186\205\2244\2461Js\t\144\140\192\017\152\222\199o/\174\015\207\239\241(~_\202Q]\223\145\133\192\218\232\206y\b\245\2523\b\029&)R\001Y#3\240)(\251\248yl\222\225\130\249\205\199\219w\214\212\200{\178\221\161SY\222\030+3!)\1331\235Z\244\225N\163K\212\130s\t\2428LK E\241K\191S97\247\189\243#5G\153\157\208\150\2183V=\221s\136%0~\216O\191\210\242\196\183\b\197\156\133\135_#\129~A\145U\227fM\216\030\012\137x\2079\0035\021wb\245\157e\014\252/{R\192L\182r\226\214\198K\228\188\132\252\180\130\141^\183\173\229\127\194\241.sI\143\171D\206x0\170\128\155\150ul\130\232\135\130~\230r\\D\245.3y\234,\161\209\147\197\156\196\155\237|\164\2503\205+o?\157\1468\166\024\219\166\253>'\180riR\150\2154\188\218\029\204\nR\006\201\210\014\189\2295E\234\163\201\237\255{o\173\223f\211\001\240\187\143u\171\163\\\127\174\147\132\017\166\149\249q\208\158\251\178\139\203\242\214\200\004z\158\147g1\134\228\146\028\135\004\215ev\029_\240\254\246\201\210\193\029\141\139\185\0175?\207\159k\145\236\024O\n\015\026\189[\226/\232Xr6\255\238\127\196\169\174\195\153\143\003\248\203\173?\ra\183\168K\230\197\205\139\167\1395$\021[\155\149\168\014(&\142M\254\1671\214\229\200\253\1347\215\016u\184\004+\148\161\198\255e\249\2351\150\201&\152\179\228\210\186\140\218\157$\141\132T0\141D\019k\156\177\183\197v\171\139f\161\231\020e\243\133\236\138\138\138Hd\129\186A^9\230\148\191r\029\015\196\003\236\139+s\249JA\246Iz\169S~\204\228\230\201\251\226h\255,Q\219\171\186\146E\156\t\007`)\"e\141E\229\252\\\127I\180\133J\129\bXt\142\243\185q\206\226e\149Y+/|\198c\006IR\192\247_\156\144\144\173g\143\203\030\202\254\030\242\213\169\253w\197T)\0026\135\018\245e\144\127\217s$)qN\189R\233H\140\163#\018H\178\160\204\191$\166\005\016 X\182\130\164\211\025\156\145.A\255\144\251\239Vo'\224\204\197\236\202\208.\148\165L{a\\Q\155\\\001\243\028xw\141\158\000\024b\153\148_\215|S\192T?\252\160\147\185\241s\251\174;s\201Y<[MV\157\180\212\015\213y\187\228w\1768\163o\153\227\211\007\211\003[x\131\201s\014\028\140cYr\235\2196\221.\164w\240\239;\247j\029\n\167\209s\007\220\237S[\130\209\172\njV\025|\022a\165\250xY\2502a\133\1615\234'0^\244\254\185\133\236 \153\194\165\184Rw^1\165\172\196~\251\156\231W|\130\160\168\175\250\142\237xf4h\171zj~\128\241\1770?\180B9\216\200]\243SS\202\137\ni\219\170$w\175\173\249*\235\214Wp\168\153(v\164\b7\165d\222\245\176\1504r~\228\198\247\188\156\148\236\176\019Y\206S\233p\018\005\1515\202\127\206`\006C\148'\006\r\161\021\007\005\004\135\127%3\253>\127\131)\188C+\134\136K8\149J\025\225\015\218\242\173\005A\246l\156E*$H!Q\241\204L\159\252\136\210\234+)d&\211\237\026\183\225\018\189Z\229\206`S\225[y5\133\"\178p\244\145\181g\172\225\0255\181\t\229R\000\000p\246\190\151&\030)\170\252\243\019\022\192v\222H\189Sm\229\144\185\248\188\251\177\242b\015\003\211\168\137\199\142~\225\204\210\216\171\244?\202\155'+:\2136\238\1838\156\206\210\188\191B\197\205#\165b\012\165\240\168h\238\246F\251\174\165\252\n%\145\187\142\133\017[3.\188\213\230\171/\237\249[O\b(\200\188@\238G\130\198\219\180\202\141\224\137\027^\187\217g\bU,\\K\004W\162X\184\016\199F\238\1569\224hU9\143\237rx\172MU\031|\176\250\1328\002\163\239\215X\247\b\007X\182\175\249\194\184o\211\155\179\132{/\227\159?`\166f\011\142\205\1484\184=\023\t=\130\206\021f\004$\014\205<\205p}w\176acM\204U\218J\018\156 \142\190\168\241j\134\149\237Y\193\028G\229\130N\030\244\230\023\158\246\2401Q^C\166\251)\189\211\153~\147\nG`\212\n\164\211\218,gUv\233\011\193\239v\1917V?\016!\190#\00486\1598\127,\248\164\151\167\011\253F\129\023n\190\242ic\203e\000-\252kt\152\029m"
let d_edc3c186d80de2039375bef179a67067 = "546\1985\005\225\149q\159\172\199\209\192\151Y\226\022\024\028f!D\174C\015\138E\139\165\234KT\127-Y\148\246q\030x_p{\000\172w\242\164iW\178\024}n\223\199\003\031\1468A/HRD\230\139\146\213cX}\158\157\175Y\224\221%\242\143\251\156\228\2390\226r\147\250\146\140\230\237\166\157\004\224\002\011UQq=\213\176\232\214\203S\002\228\184\163\210\232g\153%\234\163\025\200\024\192\208EV\234\129`\237\023-\145\168%\015\222\\\022\196\r\bM\214\220\142\182\242J\145P\218\230&m\027\"?\028\251*\195\206\011Qp\140\023\178a\156\193M9Y1\149\\\163\211Tn\215\169a\248\148J\190\017\139\138y\137\185\204\147gc8\135\150\244\245\139\164\192\225\012\140\205\153\020\246\203\179\000w\150d\007\251\218\244M\"\0266\251\185\196\018\175\143\\u\r}\017i\222\213\027\137\202H\211\208W\146\217\138\138nUs\127\206Pg'\161\225DR\168\199\2284bhF\175\216\160\178E\1631C\188\212\180Q\134\141Y\024\n\2132}\1475\215\180\"\165\020\223r\214j\136\242#\213\129O'\173\180DD\215\011\021\202\216,\012\144\137\230$\226X\214+iX\\\229\214\tC\196~\182\024\206\140\137\188\217\177\138\129$\194q{\221\153H\016\200\146\153]P\194\173uK\021\205\181\246\210\144\212\180DA(\2261\149\n\252\207zn\232\161\204'\220ODw\229`C-\030\166\217B\236z.\179\158\215\181\016}]V\019+\223N\157\168\246\140\232\243\182\243\177A\137\228\144]\253x\155 \169\148\162\220R\015\139\015\196W\180\t\181r0\246c\242c\027\219\242\165\161\"\181\190\222\173\180\184\221\243!\015\150\174+J\214\185,\138\139 W.\212|\r\1497\000\022\199\146.\217\000\223\004\002l\026;=\1650bE\245\011%\137\129m\136\216F,\136w\159P\247Bc\t\199Ki\214\201\168qs\221\131zv\245\138v\174w[\136\143&\005\017+m7\173\139E\206]\209}2G9S\179\147 T\183Ri_\026\141#\028p\023\250\197\219\252\b(\002Y\243\"\017l\019 \162\151\232\003\019F\255\014\192\224u2Gn\rI\243\224\n\239\162\185Aqt}\001W\153KI\185B\131\007\227\197\136!\210\158:\235\190\153\208\232\149\233{&\021H\199\197M<\226Z\023\220\224-\128\196\023\170\166\018\242n\016\172\181\026\217\166\146{K\020\238\025\128\023u\147\029F\158D&\205\023\024r\208zn\176\128I>#\187\2429\014\175\173\024\229\250\156\230\173\004\155\132{\157\233:\012E\1847\178\240\153\156,\020\146\237\234\177X\202\153P\243\136\028\241ZA\240\240\245\230\132\129\135\214\209N\215SFU\146\147yQ.\157|\142\251\191X\211#\222(b\bW\192+jR~\168\203a\173(\184\169\143\255\148&,\232\021::\234d\"0\031\0195\012\247i\218l\217\138hN\244V\149\129\198\237\134E\244jI\235\242PZ\162\0167\b\164%j^\162lZ<\230\199\204\019\031!\182\029\187\234F\243\006\128\213y\199\017\151\001\168W\233\147g\215\228\190\183/[\250,\159yk\190<\189\231A\023\193\225\146\212\220\214?\185I*+\n9\144|\249\227H&\2234u\252\254Z\179\241\217;\202\164w\241\026\215*\022\141\177Eo\252\163\n\154\178\219\185\0295\251K\229X\214\244\164\172\205\\^\177\234\210\031\250\197\172\027\2078\168\182r_\169\006S\004\214\166\245\2007K\155\158^\212R\127`;\170(\135\164\r\142\185\173M\163\234\133g\020\150\007\1860\139w\190\143i\011\007K\203:\r\233\001eK,W\236\249b\218\178\234~In\145P\156fD\019\243\018\191\217\214\214h\240\237\171\183,;Q\198\163`T\012\225\244\245{|\191\204z\180\186>7\222\249h\224\24798\199\017\238\228\254\180i\136\007\160\138v?X\156\132@|\204\252MF\236\250\248\166Z\141\190\233O\173\203\201=G\143\004\207\199g\170\194\187S\227\023\007\164S\214W\230n\249\130\208\189p:2\184 \188\158\187\135\027\030:9\169\218`\190\218=\181\132\199\142\157\b[\159=\235\142\011\006\137;\190c\196\025\148\191\233\195\206.\n\211\202\226}\215\020V\173l/\239c\240~\228\225\228\191\158Z\227p\187+\029\027\203\190\145\177\216,n\254PS-\213,\163\1771\022\239\191>\159\236\241t\217j\142\192\192%\2374\207\208#\200\157D\149O\018\139>\245\213\139g@@\188.\127\135V\202&?M\161V\137\145\250\243\236\207\r\229\249\233:&\229\020T\169\146`p\007\145\130\129\241\206\140D\204\207~\244<\139E8\001\162\161\137\204\234\213\136\225h\184\153]D\249\215q\140z/E\164\216\249\176\194N\163\245]\127\021\127\134d\155\189Q\231zP\147\144\186\180.m\222j\209pE\209\t\208Tq\212\164\241\168\174\208\189Z\015\165\206x0\132 \202&\244\2488\129\182aBA4\235\\\022\029\225K\027Pu53p\250\020\016?(^b\249\137x\244kk\179IV\176\204\253?d\255\135\145\142Ef\206\0154\135\168N\156\151\205\161\185\n\132i\215\1757\174o\159@R\162\030\168\247@V\157\016m5\151\172q\150\140\166;+\142\246%\153\t\tq\191D:\170\2086\234\030\027\000\224\251\247\214\133\163=\148Nf\205F\201\011K\139\016\025\145\227\129\234\137\031\229\187\146E\173\0121\171q\251T\207\172\218\216\000\020\251\161\194\214\149\210\153m\209\216>\0183\250\208\216\007F\196\242#\146\147\196>\238\245m\148\016\145\175J\189\211\217v\175\221\142\154\247\"\212\134X\001h(fG\217\245\029\227\027\217Q\132\227\214l\150\170\203\031\227\241bO\255\183\020RVqc\139\224\233S\024\212ZE\221\255sg\201^]\174\217u\202\230\142e\130.q\214H\212A\251\145\147\156<\165\195\225\192\135\201m\234\252\134\012\127,\1836v\166\143k\251\244\006\155,,\220*\136\019\191\n\162\193Ym\157y\025q\219\248\206\128j\145]\220\243Q\022\1543\007\030\158a(\190\219\173\211t=\128%\220m\164\031\224.\238\2034}\142\157=lw<\026\175\152\220\185\167\182#\1981Q\131=\237e\210\186g\222\224\214\022\187\199\153\145\245\1483\189\011^z\017\014\251\187\194\220\187W\175M\028\168]*^h\176\152!\245e\231\167'\031\248u\228\0248\006I\002\015\241\171\160\174\189-\168/x\238s]\181,\001\156!u\192xoq]s^\165\186&Q{\201\192*\248O\233mQ\174\132h\145\1838R\229\235\251\209\169\189C\021M\219\156\021\023I\220\194?\180\021\161p\245\015\154\255\180\2166\216\239O\251\244\207\235|[~\162\205;\194\220\243\132\139\219\164\2167\208\151JvD\191#U\246\255cV\250\245\237\186l/\018 \232r\135\171[4M\137\220\136\161\232\020\183\205\233\170\011\238;5\028R\255v~0'T^\240\2095\248\018\201k\138\180S\206n\220o6Co\232io\209\017\175\174\031\1337\030\236)\155g\203k\170\205\151\243.\155\171kP\156\207x0\188\182\196\197o\228\190A\185Y\157\223\172\173\011\024\230Bo#\162\238\222y\163\180hj1spF\216~\222\235Q\251\158h/,\132\140W\216\222\196\188\245?\211\177\206\191\227\239t4=\029oT\012['\167r\029\184O\210\180\170}Qp\150!\176\182'\204[\168O&z\218R9iaj\221\162\208\140\194\206\011\154\174\185\251\195\162&\177\252\219\135\152q\017o\180\151]\223\236\139q\187;d\029\003\243r\235tie\206\142\160\169\183L\023\241)\220NJ\158\253\201\212c\141\003\214fZ(\239\158\193Vl\152#\020\222N\206\1741\210\178\030Z\028\022\148l\253o\239\024\152\131!*\174\252\150\242\203\204\167Z#v\129\238\\\160\254\247\028\007u\234.p;\220\179Q}\142\157\b\166\214o\001W\134\133\249\225U\162\130\213\006\207\144T\245\207h\024\132\132\179\252\207\022\023#W\170\204\193\186\235}\025\163c\170,\143c\249\021\160d\n\140N&m\216\nA\225\215\249_=\028\005\245\180\190\205)\203\140\198P\222\167@\217\193\129n\203\003\201\252\213q\193\202\187y]\029\170\173\221F\153\177<$\156q\027\228\170\131\027\203\189\236r\213\197\030\230\252\029\163\131\1897\234*\175\019\007\219\130\169\219n\003\163\029\236\225\205\195\203C\195\197\129\187\006\154\201\163s\206\r\244Vl\234\137%\162\229\\\134C\178\169k\014lj\004\023\023\240\131#\006/\179\151\147\235Z\\\020\1654A\206\214\211\000}\2421\226\140[\149\023\206\001\132\004\131\194\254C\007a}\001E\227\007\192!h\250\012\162k\226$`\198Xa\001z\141hKn\212\167\158\210z\2268\192D\163\194!\004w\238\210\031\018\023\229\223!\187\011\217lDV\195QN\003\172\168\132\196\178\137W0\146\237\015P\158\0209\216U=\171\135\004M\183\0237y\247\207\030\219\024\240\226HF4\250\242\191\195\212\153\147R\143\216&\216\222\203\222q\1339K\196\234\1521'\158G\224\016\184\170\016\168\152yXq@~\208f3~\193\253\024\168\146C?\134K\183J\183\244cp\251\025\132\006\136\003m\020\210KW\164h\211\238\135\0021\255x9\163\007#M\200\177\127Sq\007\237e\129\247\142(>>N\231B\021\128?\186f\243[0VP\186\137x\2330j}\2068\2110X\218\0259\027=\007v,\133l\221;ld\177\244}\029\153-\016\005S(\029\029\237|\238\\y)d\239_[_E\196/\193\229\025\232\005\141w3\030\238\231>\156\000\t\209\132\159\225\1726\160\186\150\238n\150\"x\156r`\186\237\208\142\217m\001\237m@\217\t\224s\189M\206t\212\172\221\243\230\249\170\132J\0312\1679\242,\239\192\184_\180X77U\179\006\168f\192u\254\224\184}3\231Y\156\238\184+Q\245\227\027\135M!\226\200\012\006\007\154Lhr\252\159ZC\173\001 \155\r\161eI\136/\001\196\245\167,\223\244c\168\231\022\204\231d\162\"{\182.Y\220\249\249\147|\243W\166O\211\216\140\007\219\005\142\234Wv4{\251\147#\157\1800\130$\145DO\188\219V\145*\181\195\134!\139.+Co\146faqid\235\139m\141F\003L\239\030}\224\249\148\221\014\135\022I.\016\170\235\129\n\136\200\191\235G\142F\202\230dHd\2505\206\191\141\021\134\242\252\150\135WW\204m\134gRgZ\251p\200z\149\020!\031\202\183\148\137p\200\031T\212U\175YNX\2513\0242\239aa}\146\236\0241cd\2171+@U\213EqS\231\211\129\150]\135\003"
@@ -430,8 +434,6 @@ module Internal = struct
let d_f6411022ea99e0682147895d4050b9da = "wOF2\000\001\000\000\000\000W$\000\017\000\000\000\000\189x\000\000V\193\000\001\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\027\130L\006`\022\139`\000\132v\bd\t\130d\017\b\n\130\159X\130\128P\011\131N\000\018\169`\0016\002$\003\135\024\004 \005\131\\\007\133!\012\130i\027\249\170W\196\221w\138\228v\000\134T\149m\024\137\b6\014H\192\144\141\145\ba\227\000\144\237\191\160\236\255\255\255\147\146\202\024\218\004H\n:\028\170\251\r1;L\178\135q\184\199\214\247\207\192\174\153&\003v\131-\141L\210u\192\215\161\162\222R/Xg\157l\226\n\211y\1953i2\135J\174\175!\139D\183\242'v&\254\232\215\200\142K\133\187\n\255P\168\154\207J\162\210'\196\254\015\179\2376S\168\224\148q\157W|\022\024\141B\029\224\165Ht\193[q\139\236p\011\140\167\193l\176\201Uo\251Q\197\r\"o-\213L\230v\029f\179\221\012\179u4\219#\217;\169\218;Bc\159\164_\242\208\255~\255\186g\206\220\251 D\018\000URD\\\030AuE\197\023%* U[\245\141\236\025\128\1859J\024\185H\024+\1821\198\200\0175`\201\168\193\146\168\141\232\0179R\164BiA1\017\197H\192@\165D\143}\005\012\012\012\140\232\255\213\249\190l!]\129!\014;\175\233Iy\251\132\195H\199\218\220\207\005\028`\\\018\186,\158\158\150\181W\221\127f\246,6Dg\178P8\139\178\232\211\130\164p\220\150o?\029\203\b\238\194H\174vy\244o\153\235\135\185\132\175\0308\245px\211A\182\213\198\130\152HJH\148\158\160}X\220\025\245U\161KD\219\221\199\024\144\004\182\179\180\221o\254\227\181\001\225\028&\030ub\251\239\"z\217\207\252\254\174\171\138\162h\b\236\160\194\141\217\246\205y\148N\155\145D\219\021`'\134\\\237\159\215\245\199kW\011\232\206\184t\210\138\196~\144\243\147/?\176\157V\220Z\167\\\027\152gl\163tB\152\135 \018\147\236\191v\015\184s\199\249\130H\\\210\170\129|N\246\2527[\164bbK\173\1862\244\007\146\189\019%\217\153\184\022u\025\014{\196\251D,\228{5I\031\180\137\201p\213k[\130$\019\001\170{>\168k%w[\129M\189\197L\"/&\211\211iAM\"\152\191\223\231|}vv\128\133\005\189A\t\249iV\001a\027\219\136u\n?\164\208\185\251E\245\139\218}\127O?h\225=\226\1281\189\253\189\169f\251\023\132\173\005\229\209\128\151\"u\017\196%\202\169Nu,j\187(\211\255\239/\136\031\022\228bA\157\128\0058Z\004\029\243\025X@\030\016\164<\004/\145\151r$\1482x\137\162#IGZ\142!5\173\155\218]\155RQw\238L\129,SZ*\029\023\128:]\000m@\205\200=s\171\172\";\161]<\132\133\177\192\214Px%\016\007\158\255W\181l\239#@\250C\026\157Cjtl\217\185\012\177r\189\155\229\144\187\134\252\031\020\194\0038\028\128\147\200\t\018\181)j\156\130@\238\236\017\129\209lHZ\167\\oQ\237q\021KW\238\188\141)\255\151`\017\\\003m4E\144\224\155\127\141{\127\174^\136\202n\207\150*\028\"D2)\012\147B\243\234\127=ejr\210\031+\255\146\004\221\025m\147\176\028l\176\241\186\243\192\240}\204\002\192\028\022\157\198\163w\021d\001\244h\003\176\028X\143\220\151W\213\001%\018\150\1547\138\158\164HU\187\212_\239-\185d\194\176^\141\138d\138\157c\225\24809\198\204`\224Y \161\160\178Bc\205\134=\007\012\218\136}\205\002\020r\140\218\0011\167\190Gj\213q\205\242\234\141\236:.\027'\245\209m\167\022\012\216\157rHi\236\196t\128\245\155\219\207\156q\196u`@c\179\172Q\177W\024R\203\000\183\006\196\160%\229\150\188U\127l:\238\172h\150]w\210\130\227eB\222\002\1407\194u\231\003\160\012\160C\201\186&\218\195\003\001\195\023\007\003 \214\191\249\180\127$'\160+\233\180\241\181\177\246\155\000\219\001<\162\1371_y\147X\002\240\133\127\007\215\219\240t\016`\250\197\018m\000h|\200}\234\196\225\015\016 ]hd\r\190\149\161\239\183\127\000\001\216\255\000\210_\2333\168\001\195\254\155!#F\140k\012\212_L\128\129@\128A\011\001\235OPp0\136\194!\251\003\002\n\018\026\138i\209\204\250\157)\0123\216b\224\250\1419<,\002\028b\241,\250\021\001\t\017\185\022(\253\130\196\018\025\181\020V\253\204\018\r\021\157\021\155\210\216\246\019kv\232\236k\195\161\031\017\002@\128P\016\1720\188+\004\001E\022Cu\129\163\017X$\174\020\1903\154\128!\150%u\194\145\241\020\002\181\"\173#\t\143\140_\133_\007*\127\154\000\186\192\026\130\2183\005\179\bk\011i\199\017\202%\170G\220\150O\" \021\1465\018\214F,\\\"\162\169\200\2142Qr\209\n1-\197\182R\137SS\180\161l\169\021\175\147\160\151\216Ar\011\163\020\147\212\206\210\154[\164[e\216dv\167j\230\144\229\148\221KNS\183\\\143\005}+,|\020\249*\238\143\186\228O\012\229e\245\2416\191\016\144\130\170!\221/\012\017\163Q\179O\204\018\183%\156&\221^)O\218oF\173GV]NC^\179\005\173nE\128\018\176eP\151\nX\021\162\006m\029\214\210\128k\"\218Bvj\163\000h \166\016\182\003\140\131\224\139\018\1540\"\156T\130\220@RPT4\173\012\189\142e\2320\203\177jx6\129C\228V\210\171\146\245)\006U\r+4#\1861\195\164\166i\153e\166k^\219\178\196\177\226Z\235\217\180o[4\1763\180\239\200\161OcG\019'S\231\206\\\2500w\181p\235\210\163w+Ok\175n\188{\179\245\177\243\181\247\235\193\191\189\211\196\025\215\205\154\239Y\011\r\206Y\244\159\027\230\220\234y\183\235]\176\228\162;\189\228n\157\203\238\185\226\190\171\150\251\191\007\181\174y\232\186G\157\247\184\198\130\021\139\158\186\225Yoz^\237\150\023n{\217%\175\170\220\241\218]o\220\243\182\247\189\171\180\236\189\007>\244\161\143\157\240\200'\143}\233\138\175=\237\137o\158\250\238\153\031}\238gOy\225\151\151~\247\149?=\233\181\191\222\248\231m\000}\023\141>\238}\180|\136v?F\167\159\240)\171|\142\174/\209\235\215\000\251q\223\162\239{\012\250#\134\253\152\1591\242+\198~\199\164\127\002\238Q\127\003\241Oc\216\007,\239\143\027\128\213\176\175\145\211\206\187\255\237\001x\218@*\253\211\248E\146\167\214\185\181\180\238\190\129\225M\241X<\017O\1933\240\030xn\\\016\239K\136\132\142\164+\133\016\225\255\254\001\178\193V\241\1468O.C\241(2\144\131\130\219G \212\254Pc\173\254\241_\017\1496\152\250o\166\021w\240\016t\230\240m\128\n\015IG\208\196C\163s\004\149\028\205\172\163\252\221\240\189\232\246\253,\226\215\249\006\141\2526\186|\195\253\027\015\024\230\246\189\190\188\176\1303\149>\159\188\171\182<\148\138ImH\028\240\146?'O~F\197\134\220\195@\239\127Y\163L\236\212\"c\bg\026%\017\014\177\2509\204C\243\146\168z\024\221\027mW\241\187\234\232\216\228d\164\185\131i\231\157\185~\246G\002\253\186\165;G\240\166~\160\239f-o\241\195k\255\001\216n\242\189\131J\014\203\243\170I\237N\213\178G|pC\249\243J\162\198\195\140\222\159\219\208\144\136z9\002h\208\232\255\192\003`\129\207\197\239?\030K\001\214=\007\0006}\003\128\252\018 \190\0078\227;\208!\162I\188T3\183/\185V>\210\168\220\202\1955MZ\25264e\171\213P\174Y\019\216\177\186..\194\240\017A\251\154\011\203U\184\142\214\130\230;\217E\136\168\234n\189\134at\1426\172\000\156\179\014/\135t\153\195\211\211\162]\205mC\200\151!\251F-Z\153\214\195%\244Vk\031fKa\251\220\212Q\025\007\234S\128\030s\156>\1735&\211\167\208\215-\024\023\214~\168\245\236`\155\205\195Y0&\144h\154\t\235\242i\234a\171\206\233\151:A\247\230\188:\183\194\n\000\235\182\177y}(\006 \151\127~\132\239\129R:\207\235\139\188\222\138\228\031dL\b\002\020\232\006\191\196\005\246\191\255~\240\1851\000&\215O\198(\169$!\228\253\137\144\019\249\240A\169\218Z\218\150\255\2398tU\025B\212\254\140\191\221\174\240\011i\216`6\228zF\012\249\n\181B\011\140\172\129)\181\217\028\207\127\183@)}\233\183\159\242\187\004'\205\242O,k\246\182\206J=\138\1784\236\2204~\219M^\182/I[Zi;\213\020N\167BB\248\012!xI\154\180q\160q\1663\167\199\017\138\203\208\166\172\225\b\155\135\206\236\020dx[QR\2003\197\021\016\031\158\202m\003\220\030\141\201`\022\165\"\144|\030\181ZD\145\171\144\203\136\244\030\136\164\157F\145\129h\249~\217\001\160\245\232\165F$\0199\202\128&\022\211\011\216\165\198\238\150\021s\028l\242\211O\025\200\140S\000\229\234p\232HZ|\145\168\186 ,\200\1731O\151\161&W\194\023\245F\026W\022\236\140\186\250&EZ\152r\151f\022I\031\136\217Tn\180<\156TC\180\142\176V+\175\023\237\157}A\210\014q\209\216Ph\139S\019\154\"\138%H\172]\247\r\193\1492\148Q\157\025j9X\017y\\\2507\129=\011b8V\198\bD\205\203\241e\132\222pv%\172J\183zB\164\183\166\180{\192$\202o\184\194\153\178\233)\228\233\r\t=\029\n\181\214#SW\024\0112\021\254!\219\131\142\132M\003\187\132\158&\183K$\031\2547k\2278\030\186\139\231\230\025\024%\201\191\030\140\215f\142\t\005\143\238\r\208z\151R-\177\215FA\169/o\140\160B\\j>\201\144\015v\153t<\247\025\203[\235\223\159\1729|\226\020\214\021\131\1298\214\165\166\227\133\142\232\017\003\195\164\209\195V\024\166!4\165?\178Q)\133\206\137\2107\026\027\173(\146\168$Zk*\242\229\196\017\149{w\004\201k\165v\216\\\250\217R\193\202\174\157\nQ835\178\230\237 \197\242\189tr\145\166\227\238\151\129\164\n\241$\131=i\131\193\020\129[\157p\136Q\026\176\214\200\131\219Y\205t\156\185\174\158\144x\129\156\167r\014\142{:\153\254w\138\144D\181k\216\187\170\189\212}\19548\161\135\243D\239\148`E\194\127\159 MQH7\155Z\235\233x\13745[\151h u\177w*\169\150c5J\250\154{b\028\185=\199\006h=\n\1744xil\167F!\002\196\168\165~\206B\213\174 \166\224{\012\134'B\240\157Z\142\149T\147\000\232\164\161\146\250\152\201\016\025\rA\r\143l\196C\028E\130\238\242\018\172\230\173\192\144!\169\021\t\170T\161\192\161\b\153\139g\153:\024\148E\031\219[\162s(\\\152\0312+\133\166\031\028C\170\210\021\168\012@F2\012\161\216\130\002\253j\\\216aP\\\209\233;\01699DU\198O\224\181\214\161\204[)_\245\156+\003\216h\134\227.\249\031F\023\133t>\215h\202\186\163N\227\200\002\172xy|\b\168\027\156%\238\202\196p\181\128{\229\202\159\191F*\012\011/\179\227\155\237\003\217\227\242\241g'\143\175\006\025\253\154\225\003\195/\193\162\138\230X5\164%\202\243(\239\253\234\bF\020\023q\130Z7\200\177\"*_79\212\025\141x#%\1585\145\206\231\138\002Em\225\135% \177\b\133\015`\146\191\226P\2393\144;\174!\195$\252@\245g`\155\023>\173bWX\016\240\208\003\003D\171]+@\209(\172\001E\\:\181#\003V\012\247\205[5\216{Y#\243\253\181U&{\\:\208\228\241\007yE\155s(\023\007\175\152\221j\247\138\226.\185\191s\031\012\028\236\196\189\012\220\161N\160SH\176\2085B\193\146\178Wd\187V\247\154[\169\184p\240\180\189,kf\015\145\002X\168d\004dz\t\180\137\007+\186\152\158~\142\030\r\222\185\191\235\170\031\224\204*\016+rq\144\"\003\199go\028q0C]\200\217Q\0250yZ\133\150\247\162\141\023R\174\207\216\157\194\030\173G\214\189\189\140\\\182\200\230\250\128\254\163\185\019G\028\130+\179\153\155\230\232nA\137\004hA\208nI!F\158]\141\193\148\011=6\031\1849\159\211;z\173\166\178@x\183W\188xaDp\002.g\251\215S\219\029N\252\183P\199\247u\253\137M\205@!FvH\202\178\137\150^4\193\203\223\1426)\239\242\248\182*mF\235\176\234\168EgA(E\164`\152\159\020\206\152[Q\223\020\145\191L\016\194\226I\247\172y\182\n\152\215\236\017D\242\022\164\002N\tG/V\213\247\159q\157\130E\208\006\146F*\131@l\nz\189~\220G\130A~\025.\t%\190L\241\189EF\238\183\162\197~\144T\198\129\160\201\1902\190\021\1987\226k\158@\n1\241-\255\138\241\175\2177\201\186\168!\212n+\014\189\161\"\025\"\130-a\159\154s\0304Q\132-\180/\198+\018\162!"
- let d_f72104756d2d5f4b88530dc90ecbd44b = ";\n padding: 0 0.3ex;\n}\n\n.odoc-search .search-entry .entry-title {\n width: 100%;\n display: block;\n grid-column: 2/2;\n grid-row: 1/2;\n align-self: end;\n line-height: 1.4rem;\n white-space: nowrap;\n overflow: hidden;\n text-overflow: ellipsis;\n}\n\n.odoc-search .entry-name {\n font-weight: bold;\n}\n\n.odoc-search .prefix-name {\n font-weight: bold;\n}\n\n.odoc-search .search-entry .prefix-name {\n opacity: 0.7;\n}\n\n.odoc-search .entry-rhs {\n white-space: nowrap;\n}\n\n.odoc-search .search-entry .entry-content {\n flex-grow: 1;\n flex-shrink: 1;\n min-width: 0;\n}\n\n.odoc-search .search-entry .entry-comment {\n max-height: 1.5em;\n overflow: hidden;\n text-overflow: ellipsis;\n white-space: nowrap;\n font-size: 0.95em;\n grid-row: 2/2;\n grid-column: 2/2;\n}\n\n.odoc-search .search-entry .entry-comment ul {\n white-space: nowrap;\n display: inline;\n}\n\n.odoc-search .search-entry .entry-comment li {\n display: inline;\n white-space: nowrap;\n}\n\n.odoc-search .search-entry .entry-comment ul>li::before {\n content: '\226\128\162';\n}\n\n.odoc-search .search-entry .entry-comment div {\n display: inline;\n white-space: nowrap;\n}\n\n.odoc-search .search-entry .entry-comment p {\n display: inline;\n white-space: nowrap;\n}\n\n.odoc-search .search-entry .entry-comment code {\n display: inline;\n white-space: nowrap;\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\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\n.odoc-table td,\n.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 }\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\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,\n.TYPE,\n.LET,\n.REC,\n.IN,\n.OPEN,\n.NONREC,\n.MODULE,\n.METHOD,\n.LETOP,\n.INHERIT,\n.INCLUDE,\n.FUNCTOR,\n.EXTERNAL,\n.CONSTRAINT,\n.ASSERT,\n.AND,\n.END,\n.CLASS,\n.STRUCT,\n.SIG {\n color: #859900;\n ;\n}\n\n.WITH,\n.WHILE,\n.WHEN,\n.VIRTUAL,\n.TRY,\n.TO,\n.THEN,\n.PRIVATE,\n.OF,\n.NEW,\n.MUTABLE,\n.MATCH,\n.LAZY,\n.IF,\n.FUNCTION,\n.FUN,\n.FOR,\n.EXCEPTION,\n.ELSE,\n.TO,\n"
-
let d_f74c5f3712f6dd71e013c627b7f71b20 = "wOF2\000\001\000\000\000\000m\172\000\014\000\000\000\000\249\144\000\000mS\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\134T\b0\t\156\012\017\b\n\131\163l\130\194t\0016\002$\003\135z\011\132\n\000\004 \005\136p\007\146!\012\129'\027\023\198'\216\182\012\168\127\183\131'\127\232\240,\179\003\181\219!)Z\195;F\006\130\141\003\128\208\127m\197\255\255\159\151T\198\208&\176\164(\136\234\220\252\127P\200\145-\178-\134T*s\021\244af\162\216l2\147\182}%K\011\019\195\132\003\236\217\231BN\184\222;$d8z^\222\212`\205\232\198l\219\022f\147\223U\251\189\157N~\023}\134B\031\248\020$\232\011F\027\246\190FkD\247\026\023m\212\133G\209N\196\031\213^b\228\015\205\195\168N\005\019\021\141\169\222\248\253\019\025\006a\154(\196\028f[H\255\174d\186\171x\138Z\181r\132\201[%n\144\232\151|\n\158*~\165\251\164\015\181T\250\173v\006\182\141\252IN\222\225I7\255\189\187\140\187,\2382!\172$$a\172\132\004\bCHB\024!a$!\236% \136\138\b\b\178\196\177A\193\137c\162u\237\234.\206\186\138\181\173\173]j[\219Zk\135\253\191u\254\215\156Z\168\255\166\166\156\251V\002\161\243H\145\020\b\005~\250\166\218\188\186G3w< 0%\022Z\138\0292A\144gw\237\234|\138\171\002;)\225n{_\210\029KZ;\n\176\2378\005\230\217\221$*\024\n\000?\251\173\1703x\024\160\136\0249\169\189\219\206e\245w\241\144\127\226\187\127\007\173\180E(\148\1680\152\193&0\160\017/\190\252\228\1997\160\193\006\231\149\016\134\019\216e\178E\208\007\183!\237R\198\158!\027\221Kk\187\229\246\226\134\137\148\000f\249\251%\136if\142\220\151lS\177\136\201\189\015ozhJ\186J\137\128s\127\176\n\245)U\196?\252\003\231Z\149\208\166>\183\t\205\1751\242\191\203\164h\"\198d\201\172X\023\228o\252\132\007K\236+\197\240\238~\254%\175 0\183\231\190\201\210f\168\133\1824XT@\n\140\188\169\012\000{\015\t\159?\164\rJ\254\243\023\245\023\181\186jt\230\182\t\1805\b:{\171_\254\170\225\187\025\011YSH\020(\140L\169|R\b\211|\215\r\238\005RZ\214r\151\133!\148\191\028`\027\154\239\219\018\198\243\255\127\175\029N\184\170\151F!\219\235k\244\190\180\130\001\028\225\233?\190\211\247\237d('\029Y\214\152{\007\200v\\\024w\219\003 i\251\179\222\254$\157$.\\H\184\132in{\129\n\023k[C\248{h\197\\&6o\217\189#\144H\005\190\189-\017\216z\023\210\029\223\249\223O_\251\242\001I\253\017\249\254Y@99a6w\243\018~\197\148\146v\240\154\018\189\188\166\240^F\133\228#`\168\144~\b\238d)\000|7d\212\155\170\220\132\155\209=S\192B\218\177\182\251?U\173v\000\219\155S\181\0236\165\162\187\024\187n\240\007 \128\025\128\128\006\162\r\012)\153\132\130EP\242\163`\218K\131\182\151\160(*n\202\137\220\160\147.j\247B\bM\017c\029\171\254:o\209][\030\132\181\156\205&ws\216\151\014\171\255;\161*\186\162+\016\182Z\156B\024\132\129\135\1581W'\247\183!\151xtB\1373M\152Hi\196J\210\199\202\164\021)\211\163q\020\005M^\215\159\231\247\203f?\184-\241Y\138d\138\136\0192!\232~8n\143\225|d\162\130\003\172\249\015c\203Jo\145\031\023\022\169`\018-nF\000\164\253t%*\128\220\218\n\128\165\198\138\225\144y\129\168\142\216\003\252\186\249\255\178 \243JW\168\004\140R\242\222m\242O?6\023+\206\164DD\158\000\144\184\186\192\014\014\191D\224\184\245M\030\255]\190\205Dc\005l\176\190\236\244\129\215|\145\235]_t\163\217\187_\219\131\222\165\190P\004JAe+\209\020:\147#W\025,\014\175\151\183n@\233\156\153K\185\158[2\190L(\243\148)e\225\178i2#\006G\1602\185\"-]\019\011'\000Ia\137\021:\163\213\167\170md\230tf\242\201&\019\162\224+\\\0213\251o\211\190[\2076.wf\251J\252\127Z\190\253\190\2277\239_\235FSrz\252\0011\153R\191V\253\136\186\242\158\237$)\211g\206\158;\149\012\127\172\2389\160D\166\149\197\202\012\189\021:\135R\215\165on\235\137 \211\132R\245\167\238|\234u]X\159i\239\150\254Z\031\217\170\197n\183q\235\246\173y\203S\214T\248\167\255\021\154o\159\230\208\209\026\246\203\1576\254\172a\242\159xL\030\252\143\191y\205\182\173\235G\215\173]\177|\241\208`\127_\251\201\208\151\243A\167\221\170\148\162\252\024_.\n\194\135\1317/\158\176\193A\001\138\250\253\219\215/:\233\160\189\230\154i\170\137\164\129\138\005<\196\253\220\195\157\012\000\164\196x\184\024S\r\170\131\018\163\250\239\000\1825\021\023\026\253\177\219\132T\156\t\130\004>\251\192\205\179f\199N\255?f-CAF\224\012]\003\222\\\002\206\249\027\210.\191\005j\151\233w\031G\200\206;\"\158\1740\193\164b(G\206{\130<\130\004\233\180\000JB\212\025BPRF3D ^\252\012Q\1609Ag\238]\211\138<\"F-\200L\165E\209M\"\2524\006Y\137\b\171\212\144r6n\145\174.F\165\180~\226]\162-g\246\250\230\019\156\"\162-O\167\029`E\018d\134ck\133\218uX\136\"\130\006\005\012\b\022!!\163\030\214\161\001/\214\152X\254\214\250\233(\187\195.i\219\193\175\248\187\r\190\007\020u9\215\152y\214\225\232\129G\157\025\164\1877\020x\164\134~\145a3\021\187d\021U\209\209\197*\140\144\023W\r\1960\163N%\004\2020\229\b\020\225G\179\137e\1368Y\028\018\216\003\129elz\213pQ\246\138{\029\166KB\134\180\226%U\202\151vj\146\017\134Y\026\200>\011\n)j3\164\002]\144\226\169)\139t\214\001\139I\137a\224\188\1594\138\141\209Z\029#\138\168\208;\138:\208h\2035\002\182\0217\254*\145\218\246\150/\137\200\146\175C\026E\213\235\164\228\195\016k\151\006\022\196\188I\160\191\012\027u\226hG\244R3\164\1318\167Z\128t6\194\170\241\164\002\130\235,\137HgD\248\230\147\222\222\005\014p\158\204\225\240\146\"\229F\229\022\250b\240bG\191\026\003->&\t]\157\244\253\0071\211\253\201b\133\n`\200\176H\138Gm\"\251Th\218\156\003\247n\193\n~9\250v\243\137\186\207\234\028h1\236\189\244Q\190*\129)\007\136\003\205Z\234\132=\"\232v\029\188\019o\147\158\234\\P\144\174mV\186K3$\176\027\b\194\133\175\247\163\188\163\164F\194&\217\025\1455D\226\154\180\205R\184\164HE\246\169H2\"\151\138A\218\144,\201\197\155O\161P\222;\246\130\236Z\198\143\193\211\135\015\195\155\143\211>\231\2475\188\019\243Q\000\151\159\rn\153 \172\148dX\195\"\196\181\184\204$\162\142pN@\212/ZZ\209%\165#\242b;x\137h{\153\206X,GB\136R\144\197\152\209\133\253\r\1312j\209e\237t\228\138\005\128;\169CH\130\184_\168:\255\142\tp\173@\182?\005r\147\162KNR\178\019aQ\196\011\215\133\235B\202\029QU\025\016\255\179#\172\n\127 \184$\150'l\134B\020 \b1\136\184\149\188\140\132\188\130\141:\tP\152:\t\011\167o\187\236zQ\221.T\157\237\134yK\149iZi\026\196!-\176\194\127 \028\215\176\192vdA\024\140\166v\134@\248\015\170DgW\214\139Vg\019~D\"\128m\244\147\240\t\018\004oc\145\152}\176\253:W\186\127\224\019\143\149\169\250(\020D\132\142Y\022\004>\231\204\216\171\188x7\229(!\028\185ko}\210V\167:{w2N\142\006\129\240[\244\244Q\252\027\169\189ta\137\145LN\029\231\144\004lg\221\231\029\196\244c6\168K\154\158\241\017`\233\149\165^\127\030N(v\219\\\025\229\219K\166\215\219\n\131\200>~\190\244\162\204\203\147\150\198k\158zoz\017\nc#\16425\007n\245%\1354^\239Zz\006I\176R\149\165\151\214\221.\024\236\221\183\240\139\196\186\216\136\001\021\1522\166\177K\002\170\167\162e]AJ>\022\217M\180\212\174\167M\017\r{\178\177\130\152\024\229\168\025\190l\175\027\246\156\230\145A2z\001\014\r\185\204\198\017H\147T\185\177~\150\1720\139m\241.3\165`gS\234\245\209\\\155\243\234\tF\237\202)K^\203\025M=?\027\191&9\208\0224>\230\180lx\166\163]=j:+%.\150\0221\212n`\001\2196[T:3\229y{\195\199\015\\\189\1761@\219~\2478\001\140\142\195V\155\192\152\200\146\019\n\237\018f\221?\176\171\196Y\170\214Xb\195\161H\173,\191\159\200:\212\022\128\165!\147#\152\149\245(\241$\020F\143+:\221\179w\139~)Cbp5\187\227\182\172;_49olQ\242 \136\014i\204\020\r\1599/C-%\189%$\179%8\249y\011\206s\227\206p\175\136\246\187\146\186\189\005\005\192\153;\140TJV0\234\133\210\138@\184-\241 \244rF2\222Q\n\2505\182(\141I*Z4\012K\154\028\164\239\003\145\012\0255\137\018+[\000j\003 9\178\201.N\208 \146$oM\144\191/D\n\214\160!Y\0069\"\1601\b\164d\r\154F\150h9\131\025\205\001\144\n\025-\137\018'W\000Z\003@\132\186\242\006;(m\022so!\007m\227\029\228\160k\241\030r\2087\215\001\n\186n\244\161mFl\011#\240\193\184\237\011\005\209N\250# \2024\130\205\"\200|\142\026\154E(\203P_\161X\177\174V\178\137 \219\b\221\238I\176\015p\bp\012p\170 \231\br\137\208]C\146[\144{\144G\144g\005yE\144w\132\221G)\2522\159ooH[n)]\245\255 \222y3\157\"V\019\221\168\199\183\236\0313\198\129K\240\207\1482Xf\200\180\203\210Kzl\178>\208\201=\219;\196v\161\160A\203\140\138\178F!\000u\196>\161\186\243Q\137<\130#\180\207\193\141 \239\019\028A\130\131\218\129\001\217\214(\218B[:\200\184IK(I\002\184\234X<\178A0e\209<-\234\150\030z6\202r6\202\198A\189[\134\211<\154y\172\131\186SKU\151$\181L\155D5sp\016\157\n\1552\244\144\233\141\190\2521W\2371\000Gp\216\215\153\137\1430\229=\023\218g!#\249\153\175\1925\162\216\1278\191\150ny\230oN\181sByi1\229\172\2348\148\236OL\187\138?\002\231\222\2044\201E\148\163\163\146!\223\137\141#\020\189\180=\245\189M\148;\161\220k\026~\232\168\250\127OF\231\157;\238C\187\131\031cu\133\189y\2056w\171E\223\031<\186\179\221T\165\217\146\219wo\207\246\031\184|\217u\133H\226l4l\015[\220\245\220s\244\185N\142\211\189\135\246\245*\206R<\253\206~\004[\212\221R\129\179\206\2463Th\168\176\232i\2080\128\182^_U\187\031U\179\222C\154\167:`\029T\172\171V\198X\005ho\203\027\026!\016\152\201\209 \134\235t@\003\190\173\220\145\163Ntq\192\253\130\215n\209U\221\213\011g\200u\218\205_M)\141,\129\003\251V\016Pc\015S\239\223\buI\198\200\216\131\005\016\000\178&\r\138|\232\140b!\130-\004\004Cn\2491\130\208$\0112Y\157I\147\162\134Y\219\229\237\184\140\139\232\160\208|\b\130 \242\131\016\002\001\161S\176\250\185\242$:)N\022'\171\147\133\133\006@\0230~`@\158\134\236\180\1999g\2040\246P\n\1960\144\021\226\205\234F\b\144DLP\145\231<\207\163R\148\226\029\127\231\169\170\016X\247\237\136f\237P\012k}\223\244\253\218\231\230s\167\170\173\170v\139v1=^]\137\026\209|\144n\2027\148\175\232\157\245\246\r\251|\255\017\150\240\158\185\156\202Yi\244\011JQ\192U\016\136l\155\180\t\147\233g#\163|\253\200HX2\153\167\"\203UQ\128\168F\161\230\243\b0y\252\184\191\016\150D\005\157R\139\003\184\186\233\182\219\220\134\158\b\169\138\017\235\031a\202\b!\211E\000N\195\195\195\2445 o\021\156\197\024AT\171\141W\220Y\018\161\155\149,\201\128+\128\2249\155\188\018\016d\150\229Y\150\229Z\022\028\030\142\004\152\217\".\128~\131i\230\205<\181\020W\021]\001\002\201\130Y0M\180en\179\194\244\185F_\158\193t\133\201\182#\157\182(\b \239\019\194~\230.W\184\127\151.\189d\191\191\149\003\244\nvcVH\189K\180\233\214\003D#TtF\022\245\196\213\007\001\1346\132\186\191\206\178j\129h\020`\231\152\028A\134\169\200\022\139|\208]\221\194\012\205+\217o\000f,2h\178\192,\197\019\019\198TF\224~,\231\188\006\164\130[\012\000\184\161XBF\178\244\004\230]B-\218\002\210\142\142\224\026;\212@\160\0005&O\218\161\224D\201\216\146\211\153\171+\236ALP\145\0316Q\250\011D=\203\158\212\224&Fpl\024\162\n\153\196~\187\203\003\176\238`\196\226\029\176*d?\024\185\240\016\240ov0\228p\000P\163\229\021\030\0219\000\024\016\002\136j\001\196aZ\183\241\150\212(.0I\154\163s^b\172&$*\156\193\176\211\002\226\203\167y\004nP\002\221*?\0284\017.\199\187L\187\022\146oB\2479\237\144m\245\005Q\136\221\016\202k\025g<\194x\188\139+\135\199u6\230|\016\167\b\006\203C\006\163\201\239\183\011\016\0007\163C[\012/\244\007.\136I\152<\209C\140q\165q\212i\146(\bp\201\183.W>\019|4\183I\030\"!\017\204\218/\206\r\t\r\227\230;\219fNc\\*:\026f\252e\029\b\220_\142\227\174\205>.\170\029\196\188\132\132A\000\175\251e\026\230\1862I\005\190>\232\019($\2524\1831\166n\233NMS\153(&\147\135\194\252\210|w\016W\011`\200\176\247\190\169\209M\179M\239\206\209\232\018(B\243]=\1793\215\154@\187\204g2\192\n\182b]\237_]\174@>\143w,\164\127*\001\021]\174\020\200\024\001\193o0\230\251\204M~\175\137\226\002\001K@\183@*:i\135"
let d_f79a287e54322c72b908f904c9504353 = "*\208mn\003\227\224\136A`\131\179@Q\200LAc\130RSL\144\163\016V\019\244\201\221\202\186\204\178)\155\205\029i_f\156\139\196\144\168\147\2224JL\205\252\t\1654\163!v\019\146J\241\158R\148\176\203g,%\144e,n\180\020h\229t\137\188\140\027\180\rx\138\021\152e\191\025\198\004\148<\170\031\164\129M\189\219J\160@6\017\248A\003u\225\178J\000n$\005-\205\012<\005\246C\213\245+4Z@\169\145\196\168\142\196\164\133$\212\030\244\135A\"\252\175\220`\031=\r\241\254\027\1503r2\028\2357\n\165\019\140sC\0053u\141D~\174\142\142kbdO\199h\222V\195D\202\147.\239\197\155\031\175\222$\220\020\004\031\254-\207A\194W\b\158 \238\220\176\137\237\205uQ\172\173,\002\251s\017HB,\001\156\153\209\002WD\185\1523p(\128\146\234\030\25288O\243\210\226\145P\247\248\004\135\155\157\185\226I\206\224)\167\001/{a\160N)4\000\228\187\173\142\217\166B\207\184?\243\130\144\254\029\130\007\208\224\253\160`\140\202\190\137\176\027\150\1621\146f*,\003B&uh\007\005\187Ig\200g\208\200\194\146\197\170'\154js\174\024\219^\192\1287\211h\023\157\187\145\199\157\254\176\221\0195\176\2120U\238\200\031\1810I\194\216#\1951\002\226\137\016\169\229\164\167eN:\229\253O\170\185\179\2416\136\158\243\248\167\0120j6\142C6e'$\128\138#\017{4\162\153\217\181\011\030Z\029\154\172s\005\014BP\"'\0302\231\018\184s\138\174\225\237BU\1632V\166\128\206W\139\161^\127\211^\028<\200\250\145t\1435\231A\249\179k\216\253\187\146@\254\200\223\200\002U3\1399\130p\212u\028\184\245\215\007\156oA\156\210\\>\134\149\128\170\180\171\182\n\180\145l\129\240\128\169\003\004\2114x\172fC\162\014\018ym*\236(\154e||\211{\127U\132\202\t\155\209\153\017d\155\002\173\1551o\131Dg1\2296\153\201\005\016\147\012b9\199\229z\245R/sZE\031l\025\031\158Hg<`\197\240\127|\176_\021'\153\135\147+\242yQ\1928[6\\\016\153\130\226C\1478b?\174\016Q^\204X\"\216\218u[\0233Khl\218zI\232\003.\007\172F\178\205=\031hJH\024!Q#U\152[M\r\015W\201\190V\133TI\209\182\\adl\190\172\163\248\171\016$\130\245\204l\000lcB\152\136 \027W\017,7\193o\029\005 3\226\243\227\006\188\r/\193V\137\020\166\253\250\223\177h\144\019\203\162B\194#\133\187`'\169u]6\184E+=\029O]\233)(K\145m\138;n\133\149\012-\0292\249\031\2069g\019'\169`\019\196Dq\005\225\162\154\168\127a\199\144\142t\222\134\030\165\130\160-wSHL\249\"\210\189\228X\143\012 \137DuD\2480A\127\235\215\189\136?I\206\005\206\030\192=D\184$N@\187\224\158\165\029\n)\021\005\028\005\155\237\211\179\131$\212\213\205\243\000%\130\173\196r\166yw\253T\164\204\005\242\196~T\158\197\247\225\139\161\139\r,Nd\157^\232\166\127\242\r\000\248\158]\158,_\238\185\210j\172P\135\180\161\254=\132\242\183g\252\177d\180A\156\236\140\233H\021\001\002\185\147G\218\207\139\012\169\128\rR\231C\129K\175\219\007:\1764rz5\017\t\006R\020\252\017]C22\000\129d\144\253\190\210\142\183\006\144\233\196l\245\173hJ\220&&\184\237\000qsU\214H\198\198*\128\194\172\1348\127\2376p\219\229H^\203\149S|\192\019\239\209\248+\245\194\241cBI\180\195\167\191_{e\208\127\130V\004m\187\243\207\147\\\240\027z\137\015\240\171\141\198\127\237\025[\148\142\144'\243>B\251\185/\133\020\233\128\028+EML\181\0195H4\024\148V\158A\242Uc\232\011@\014\224\191\185\137\\K\128Dh?g\2287\212\189h`a>v$\132\136'\143\255s=\129\172\006\146.\213\217\020\255\130%\t\252D\206^\178\030/M\242!\195z}9\196\252\134\003\232\153\003\232\026\207\214\139f\018\021Z\162E1D\245\140\180\152\152\184\228}\0247\209\127\135\1340\b\021\182\\\181\159pJ~\241\b\193%x\160\240\129s5N\220\169\b1,\\\169]\189\233\174\021\182\175\212\132c%6\154\b\015\159\132~\001pM\208Y?=\143\014\159/\005\192!p\004\\;\187)\nq-\221\214#\225\018\154%@\\\030q\182\239\253\186@x*\130~\024\196\175Nm\002\208\139\220\205\139\232\194m\175\131\205-\181\131\201=\137\022\002\015O\226\019\ba\141\127\249\196\\\016\\\185\"\185q\195\226N\138\226\193\011\1557o\020\031>h22.\228\024\028\n\n\\J\190(*j\250\240\210\146\215\172\241\000\184R\238\164\221\186X\246\201\166\019\139\194#\207\136\023\171K\144S\230\150^V\182\198q4\005k,z\141\156\130\145)\213\234s3\133\134\011\254bcgQ\222\204M\212Q\230\211\251\162\150x\138\202\234\200j\217\2187\007R\147\200#Ti\170\141\026\188Eh\225\020jH\2502\204\"\001e\164B\"\0150\144R(\005\157\138\160h\156H\190\150u\245E\245\214u\143\181\140\176\025\212\022\195\002\016\020\203\127Z\221\133,a(/\174\180\025\016\173\253\011\167\138\136-\133\188W^\018\189\025\176\007f\006\138\221|\249\203\214\245lfh\2178\2195\002\177\195\239\151s\160\n\189\225\224\212C\153\182Q\161\190\159\205*8O\174\t\140\\sT\153\228E\183o\188$\148\242\213\147\168s&\007\178CsM\157\136\145\153\012\243\155\011q\006\206\235\200\246\234\238^\137\017\021&Xk\132;\024N\217\188DxY\132\235KT\012\170\\\163\214d\146G\231[\127\129\213\141K\1543\001\007\198\027\185\160\134\n\011I\231&\255Z{\1761\227P\1280\219\018\142{\133\211b\248i\233\023\001%\138&\179U$<\129\t\130\153\149\128u\196\244\021*\183\128\136.\174\003\016D\254\n\007\030G\213\227\191\232@\244W\014\227\191\019\245\196\245\183\212Z\2173\135\012\r\140\"\2417Ul;\137N_6\127lF\026Ro\229\222\003,,\177t\237\228&r\019\017\171\012\214}\169\134\151\024\011\181\240\255.\149\b\222G\165\160\222\155x\180\025DUT}\r\201\175\001\007\244\170\127\255\252w\246#,@+\193\127\243\017\225T\025\242\203\\I7\138\169=\193)z\162\127\130!\248\143C\169\155\170\021.~5N\220p\028B\132J)\ng\239\141\253M\133={\003\239\b\014n\136;\185\248I\238I=\150\188\001\204\174\166\012kD\198f&\195\205\173\028K\027\161O]\0076\222\028\153\136\196y\158\152\165\215\223\004\140J\207\130\019\174=J\201\128\187\136%\142\236)\137,\193\144!\231o=i!*\163\028\021/\000(\244c<\177\016\132@m\006\219\140\240\222j\172\1753\239q\254\230\149eO\197\152Ts\219\249\218hu\235N\006\138R\247K\228j^X4\143M\222Y\220\004\175\233k\139\155\236\153iu\002/\240\172*=\203nh\024J\160\209\186;\247\226\023/?\003)\206\170\160\148r\249\187&Sf\186\21369|\209\219\017\233p\012\128\222v;\250\167OAl@\150\006\228\1899\194e\015\227\\\231\134i\012l<\021K\168\156Cgt9\210\2183\190\232\192\185\1769\231]\137sD\219n\166\207\130\142\187\012\151\214\179\234\195\031\001fB\137\230\196\147/\141\016VI2B=d\230\204\204&\230A)\136I\180DS\149\20583EDJA\205 J\130)\202\166\159\153E\200\029c\018\157Hv\147\149M+\200wx\214\146\011\020,\130M:\030\185\002\129\207\149L\128p\241\210\144 \248\158b<.|\248\011\019'U\165\016.\231W\197\221j\168X)\208\129Oe%\188\168X\196H\150y\175\180\161\003O\177\174\163\229\141-8\241\186\244\254M\205\1418v\226\255,eO\197\150\235\218\135wT\151b\253\150}\229\rXMUTF\165TB\249\148\"pS\138^\154\029N\220\014z\206\2452G\217\019\011\196O\250\237\174\233\156\142\170\177Z^\226\\\207\206\168]5L\011\137\143\196\226\201\244XB4G~\254h\172\179\222\135>\242\177O|\2343\159\251\226\211\187\190+\019\149\232X\019\147\216\196%>6\136\012A\197*\155C\185/}\229k\223\248\214w\190\247\131\031\253\244i`\015\206\156\144X\018\154\176\132'\"\145e2\169\020\230\130[\186^T\197\134\003\027\211\022\147+D\001\225\253\200\170\132\168\204Y\0215\207p *n/s\175\137?\001\148B6\145\168\216P2\171[:\228Q\019\"b\230kA\164\023=\011\160\134\219K\166#?e\180\201\156Hw\014\194Z\136Wk\212O\243\164D\1692\191S!Tm\024[\169\162 Ai\133\216\150\2046}\197\148\142p\168'\211c)\139`\133\186e\024w\170\140&\191r\1721\224-o{\199\187\222\243\190\015\172\181\203-\183\221q\215=\247C\"\022\162\016\027\209\136\131\184\136\135\248H\128\132\200'2\024\2192\253\224=\135\226\202XI=\244\146\211@\017^\163Dx\143\143\169|R?1\203,\183\194J\171\244\234\179\218\155\250\141\184\226\170k\131\157\189.\012\199\248x\023\207_\027\166\191\222\149\1650\1505\214\002_Tm\174[\238\227\133DBp\202\205\244\238\b\234_\176\145l\196sP\239\156\176\244\165\1590\157\191\230-!\0203J\2019\1619s\027*\221Q\226\233f\016\173\024e\240\223\234\184\t\004|T\021Z\029\236\246\193jB\b#\00202q\234k\014\224\214F\226{R*l\251\"\023\024w\157`)\148\200H\219\140vBO\204L\232\244\134\197\016B\134n\139\170EU>\232R95#\208\131\200\131\194\211W\234\t\177\129J\011\147\176\172\178\163ueOB6w\206OE\230D\213\172\017\235a\201F\214\164\244c\129zi\229\205civ\026CE\140\143\006\160N\176\136K(eJ\015\002\238\229+\244zw\237\241\176\136\224x\136\175\143W\160?\020\014\003\189\011P\167\194\131\192\185\017\247\224zN\143\200\252\149\159\172\247\129\235\138\197\130\t\232\132\2354\129\012\201\174\191k{\157\174\179\141\b\146\224\016\190=\233\220<\230\244\140'#c\148\140?\019\193\216\241\029\248\031\020J\197\026\197[J\137\210u|bb\131S`\232E\248$C\178\234/\153\173\129h\130\222\242t\140\148\241\222\206p\229\145wr\167W\159\241\005\028?z\188d\188x\\q\172\004\199\219xF\127\000\240\139_\000\191x3\250\222\232\167\163\205\163\234\209\168\011\143\139g^Xt\254\222\249\179\232\n\004\\\027\184\187\203 \239\206g\150\230\188U(o\220\021\137\141\149\127m5\226\154\215\145\216\214m\248g\237\191\029\183\201\014\127\217\238\217j\236\217\156\211\192\169\"$\230\202\141\187\021\254?\190\200\200)(\169hh\233\232\025\024\133\n\019.B\148\189\134\237\203\203\206\194X%J\146\"M\134LY\1789\020(T\172D\185z\141\1544k\213f\1829\230\154g\161\221y\216\227\133K\254s\197\rW\221\2043.\t\141\171\030'\189t\"\183\132G\234\185_\012f\246*\2066\020\226gK\156\242\187\223\252a\0116\018\011\007\133\198%\224\194\137\1323o\030\212K\004\169l\173\004\234T\137\227\208\192\228?3V^\153srq\218\159\204\206'\030\175\204\189\133\248\163\198\205\130\142\167\249py'\182\133\239\014s~\239zk \023\028\188 \214\152\bRE\221f\031\175\235\180\001\241\171\141\003\240\246\031f\193[\026o\159\140\215{\014\239q\133\252\171\145j\250o\185\014\138\185\206\156\b\241D<\234h\000\001\163oH\192:]5\164\192\002\252\211'\139\159\134\193\1438\158\143i$&\2124\028|6Qq\249\015\240\135=\019\170\224\192Km\225\229=\160\016\022\164\005\135\177\155\227\226\144\131q@\195\159Ka\133\252&\1810\210#i\212bcT#\183p\235\143!X\142\196\170\136\018\180\182\188\158\230\r5`\0122M\011P"
@@ -468,8 +470,6 @@ module Internal = struct
let d_ff46706d294ef245bbbced8ad31fbcf7 = "\247VI\030l\012Nf\238huE\153\025bI\003\180\248\bLh\162\174\199\219\1936\174k\255\2218\223\b\131\170\252vh&V]\238bM\151\129\141\231%\198\2030\021\020\182\027\005|\244`%\148\186\n\233\026\130\180\189\182\006\216~u5\b7=\210\230(\154@\175\134\000\220\247\169\143\158\249\237u\251\221\163@\191\239r\031\174&\159;\132\028\0110\007-?{\161F\226(\2048\169\227\235\193!\227\154\222\239\150bs\255\191j\152C\253\180|\163\226\014\006\244\206\194\199\019\159\167X4\1978\"\179;\222\205\t\168\223\131\246}\186\014\218\173\194y\251lm\255<\211\197\167\235:\196\195=[\216s\011\b\216l,\231<\t\232\2241o\003\164\225:\168\133W\232>\191\178\131\143^\024\1800\2555\154U\174\212S\183;\157P \231\153\132\254\185}A\169s\175\155,\011\238\01894.\197\128R\200\207\127\229\165!\254\218\1528\171\244Wf4+\202\231\244\031kK+\236\213\170J?\144\250\019\216\213\181z\220\235\230[\133N\139[\026-I\028I:\163\142!\254\181\233\"\225\252\142\146\229\171/|\220<\185{:Q\253\199\146\027\168F\208?\027&\139~\159\248\022\209[\241f\255\139\nn\163q\202\018\201\128>s\250\144M\bs$\237\016\004\028\001\216|\014\254k,\163.\005\204\015\222[\186\194\197E0\255\192\242\030o;4\152N\023\186\185Yt`\200\226g\199x#\017\206\029\166}\187\156\127\129\213\208\214\225\147\021w/\172\141\165\139L\174\130\148\003\028\023\195|QE\208b\128\188\243W\238\226\170\148\241\005?9\207j\189\139\233pE\135\195\243\227:\132\025n\236q\021\175\191\tj(0(uN_\254\223f\213\147\227e\0157\207\001\247\240\176\238N\195#J5\171\022@G\206\024\027;}\142\0008XWU\224\n7\018\235\245\139\214\015\021\164=\200<\015\178\228a\t\248.\"\233\176\207\248\\\031\128\224\243\0237kK\011\210\158\221\184\185M\141\195\254\159>\207\190\031\197\228\198\209\197\016\176\\F\2055<\253\151\2231w\194o\143\128\186\007\011n\006^\183\252\nq\217\t\174\220'\019\188\031<\244\128\166Vu\\m\166\227\222\011\132\026\011\015\244\244&\204Ef\226\170%\247\006\0235\000\164\137\239i8*\158\179j\197<9H\027\217\212S\227\206\135d\183/.z\135\137\180;d>\206\161\183\167\190_\143\202u#\150\130\"\179ep\224\191\177u\245N\154\021Y\226M\170\011\172\231\167@\133\027\224\247\172\220z3u\234a\159\189\252\153\135\025E\r#\215\172v\140E\180\190\220\141m\242\220\200wN\216-\163\181 X\233\028\b\174Z57Z\153\159\209\190\242\220dF\186I\006\015\138L\234\250\242\171\028\224\245E:S_\162\224\254\142\132\014X1\178\143\1888\221r\180\140\230\226\185\213\132F&\164aH\004|\130\202[\232o\242\215\239\184\017\019\228\135\168N\228\251\235\128\127\233\017\233\233|\238 zn\167:\171w\137Z\241E\178\003\184@\1355Kl\239'U<\b1>\233\018\246:5\160\159v\245\139\011\001 o1X\2298\021\246\018\128\141\155\021vK\005\015\2069*\152i\152TO8G\201]6\150\223x\234\162Sv\025\241q\028j\230\190\230\176\130\189N*\232\187#\253<~I\247\209\171]\153V\026\163\149\176\248V\135\017\127\216*8On\245\133;\215\004\n_:3\005\001\021\031\002\127\179\2358H\232}c\227\152\"\166#\001\188\202\135\151?\127\152\160\160\143u<\235\211\188\144\173\210>G\184z|:\025\174\166v&\153\132\227y\143\192\197S%\239\216E!\000\014|ty&+n0N\145\212W\2476\b\168g\167\005\022\2148\223\197J\185\245\156\255N\206o\218H\016\141\165=\"V\237{DH\248\185\228\129{\255\190\029\174\188\210jd\207\1673s\128_[7\0228\153\236\225\220Y\197\233\222\156e\133\206\143\130\160\207\204\027\2467_#\188\240\222\217\174\162\223\129\129\131\227\229o\193\250\159\132\144-\b\144\012\153\2221V\211\238\167\005\\\241F\166\194\217-E\132*\"\140\247\150\213\181\218\020\249m\138n1'\19201\223\000^\243\253\211\133\176\t\150\246\200\n\235\182\163\153\205q\005R\248\030im|ZG\147+\137\240\212}\020q\219\203\165\168\188\208},\014\189\182\186\\\224\225\130\254\0278\152=\225!\231n\132\184 \193'\023Hjy\237F\007\252\242\026xYi\181\141\t\016\231\240\203\r@Z\220\237\171\180\238\161w\137\011\235lG\209E\n\173k\201O\159V\177f\r\251D\143\211\192\242\147}xP\005\164N/\194\160\231\203\131\133\160FZ\240\228*'\tt p\1667\2338\187\142\168\219\130%\164+\167\2325TW\242~\178\129\223\244\246\155e\011\255\238\242RS\026V_r\243\230Z\151y\244Z\245~&)\200{\023\243+\204F\005\254\031\017\235\006\138\167\144\\.;\221\214\166x\203\203~\250\002\211U\210\156gQ\129\140@\146\242\206\1617q\227\023\234S:;\001\247=\164\160\148\156\140 \024f8\026\132f\155\202\249+\211&6\144h\221\214\231\200\242\159\232|b\166gU\170\016\1562\2400\196\0222e\236?\139\174\205\240\163Y\197\128\254\251\151\023\203LN\223\188yg\137*#\202<\133\210\198*A\251\239~\167\014\211q\191\250g)d\024I]\207\194\242MI\160v\197w\136G\157o\212-\145\020\189\007\220\207H\007P\248\210\151K\242\158\158\171\178as\158\149g0\173yf-3\223>\167\169\139\246)\174\236\202\186:qr~\217\145E\252\242\157\226\149{[RA\181YUh4{\192\214\238\156\2053]\217g`\004\023\n\173\137\231O\181\142O\027\236\017\134\175\249\141x\226\225.w^\206_\129\130M\127Dv{\230\189oR-\159\1364\165C\173B\165\172>\156\201gQ*\201x\223\209HD\241!\203\178 \231\223s\155\214\025\203X\189>\139\177\t\226j\020k\137\232\247\136<\220\156\155\227\031\bs\205\140\145\146\168|\153\133\155@\005\133\239Pms\023\150\164;\138\209S\027s\223\247\129\131\188\230\152\220\207\157X\153\243\233\134\185E\191w]\018\222\186\248\t}@\0319\127\230\227\223]\160\207\170^\024\250\138\236\246\200\253\204?\146\162\209\017\251Z\245\007\153\151\159\191\135\249\206\131A\230\148\031\1787y{\172\021\179\225\229u2\228\211\246\215\002+\159\186|;\250\2241v{\207-d\173iNZ\173\136P\198\193\237\186m\136\164Y\184!|\183J:\174\245\r\189k\017|5\173\230J\207G,\238\180)P\192<\019\016\177\202^2\127\222\025\170\175\1867B\007\140h\175\224\r\158\244O\242H\233\167(\185<\231\031\247\233\159\211F\189F\236\173Tyyk1\022\189\183b\171J\022\128\027\212bsw\143\011\004,}\213P\2170\157\242\246\213O\153\\B\223\142U\020\0125\218n\214+/X\170W+\021F\027&\161\148\188\253\230s\149\221\194C\135\199\1928E\030\015\029\197\220\183\155>\206\149\136<9qlMK\135\162\136\222\163\018\180R\135\020CCP\215\162y\1552\020\217\1758\240x\236Y\224\006x:\208\000\178\165rO\207G\154d\136\201\233\221:Tc\226V<\217\190Y\t%\196\154oS\143lH\2123\154>\178\022\159\160$\219\141h\226<\218\158\202\134x\162>\151U\144\007\152J\243)\135L\197\012i\129\155:]-\163\150I\t:\195\149\242\202\012\156.\230\148\021\231=V\030dJ\217%\180=W\154K\239$\161\176\140\219\228+\135MME\1677\165*pR-\222\209j\172TPs\221:/\137\192\203\205\235n\138\232qT\135\161L\"\181\154\178\002\213j\129%I\243\031o[\183\t\200\233mjy\155\022\003\153&\249\249V\205\021\217\178d\251z\185\030\157\0261Cvr%J\205Z \249\158)a\132\030\209\198\141{A\007\245\160\030\187Id\168s;\182\141\164O\175\023\003\162\2458\211=\142g\220k\018\186i\217\149=}D\191\2066\173\216NW\135\212\208\1800\246\168\rFh\015\133\214\143\1904\170\195\170p\248o\230\011\241\1394}|-\252\210\2532\217/\002\249I\253\248\239\147\n\003i-\205\240\176t\250\216\001\191\176\204\218\147\191\202_\232+\250i\007\254nI\167\250\253\007\1677\017\132\226\236\188n\242\169\236\200d\172>A\173\177\017+\023ej\014\190\192J\020\"\011K\016\145\146\230\161\168H\246?Q\129\214\250Z'\194\228>\157z\022\242T\128\186\222g\239\143P:\196\148z\015\188\2394\181\231\201\225\007\173\186>\254\0202P\157\003e\250\024\161\197\204w\020\247\187\144\247\240\158\014\197`'\160\140=\025\172?\130\159\222G\2379h\253\t\\\167^\006\015\161}eP3\229\2401?\189\132h\222\017\171\025\227\127\250\132?\231u\168\241\150\181I<\211\228e\250\248\206\019\164g\142\230\190\195\250:n\018\181FW-\031\2551\022\203\027\160\229f\191tE\175\154\001\\\203\169\251V\131\242:P\205\160\203\155\227O*O\195\255\024\240N\135\2124\134\\\213!\231t\1689\204\185\162\209\031\194\215\199\227\031P\020\142\159\134\232\007w){\028@}\213\195)g\219\235\200\209d\135\145{\128\231\139H\213\158\139\152\241\220E\194xw/\146\218\199\\d\025\155\238\235\171\188\139\252\218\154\157o5\208\191?a\214\167\223\132A\029\218\180\027F\195\147\197\21599\233\229j\136\246\\\022g\210X\180\024\146\231\189\001B:b\011\207*.lZ\206\201\003\019\131(?EF\137j\238\246Y\025\197h\204e4\199b\143\t\238\018\195\193\184\0066\131T\2362l\004\139&}\186\189\220\166\143\2395\172\027n\155\022#\150\024\242\253\213\162)\025\016-\215\\\142G\193\026$@\233\203\201\136\031^U\240\225\149\183\142\193\136n\243vW\170\215gkT\242\192T\019S\224\019\190\181\132K\166\202\213\025;\023\197zd0\215\174S\243\241\150A\205\175D\143\031\155zFS]\146\027d\022\181\198\1850\186\135t@si\130\1901J\249\168\026kF\139\228\165ije\244\204=z\140e\174c>\221\027\014)\224\161\002[\249\216\138\131)\154\020\239\214V\150>\028\194f\028\177\154aX4`V\139\130\156\147\007\029\159~\249Z\229\027z\148\160p\014\172H\138\19356]\164\201\024\133\\\135n\133M,{5j\172\140Q\199(\240\172\147\163\005\137\147\030y?q\201\229\014\201\198\143\247\007\141,1\128\249\221d\031\248\018>6\158rv\158\211\157fw\2445\176\234\255x\028T$\139\205\225\242\248\002\161\b\028\002\018\n\026\006\022\014\030\001\017\t\025\005\r\003\011\027\007\023\015\159@9!\0171\t\215\190]r\nJ\021*\169\168ihU\209\169\166g`daec\231\224\228\226\230\225U\203\199/ ($,\"*&.!)%\173.\140'\240$\t\146d\145\"M\134l}\224\188CznL\239\251\179\172\138s}b}c\253b\253c\003b\131\159m\b\220\031x%\024N\019\221<|\136\254\161\173\205\197i\232\205\167\n\161\235v\225\179g\200\153\031\145\168J\179\249%F\203\229F\176U\136\167{\129v\227\031\219\211\229\131\197\167F_^\156\005\235I\231\225K\006\243\016\198\031\018\151:-\151\186bN\163\201{\247\186\249o\217\233\201\206\006\134\130\174OQv\225!y\227\145\247\240\179\181~\022\227\183\001"
- let d_ffddd4f3053414daf8a91f93db74983f = ".DOWNTO,\n.DO,\n.DONE,\n.BEGIN,\n.AS {\n color: #cb4b16;\n}\n\n.TRUE,\n.FALSE {\n color: #b58900;\n}\n\n.failwith,\n.INT,\n.SEMISEMI,\n.LIDENT {\n color: #2aa198;\n}\n\n.STRING,\n.CHAR,\n.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 ---------------------------------------------------------------------------*/"
-
let file_chunks = function
| "fonts/KaTeX_AMS-Regular.woff2" | "/fonts/KaTeX_AMS-Regular.woff2" -> Some [ d_f74c5f3712f6dd71e013c627b7f71b20; d_c6cc8ddd70c02f12f64ec4829bf4e665; d_301974f8fa92789ac06e5268a8be3569; d_811b25b0ba814e654e2a5e9f66c8b4e8; d_fddb6a653fc258923b0bfb5ea1b30fb1; d_faf3026edac134ac18982c09dc18fcd1; d_80f220527c99ab0a494af2bbae80b0c8; ]
| "fonts/KaTeX_Caligraphic-Bold.woff2" | "/fonts/KaTeX_Caligraphic-Bold.woff2" -> Some [ d_75490a0d375710a28ff64d8f55ab1d68; d_fe5931c328ad138c2b82194c2c922779; ]
@@ -505,7 +505,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_fa1c053d8b56d1e18253a2cf90453dfb; d_c6510d97801caf5832a95c7f4df94f0a; d_80942c28caff2381b2b5bf2d5a2534d3; d_648655694943c6c43faf263610c73cd1; d_0ae53648fda5d4c0ff06d99f93ce68b7; d_f72104756d2d5f4b88530dc90ecbd44b; d_ffddd4f3053414daf8a91f93db74983f; ]
+ | "odoc.css" | "/odoc.css" -> Some [ d_fa1c053d8b56d1e18253a2cf90453dfb; d_138fd7464055b1ae098e0bda8f41a32a; d_4a1f36bbd9f7f4db196d35ad93c44f95; d_d40f3444679ba5d7b0a028dc41d40259; d_46b95d861381f911fcc924d64353cb6a; d_8890b0814e375c9f0a79e835752aedf2; d_eaf420775272de2f8e6e612e89ee74f9; ]
| "odoc_search.js" | "/odoc_search.js" -> Some [ d_baa9e7597ed780d04fe80009b6d2457e; ]
| _ -> None
@@ -554,7 +554,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 "2bd1f128e74fae0daa530419b4192889"
+ | "odoc.css" | "/odoc.css" -> Some "83abeacbf9919dcd24b8b21d7be76560"
| "odoc_search.js" | "/odoc_search.js" -> Some "baa9e7597ed780d04fe80009b6d2457e"
| _ -> None
@@ -593,6 +593,6 @@ 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 25770
+ | "odoc.css" | "/odoc.css" -> Some 26662
| "odoc_search.js" | "/odoc_search.js" -> Some 2158
| _ -> None