+1 -1

.ocamlformat-ignore

··· 6 6 src/loader/doc_attr.ml 7 7 src/loader/*.cppo.ml 8 8 src/model/*.cppo.ml 9 9 - src/vendor/*.ml 9 9 + src/html_support_files/*.ml 10 10 test/xref2/lib/*

+6 -16

src/odoc/dune

··· 5 5 compiler-libs.common 6 6 fpath 7 7 odoc_html 8 8 - odoc_manpage 8 8 + odoc_html_support_files 9 9 odoc_latex 10 10 - odoc_vendor 11 10 odoc_loader 11 11 + odoc_manpage 12 12 odoc_model 13 13 odoc_xref2 14 14 tyxml ··· 19 19 (documentation 20 20 (package odoc)) 21 21 22 22 - (rule 23 23 - (targets css_file.ml) 24 24 - (deps 25 25 - (:css etc/odoc.css)) 26 26 - (action 27 27 - (with-stdout-to 28 28 - %{targets} 29 29 - (progn 30 30 - (echo "let content = {css|") 31 31 - (cat %{css}) 32 32 - (echo "|css}"))))) 33 33 - 34 22 ; Install theme files for odig. 35 23 36 24 (install 37 25 (package odoc) 38 26 (section share) 39 27 (files 40 40 - (etc/odoc.css as odoc-theme/default/odoc.css) 41 41 - (../vendor/highlight.pack.js as odoc-theme/default/highlight.pack.js))) 28 28 + (../html_support_files/odoc.css as odoc-theme/default/odoc.css) 29 29 + (../html_support_files/highlight.pack.js 30 30 + as 31 31 + odoc-theme/default/highlight.pack.js)))

src/odoc/etc/odoc.css src/html_support_files/odoc.css

+8 -5

src/odoc/support_files.ml

··· 1 1 + let should_include ~without_theme file = 2 2 + if without_theme then match file with "odoc.css" -> false | _ -> true 3 3 + else true 4 4 + 1 5 let iter_files f ?(without_theme = false) output_directory = 2 6 let file name content = 3 7 let name = Fs.File.create ~directory:output_directory ~name in 4 8 f name content 5 9 in 6 6 - if not without_theme then file "odoc.css" Css_file.content; 7 7 - let files = Odoc_vendor.file_list in 10 10 + let files = Odoc_html_support_files.file_list in 8 11 List.iter 9 12 (fun f -> 10 10 - match Odoc_vendor.read f with 11 11 - | Some content -> file f content 12 12 - | None -> ()) 13 13 + match Odoc_html_support_files.read f with 14 14 + | Some content when should_include ~without_theme f -> file f content 15 15 + | _ -> ()) 13 16 files 14 17 15 18 let write =

src/vendor/LICENSE src/html_support_files/LICENSE

+5 -5

src/vendor/dune src/html_support_files/dune

··· 1 1 - ; Support files for the generated HTML. See the LICENSE file for the licence 2 2 - ; informations of the vendored projects. 1 1 + ; Support files for the generated HTML. See the LICENSE file for the licences 2 2 + ; of the vendored projects. 3 3 4 4 (rule 5 5 (alias runtest) 6 6 (enabled_if 7 7 (> %{ocaml_version} 4.08)) 8 8 (deps 9 9 - (:x odoc_vendor.ml) 9 9 + (:x odoc_html_support_files.ml) 10 10 (glob_files *.js) 11 11 (glob_files *.css) 12 12 (glob_files_rec *.woff2)) ··· 19 19 (diff? %{x} %{x}.corrected)))) 20 20 21 21 (library 22 22 - (name odoc_vendor) 23 23 - (public_name odoc.vendor) 22 22 + (name odoc_html_support_files) 23 23 + (public_name odoc.html_support_files) 24 24 (wrapped false))

src/vendor/fonts/KaTeX_AMS-Regular.woff2 src/html_support_files/fonts/KaTeX_AMS-Regular.woff2

src/vendor/fonts/KaTeX_Caligraphic-Bold.woff2 src/html_support_files/fonts/KaTeX_Caligraphic-Bold.woff2

src/vendor/fonts/KaTeX_Caligraphic-Regular.woff2 src/html_support_files/fonts/KaTeX_Caligraphic-Regular.woff2

src/vendor/fonts/KaTeX_Fraktur-Bold.woff2 src/html_support_files/fonts/KaTeX_Fraktur-Bold.woff2

src/vendor/fonts/KaTeX_Fraktur-Regular.woff2 src/html_support_files/fonts/KaTeX_Fraktur-Regular.woff2

src/vendor/fonts/KaTeX_Main-Bold.woff2 src/html_support_files/fonts/KaTeX_Main-Bold.woff2

src/vendor/fonts/KaTeX_Main-BoldItalic.woff2 src/html_support_files/fonts/KaTeX_Main-BoldItalic.woff2

src/vendor/fonts/KaTeX_Main-Italic.woff2 src/html_support_files/fonts/KaTeX_Main-Italic.woff2

src/vendor/fonts/KaTeX_Main-Regular.woff2 src/html_support_files/fonts/KaTeX_Main-Regular.woff2

src/vendor/fonts/KaTeX_Math-BoldItalic.woff2 src/html_support_files/fonts/KaTeX_Math-BoldItalic.woff2

src/vendor/fonts/KaTeX_Math-Italic.woff2 src/html_support_files/fonts/KaTeX_Math-Italic.woff2

src/vendor/fonts/KaTeX_SansSerif-Bold.woff2 src/html_support_files/fonts/KaTeX_SansSerif-Bold.woff2

src/vendor/fonts/KaTeX_SansSerif-Italic.woff2 src/html_support_files/fonts/KaTeX_SansSerif-Italic.woff2

src/vendor/fonts/KaTeX_SansSerif-Regular.woff2 src/html_support_files/fonts/KaTeX_SansSerif-Regular.woff2

src/vendor/fonts/KaTeX_Script-Regular.woff2 src/html_support_files/fonts/KaTeX_Script-Regular.woff2

src/vendor/fonts/KaTeX_Size1-Regular.woff2 src/html_support_files/fonts/KaTeX_Size1-Regular.woff2

src/vendor/fonts/KaTeX_Size2-Regular.woff2 src/html_support_files/fonts/KaTeX_Size2-Regular.woff2

src/vendor/fonts/KaTeX_Size3-Regular.woff2 src/html_support_files/fonts/KaTeX_Size3-Regular.woff2

src/vendor/fonts/KaTeX_Size4-Regular.woff2 src/html_support_files/fonts/KaTeX_Size4-Regular.woff2

src/vendor/fonts/KaTeX_Typewriter-Regular.woff2 src/html_support_files/fonts/KaTeX_Typewriter-Regular.woff2

src/vendor/highlight.pack.js src/html_support_files/highlight.pack.js

src/vendor/katex.min.css src/html_support_files/katex.min.css

src/vendor/katex.min.js src/html_support_files/katex.min.js

+12 -1

src/vendor/odoc_vendor.ml src/html_support_files/odoc_html_support_files.ml

··· 46 46 47 47 let d_23f18044ca054da68359124a0e246b96 = "x\138\135\011\212z\199\183\220\149Y}w/\r@\252\019\012N4\239\132Z\206JC\179\183\228\133\137g\202d\232i\151\197\2347v\231\149.\132\157?\235\141\025\231\241\133_J\006\007\237\173\249\148\244\190&\2013\189\157\229\015\244\144\238\173\232q\020\136\130W\229\202\213\1613\012\025\139\218\175\186\241\156.\t\200\127\218V}\153\139\162\184\128d\180\197\205\\:\221 \180\191\224\002\023\237l/\159\237\025\231\197g\237v\\\143\139o\01627\231tq\155\019\235n\012\171^k\249\227:0\218\128\149\171\133\012\019\255k\181\157\174$Z\129\025\149\003A\223\218\156'\248J\143\243\029\225\245'\133\153\179\027\229\011\179J\155:}\174\b\011\194\023\154\166\147\019\2315\144p\178V\189l~\160\166\004\023f\181\176\030\014o?u\213m\015\153\027\194\234\203\225G\029\223\017\016\006BYK \130k\183\\!\\lv\156\235\164u\138\152<qa\170\246\235\226+\167\204\0264k\173'\026\190\002:*\185\213]t\227V\1679`\213\231\t\190]\225\012J\237\220A\233\250<\021:\177\224\252\006\161;\179ql3\237\015wU\127\234F\149\248\128O\195s\023\169\147.;\128\191\141\019\219\178l\195\136\178C\241D^HZ\245\249H\177,\\\t\015\2132\028y5\175F\002!\205\t\150r\007,.\0238#:\016hY<\131\246Q\028'\031\025\146T\154\152>\189\244|\201\137\140\224\237\222\144\208\129\180a\221&B\207\183y\249\214\198?6\236\210c\019\252\209B4\162\226|Fe\228\003\252\171\188\135\199\163\129G\012U\152`SA\148M\192\t)\138Y\254LF\242\242\b\146\171s\012\ro\20811#\179\220;DPO]:\td\180\162\"\207\019\192\213\2050\016Xr\150F\225H^a\228\172\138\140\t@eAo\147\006&.\2112\020\175j\147:\228\n\176\151Lp\217]\022Gb\227~\147\242\254E\241G\017\191)\158H\225\136*\133{\145\2491\248x\201\224=\150\139\253\"5}\235\224K\n_\214^\152\208\151s\193G\186?\029^\198\146\019\021\015*|\242\250\233\153\020\185\166\191$e/\231\146}\212\245\169|\171\251E\216a/.\236\239@\173\207$\220\164m9\169L\241\138\n\015\252\255\016uJq\018\205\247\156ST\2101\171*\145O\171\182\023\244\019i\204t\024\156\130\213\170\168\017\145\016\169\236\" \227\nj\221F\185\1966\247\131r\"\180\183\210Y\189Bq\176Y\003\133\216y\130\208X0\187\186&\159k\026K+i\015HC{\173\251y&bn:\157\193\254K\200\019\228\141\137\022\165\183\180\163\142W\024>\206q\247\022 \251\161rV\176;\150>\225\147!y\177\249*\197\191\169\215\202\1281\0161b\127\250\017\233c G\220R\184\200\157\233,\188F\192\208)\140i\194\029}\181\253\251\0144\134\252<\187\209d|\1354\241\000\1611dY\211)\250-5\235\241*\001i\253\006\133\238r\146A\136`\002\161KiP(}\202\172\006\201\t%\136%\161k\023\241\002d\239K\254g\003\000_bJ\155\000\217\1666\128\005\145\214`\192f\165\127]*\238\152\248'\018\\\227*\015\245\129Rj\142\207y-]\2363\249\012\181\130\240F\194\253(\r\190+\206\241\222\232\141\192\187\159\1445\169\240\016\224\141\150\246\215\222\198>\210\030<\192\030\004\199t\186\150\173\173\187+_k\"p\137\161\176\156\249\024\227\139\254\160\229\132\025\214\131\017\1461%\174R\021\002@\216\245\192\145\006ay!\168\232\250\148\172\141\141\175\246G\b\204\169L\183-Z\209\235\217\237\252xv\";\162\129e\202\031H\0153vB7\136\178\143t\018\143\202\203\027eh\156\196\029\137\179.\2427\164\024\132\031A\218\252\144?\156\129%c\174\247\211\135\015\229\165\211\196\146=\235\144\225\r\196\b\174\182\164\239U\bJ\191B\198-B[9\1474\1395`\197\180;{2c6\153\230\179x\"\193E\199\bd\027\134v\186O\153\019\199\203\1711\006\236\175\159\168\157\211\217\250\219ad\161\024k\127\233\151\225m\243/\218\149\127sB\b\138L\252\157\191\162\253-\163\189\241K\127\163\236\2018\172\028T\199\245\176\240\153\185\216\250\149\1911~8h[QR\252\027\146z\133\180\139\147\220\214j\223\255\205?\165\127\203\001qb\189\240-9\017\207]\153\246\196\255\210\237\220\151\131/\180\193\002E\253B\1824\194\012\189t\021\164\243\211-GK\193\tOx\011\218\165\211?\174\023\229?\168\218\005\022\225G@#6\254*&,OU\1695\253\018\190,]\149\026&\003\198u\245GN#\019\000\014K\204N\028\203\230\210\210 j\199^\239]\177\206\24807\148Y\134\1893\155}\205\r1\027\217\237\181\235\170\244\018W@\178F\218\164\245U\164\027\153\185\171z\202d\021/\031]\241`f|\233\223\159/f\007\134y\143{\247\2472<\152\253\242H\024@x\243\161X\014Nx>\030\222\135\127\194\151\007\030_\156\253E\152\n\020kp6\166\154\229@nq\174>Sc\030\r1\192\223\154\209\189\164\249\r\206t-\135\n\234\1353\217\018\159\167o\240\172f\252\163\134xB\229\026\147\026\254\2317\179\167\156\161\021\149\194g\146!\021\240\183\214U\155\1401\127\196\156\194\176\175d\209\199\154\188\148\169\006\229{\197}\005\219\n\167;vZ\160\030T\236xjD\254\179\164\239)\213\191~A>\188\0282\202\161\152\216\177\157\192NS\\l1ppp\159\200R\004\030E\238\133|\"H\171\217\184\129\173$\138\206W\194\231\154^\144[\150\192}\193%\193\167g\149\253\182\135\148\155\203\209\198q{8\169U}9\018|R!\169\161\239\bm\162\185\224\196\163\235\006\255\153\030w\011'\215\228\029\169\148\1518\167\173\240\236\206$oq\142\239\128e\215\011y\231b\027\028\157\170W\005\1961+\212\236\147.\011\201\194N\157S\240\129\251_A\232\143\248?M\173U\188\234gFo\130\217`\227MS\2268K\213\207\205k\230\151\024H\253\028\"\182\003\245\228n\031\184\0264\208\157o\253\220\250\149\170\187\221\254\b\243(\031\0234\199\209\203\241,\127\137!E\216\220\254K*\240XNS\143\131\143+\247\177\224`\210]\203\140k\227@\173V\248\128\174w\213\239\163\015\145\130\232\186T\163c+L\215\227\021\129\196\183s\164\\G\229C\028\2285\148*\175\205\206\250\167\248\219\215\135\211\198\246\220\234WsB\251F\164\207\251\212\188\214\216/5+\249E\197\188o\140c\197)\197`\002\127\247x\216\240K\"\137F\172\249\025\233Z\179\234{Lr~\165r\197\175\023\1664\178\128\153\152\250\166\188td\tG\243VH0h\194\192\182j\190\148\138\003\197R\"\007\252\177t\000u\016QD\173\031\017\159\206\237\131\250\132\191%0\219\234\"<\220W\215\021\1509f\244Uke2/9J\234\197\0309\238\221V\187\226\026{i\012\206h\"\186!6NWRzz\225lw\218=3\023\018\149<\029\133N:\206\157\174\203*\203i\175V=\n\2266\003\145lQ\144\012N\185\189<\222tjI&\178\158\161\163\022\178\182\137\250\178\225\229\149\019A\191\151\147\007\240X\216\134\166\217?kA\209@\227 \237O\131*\138\230I\188E\254.\220\242f\011q\167>\158\185;\162\130\198\218\002o\218\0117\181.\197[,\176\187\198\207\143z\131\170\0020^\2552\223\142\011\247(\194ix\165\153\247\177CJ\137\1528\146\021\127\001\183\158\231\229\194\161D\161\165a\002U\246\129\012\218\030\"\182#\244\178$/\192\175\242dr$\2060\242,2\197\204\223\r(\244\246ytp\130{\bt\141W\143\134\179\155,T}uS\251]\007:\170\194\178\004GI>\131W\000\158\250\168\137\208e\235G\181\134\152_\024\244\2493\006\251\218An\020\160\183\226\029\224\161J\r\224X\180\233\015\148\164\011V\210\031\216\2327p\246\149\232\206\020\177\176#d\005b{5\142\241\172\178\241=zfK\131P\149\002I[\015EVX&$+\195W\n\227\024\132{\148\134n\173\tv\178t0kSc\133$m\2495b\006\140\203D\244>ye\017|\195\128\201!\156\142\235\205/\162\028~\1966\025\134\016\012\228\006\249\202\152^\196\014;\143\132 e'\023EAM\156,8\b \018f\224\212l\245\030\226Zjy\223\244\162\027\189\004*\242U\028\255P\147nk_\192\201\2485|\166\0306-.o\185\177_^\224\031\128\r\253\137\210={\209\241\167\248\030\173\238\152\014\020v\202\232r\197\181%0\133\029\211\142\193\006-&\142\197b\219\000\166b\171\229?\004\168~L\251\159\162J\178_W\233b\178\226\165C\162\242\244\164\003\180\217\015\200\200\193\127\249y\162(\b\026\018\t\003\238kZg;\229\193y\006\151A\203!\192e\165\160\145\199\245~\148\012x\014\190\149\011\247\247\129&\148\211\194\011Y\027\178F\214\132\174\22909,]\230\031peUHm@O\224`\148\151\203D\153\141\028\203\202u\002\030V\\\015\234\147!~\026\223\242\029\226\128N\200C\139\215\1285\201\193\171V\203\160\130\207\2242(9\164\129yE\184\150^1\186\210\014\232\027\\\212(\195$i\157D\252Z-\153\011\217\214\152\205\161\151(PG;\161\004\211\216\185\201f[\205\138\020\017!\026\143\"\r\011\234eX\165\006\147\023\201\184\181\023\196\162\241\252\001\1605\255\250\024\185\154\205\168\243\146\211\137\172\177\246X\167\167\012\130\167\r.\139^Y\227\148[\183v\149c\014\222\130\150\239d\229\229\187\254u.\030\185\011\147\011\182\241h\003\149\254:W\186t\006\130Hp[\224XQ\200a\169y>\175\198\1477o\tnv'W\178\180\194%\246\188\1758L\192$\242y\250\231\230n\134DB\225\173\153t\134\b\226\239\214\214\221%\139\165}\007\178\244\209\t\243V\203\186\152\252M\218A}\007\181\191\244\152\239g\170\n\011}\253\030\022\228\220\1319\200(\133\029l\138Pe\243\242m\186\180Pgc\203\236\150\173im\255[q\234\207M\249\199\017\188\226\255u\012&<\143\191)\136\146P\006J\168\004\156H\020\183\020\165\226\213\021\145\205\147\2491\030\167\215\242\159/3d\236\168!:\254\198c\229\239\190\204\161\242W\132>\153\219\255+r~\230H\n\177\133\153\179\015\020X\146\027b\154P\235M\154#Q\136\bJ\236\137\223\"\164-\015Y\155\245\017\252\\R8\1454\159\206H\179\1553\184\248N\025\206\230\200O\022cg\191>\158\185\241~\252\254\253%'\229\028vY\202\226\187\156Akt\020b\255\014\1345\b\161\241\204,*\218*\254\160w\248\229F\182\015\139\244\217\231\161\245\019\016\183k\243\210\151\207a>\136L\195\167\161|^\003\212\146\171m\167\bn\240%\141KB\161\165\161\205\254\252/\249\212jmK.\196k\224\163\127\241\248O\177.is?E\166=\157<~\007ofoZ\190Y\153\001\251\246\206\240\134\130\0248\012\130\006\030_`t\192\223_\136\195\173\254Q\029\210\255\1791)\199\199\176\225\012\t\025y\200Z\165}8\149(\200\143\132\b:!_\253%\194\216\215\170mE\028n\233\130\187\026j\244\162w\197~\1403\003lY\245\019d\238\147!\140\169\164S\014n\187\244\181\255\000\202\1483\253D\132}\bu=K\221z\212\135\247qZ\220\006\133%\190k\234x\248^q\131\003]\024^\226\1389\169\239h\\\149\026\248A4\197\004zu[\150T\208\002bw\254\005y)\192!^\200\r\164|\233J\2111\241\161\159\127\134[\237\\\156\187*=\238\000K\144\136\201\229\1958r\231?\213\172RS\191\220G\245u\190'Bou\158\254\230%\163idV\031~<-\177Y\191\225\194\22468V\t\225D\204\2473\136xD\236\003\163U\213m\029?\255\206\219!I\178\167%c\206\199D\133\241W$\251ws{n\182\1873\233O1\218:\164\253:\155\151M\211\b\242Q\219pf]\155^_\023\023\240y\198\231*Mw'\241\244\253 CPwB\188\250\026\153\019\152\227\198\208\169/\201/\246\192I\001\142\152\176\223C\003O+c\002\206\200\021\179\b\006\015O\162L\188\181L\140\031\190w\248\158\204\165!2\017\177\214\168\194n\221*\194\139\202\138\240O\238\241\199O\219K\022\000\202\2247\242\173\242X\153\204\212\146\016\253\240\220!^\144\138&Xv6W\238\156j\024b\t\211\208\217\018\144\171\227\024UV\031wv\166\239o\185\213|\206\218\140\178n\142\194\223\183\026JH\224\000\023\2319^\219\215Z\225\153h\2370\213\234\185k\132\178YdS\250\003A\1689\132\253yi\176H\161L8\188N\217\155P\246\127f\172\175\153\173u\250\167.N*\142so\157\024{u\152\014\253D\242Jr{\132r\155\204\127R\022\nn\152\003\196G\174\255\214\191,\005\164wt\198\233\255\174\237\001v\019e\158\200\026\148l\nm\151w\236|f\145\2203\n\242j9\006\020'\194r\002,\149\018\168+\166\b\020.\t\154\128V\136D(o\207\201u\2256Jo80\019\249?!\149!\222\178\024}\232\158\028\234\195\175\149b\253\197\215V\236\255$\165$\022\179\179\028\203\220\021\005=\201\177\155\149\178\213-\014u\231\148-\198\029Nk_\019\159\145\143\181\202S\183\002\129\239X\151U\205\\\143;B#T\0140]\002#y\159&'f\164\208\142%\206\202\195\132\017\187\134\136\1390\200\234\216\1776\2080[\1550\220S\149\236\201\012m\221 T\239\250\214y\127\131\251\183l[\137)UZ$\147t\203B\000\171-2e\239\011\212\185\158]-\015\205\202iXx>\176\252\175\178\253\020\135\217\012+u\153\028uP\248\185\212v\186}v~n\255B\197\026|\1664G\165\234:^\191J\219\242\144\012\017 \200\\\175\200c\188n\132\225ZF\000E{-\158\001\152\020\2436\203v\197\b\1319\018e\222n\216\002\185\190\212\0031<b\170\181\001k\197\2025\216\160y\004\201\207h\196\248q\134\250\250\027\167\225\143?o\224\243\ne\195z\"T\023S\150\187\153\028&'\137\187\233B\153kzQ\194\184U\191UY\207`rX\253+c\162F\152\140\017\133e\187i\027\178\247\231\228:\025\151\255nc\172c\r\255\199p\189!\176\245\241\158a\152D\2471j1\158\214\232+gZ\184\206\020\211\162\b\0176w\225\027\185\194,@\000\231\139`\169\236\194\003\227\239@\149\250\007\202;\175\2263\027_\2227\217\181\179\209\191\236\199\184\245\199wO\173\026\012_\021\016\160\221_\204;\251\178\233\149\253Wg\216\227\254>b){\205\169\2331\1700\230\157\213\172#\187Y+\201\001\133\137\221\179\026v\2181\160\003P^\201k\186\242\206\026\166\155\236\151\251z\178s\153` \143\029f\243cqmh\255\016\\\182J\217\143\235\014e\152\170\223\153\146&\140R\130\230zjo" 48 48 49 49 + let d_26273b7b4624e2875c9e14c7cb14c111 = "e;\n border-spacing: 0;\n}\n\n*, *:before, *:after {\n box-sizing: border-box;\n}\n\nhtml {\n font-size: 15px;\n}\n\nbody {\n text-align: left;\n background: #FFFFFF;\n color: var(--color);\n background-color: var(--main-background);\n}\n\nbody {\n max-width: 100ex;\n margin-left: calc(10vw + 20ex);\n margin-right: 4ex;\n margin-top: 20px;\n margin-bottom: 50px;\n font-family: \"Noticia Text\", Georgia, serif;\n line-height: 1.5;\n}\n\nheader {\n margin-bottom: 30px;\n}\n\nnav {\n font-family: \"Fira Sans\", Helvetica, Arial, sans-serif;\n}\n\n/* Basic markup elements */\n\nb, strong {\n font-weight: bold;\n}\n\ni {\n font-style: italic;\n}\n\nem, i em.odd{\n font-style: italic;\n}\n\nem.odd, i em {\n font-style: normal;\n}\n\nsup {\n vertical-align: super;\n}\n\nsub {\n vertical-align: sub;\n}\n\nsup, sub {\n font-size: 12px;\n line-height: 0;\n margin-left: 0.2ex;\n}\n\nul, ol {\n list-style-position: outside\n}\n\nul>li {\n margin-left: 22px;\n}\n\nol>li {\n margin-left: 27.2px;\n}\n\nli>*:first-child {\n margin-top: 0\n}\n\n/* Text alignements, this should be forbidden. */\n\n.left {\n text-align: left;\n}\n\n.right {\n text-align: right;\n}\n\n.center {\n text-align: center;\n}\n\n/* Links and anchors */\n\na {\n text-decoration: none;\n color: var(--link-color);\n}\n\na:hover {\n box-shadow: 0 1px 0 0 var(--link-color);\n}\n\n/* Linked highlight */\n*:target {\n background-color: var(--target-background) !important;\n box-shadow: 0 0px 0 1px var(--target-shadow) !important;\n border-radius: 1px;\n}\n\n*:hover > a.anchor {\n visibility: visible;\n}\n\na.anchor:before {\n content: \"#\";\n}\n\na.anchor:hover {\n box-shadow: none;\n text-decoration: none;\n color: var(--anchor-hover);\n}\n\na.anchor {\n visibility: hidden;\n position: absolute;\n /* top: 0px; */\n /* margin-left: -3ex; */\n margin-left: -1.3em;\n font-weight: normal;\n font-style: normal;\n padding-right: 0.4em;\n padding-left: 0.4em;\n /* To remain selectable */\n color: var(--anchor-color);\n}\n\n.spec > a.anchor {\n margin-left: -2.3em;\n padding-right: 0.9em;\n}\n\n.xref-unresolved {\n color: #2C94BD;\n}\n.xref-unresolved:hover {\n box-shadow: 0 1px 0 0 var(--xref-shadow);\n}\n\n/* Section and document divisions.\n Until at least 4.03 many of the modules of the stdlib start at .h7,\n we restart the sequence there like h2 */\n\nh1, h2, h3, h4, h5, h6, .h7, .h8, .h9, .h10 {\n font-family: \"Fira Sans\", Helvetica, Arial, sans-serif;\n font-weight: 400;\n padding-top: 0.1em;\n line-height: 1.2;\n overflow-wrap: break-word;\n}\n\nh1 {\n font-weight: 500;\n font-size: 2.441em;\n}\n\nh1 {\n font-weight: 500;\n font-size: 1.953em;\n box-shadow: 0 1px 0 0 var(--header-shadow);\n}\n\nh2 {\n font-size: 1.563em;\n}\n\nh3 {\n font-size: 1.25em;\n}\n\nsmall, .font_small {\n font-size: 0.8em;\n}\n\nh1 code, h1 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh2 code, h2 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh3 code, h3 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh3 code, h3 tt {\n font-size: inherit;\n font-weight: inherit;\n}\n\nh4 {\n font-size: 1.12em;\n}\n\n/* Comment delimiters, hidden but accessible to screen readers and \n selected for copy/pasting */\n\n/* Taken from bootstrap */\n/* See also https://stackoverflow.com/a/27769435/4220738 */\n.comment-delim {\n position: absolute;\n width: 1px;\n height: 1px;\n padding: 0;\n margin: -1px;\n overflow: hidden;\n clip: rect(0, 0, 0, 0);\n white-space: nowrap;\n border: 0;\n}\n\n/* Preformatted and code */\n\ntt, code, pre {\n font-family: \"Fira Mono\", courier;\n font-weight: 400;\n}\n\npre {\n padding: 0.1em;\n border: 1px solid var(--pre-border-color);\n border-radius: 5px;\n overflow-x: auto;\n}\n\np code,\nli 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 {\n color: var(--link-color);\n}\n\ncode {\n white-space: pre-wrap;\n}\n\n/* Code blocks (e.g. Examples) */\n\npre 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(--sp" 50 50 + 49 51 let d_2a97d5e4df362b2779e0824fb8c2c024 = "c\130\143~[\007;\175\012Z\218\175=\t\023\248\182\251wT8}\177\229\219\2314\245\157\188\017n n\191\140\170\171FVH\150r\224\231\152jC\137\012\246\238\234\227\231\173\149\172g[\017\200[\159\183\174\227y\194U\242\177\t\141\230R\210\160\232\002Z\221\243\243\207\b\243\250\127\202\2491\251f\015h\204b\187\209\159\232\018\177\243\239\129\031\147\201\180s\247\218\166M\029M\029\"!\173\022\253OK&\017Ft~\131z\222\024\2529x\134\246?j\146l\158\180I6i\015\228\029\212%\147\132m\165<dN\152\0180\252\193\171w\194\250`o\152s\231-\162\"\212\243\215\159\136\233\003\232\253\024\134|\220J\148<\235\140W\135|U8\003+|<{\b\181\162q\141\179\161R\152y\211Z\144\227\222pN\027\200\029\196\249\129\000\219\220\153\2255;\138]\016P#p\147\253\167\225x\206\030Y\161\179\240y\254\0298\202\186\144a\207|\144\178\171-\152\210\023\163\202\\\bw\238\170+h\016d\130\186\166r\022\153\182<\158t{\235\252\127\245\193v\0012\026\146\193\131\208N5\137\140U\235z\153~\201\230@\1559\156YH\t\029\158}\219\233\030:\187l\175\191\241\183\207 \027\184\216\029\138W\005\172\139\149\1934\205\157\207\012\006\179\249\180h\160\224*\242\251\157\174\215e\127\251Q}G\130\226\199\137\215\138$\155R\152\241\163}\003\147\231\154\174\0188\234\184\220\190|1\159D\237Z|\182)\190\190\137`\254b$\140\028\199[\165\253\194\001\193\000$\190[\163\1669\174\213\199\025\222V\202\169aH\246\000l\226\204\231\\A}\1667\209V\149p\165\134\004&2m\219\029\202I\169Q\006\r\207\151-\023F\226\134\156\155\194\007\ns6\127\170{\155\210\014ad\024 \133\028Md\020@Cp\0271]_\211\177\024[b\189\194\129\172\016\006W<\011\130\007C\247\189WR\002\229c&\204jC 2\012Q+\177\228\190\167\132\146\189o\214z\150\027\021\238\255\020\016\002\014\250\215\253\133\146\130\227<\014\184\248\171\150\221\249\016\244\002\158\140!\1668{\187\028\244N\190\222\006\216\0288mK\250@\028(\230\178\218JVE\234Vj\252_9-\1791&\003\187o\237\\\000\203\029,\187\236\154\148\147/j\221\173t\020I\205RcE\168\1585\2344\203W\189p\208\217\186\211+\210\152ZdG\203\178\184\247\242h\251\029\0211\218\246o\254}N\178I\188\220A\248|=\233\139!2l|J4\135\225\136W\134F2\217\001\188\166\bG\237hY9\159\184\207\ty\221\016\r\160\199\004\254j\212\138\210\151\240\154\021\167LO\028\178\218\160\191m\135\237s\147\242\246\194V\136\134\255\227\191\232\243>\029\019\152w.\192\017\015\239O*s\223\028%\205&(\019]/\163\241\021L\015\211\171\213&\172+\150\196\218\206\195w\159\217>>\148\182;@Wc\166\241>E\168v\r v\182\005S\214V\138\139\219}!\016\001\b:\238Cz\2210\150C\" TX\214De\234\242\145\023\151A\132\000l|g\203\r\153\n\2334\181k\255\130\rQ\015\2223\170\158\181\145:Y\191%\252F\139v\247\212\2150\229\174\201\148\147\204\161\176\198\191\rt\214\141\156:]/7\151\025\243\214\199\243E\153\237rk\1711`t\024\028\020t\207\\hv%\138\219\024\219\253\186XuZ\2293t\212\171\229\2340\007\003\198\143\144\209\128\029<\232o.\186\031\182\142\248^\230\024\219\248C\162\001u\212\230\026\156\023\213\166)9O\b\214N!\131\017\026nech\226\145\230\156\002:\247\t\137&^V\175\012-\175\011\029\248\147\175;}+\175\182M\190\135\022\1691\\\136\215t\149\212\235\236\211\2472\221\148\239\231O7k\015\163\003\136\162G\163i\2201T/R\139\198\133#\028T\\\140\212\127\236\233\180\227\184\158\200FD\127h\186\215\029\173R\158\134\146\b\132.W\212\171\248\157\163\224\235\175\029\2074>\194N\191\169q(<\029\154F\193\216\184 /\128\173\185+R\027je\230\220\191jm\179SQxT@'~q\235\159\183\186\240\215\230\241,\130\202\164(\156c\252\004\161\194\0024\145)\026\029\029\011\183k\181\232\133i\183;<\208\187 \020\208\188jdZ\136\163T\141\172\136I\018\171/)\143\195r\253\1294\133}\143\210\228+\222\142\213j\0164\026<\238_\024\227\208\140\207\204!.\144<\151Q;\138\023\252\229\206\017\021\030\228{\139\139!Xvk\234]\147\141\216\137#\245\025\012kC\156\028\214\249\132\172\022Q`\206\n\235\200t\237\018n\019Y\240M}\190\018\003\130s\218\246c\190M\173v\189\030Z\186k\230\143\221\146YI\163\164%5\228*-\025\006\196\014\211\236\166\131m\029\196\135?\255Q\221m\b\192^]H\031\226\204\015\134\186\215\193\151\159C\027\223WZ\217\134dq3\132\205\011|\241\230\238\233\233\127\215\205\029#\134o\"\163\017\199\173\217\242\195D\179\128#\175F\021C\202\128&\158X\255@+\180\193K\206\129?Lt\001\151\244S,\006\169\017h2\255-g\015\238\178D\201\130a\225P\241\187\196\212\029\221\151/C\228\245\213\214.\005\203\016\211\141\163{\239E-\246\161\153\175\191>\t&\161\140\168\248+\127}\024\127\212\029\177L\02938/\173\254rwA\001\002\024\\\177\247\236\185l\138\201{\253/\226#?\191\029u\161}\251 \234z\004\131\220\020@]\b\234\0039{\128\1532\155\169\222%\151N\166j\197\142\199\187\242\132\159d\255\141/\150\182\230J\2058\007-T\203)\157\015\194\215o>j\139\135\185oN>n\136\018\199o\198\250!\137G\239\t\239\215\139\230\239\253\004\2309\176\141+/R\231\172\217\154\131\166\190\181\249\245\197\152\023\141\178\011\028\230\184)A\220,\002\019\243\224\213+\208l[}\025\\-[\216\168\203\147\238K\198\019\145\240\244\143\196\183'\022\183\235\227\2188\007\022\020\232}\197~\162\247\239\154\250x\rSF\011\227\244\242#_\b\011\253\021\171\n\235\240\127\127\246\186\137\151\156\007\183'\167\003B|\160\232\001\171h1\228+\"\207,\n\025\012pb\186$\017\014\160W\234\223\166R\146\016n=\205F{~\017\030sw\223\005\150\205\224\160\001\130\157\252\166c\232\204e4o.\248\161F\133\tg\154\030\174\127D\167\127\212\023PP\150\t\022l=\176\160]\219\166\138.]V'sKj\213\177\181\220\202\249\255\197\202\255\204\237\\\185\175E\023Uo^)\215\169\196\014A\227\233\223B\195\203\202\242\026\155\203JKZ\195\133\003{\025}\156\156m\199n\237\191r\025zCO\015`Z\158j\228\180\170\031\199\194\167\016\180\151b.\206M\2061\242\130|\1372\135\128\213o\214,.\157\179\149\182\255\002q\174\005r\026\161T\138\192\134\005\210\220\188\163#\240>\152\205\244c\240\190\181\165\128\029G8\206\018\188\164(6W\230+\225\250\245\000\249h?3\179\232Y\136\237\161\024\237%\002\203Z1\129\223iqX\007\bG\159\253\238\127}\223\254\194FF\234l`y7\250\191\016\022\019\216x\231\237G\192}M\027\1556A\018n\203\158g1Cs\201\188\239\136\175\1809T\201#\226\220V\135D\181\242\152\245G\245\021\128\006\208\185P\015\179Y\214p\228\r\014Y\240\196\181G\2197\167wv;+\023\159\147w\170\210\140\155\254\162\202\128\175T\160'.\012\186\143\180\003d6#t\232\016\014\157S&\031C\235,k\200n\250\178\181\215%;\227\163\225\b\030\222a6CL\208\141\177Q\012\005\233}\241w\028b\245\131\226\240\2389\025V\222\022\184\205\207\234j\161\185p\142\242\250\146\177f*T\028\148\031\152^b\251>\023\201\028\208\227\001\139\132\230N>\173\001\002~/\004\206\206=\146\203\218c\147b\201\215\202\177\0234\200f\203\156\178\169Xaf\168`8$\149\153M@4&\217X\242O\006\131\236p\209C\166\207!\177\251\140s\140\211\198k+\\\162\254\245\241\171\2296\196\n@\226PG\245{\242m\225\176\219\215\195\234\228@~/@]\196\029?\186;B\001\193\021gVOBs\195l\205\029\206\238\175`\230\165\208?\136\147\128\2418\192 \"\161\160\164Q\228\157X\144\191\244\185S+h\163\188\142\149q\161g\163\180)2\250\136\197\169\127\231y|\138E\142\209\227\144U'D\255\160\149\005eW\184\220@\138\168\224>\224\225\1456\191\252\140\222R\168\216\236\151\133\247Q!)\149\179\239NsCNga\233\007\237\247~\192\">O\238\158u\190\251\227a8\221\004\031\196w\r,\217_\229\177\200\016YtW\139\021\002\154\219\1713]A-s\1895\213PW\206\199 \187\131\158N\248+\rj\169 \011\146\012\163\244\166\027<\1330tY@\131Dd@\145\135\137* \230f\137TL$A\133\140M@h\185Z$\225@D\0228\162\134\197\213,Bo\137\152\131q\tj{W\024\169\192\201\130\t\215\157e\022-\031`\185W\137\134\002&o\001\019\184x\216A\233\173/\0183{;\203\249\148^b\017\006\172\215\189\165Er\030]\191\162\132\162\157\005\012\168\020\226\218\005\\\148r\218p\168\002d4go\"|Zd\144J\232\184%\206DR\186Z&\208\208\165\198\150\175k\020l\tQ\134D\006&K\024\005\232\200\017\179q\153?\145\1505\180w\014\014P\210\172WZ92\186\161@\192\207u\216d\151b9\179\183V\205\1618-<\235\245\161L\186\177\134oW\228\210\012.\131\134\147{\011\025dX\202\0041F\224\14426\022\202\199\142-(\"\018{g%\006f\242I\208\144(\161\138T \242\144\168\195\029\028\135XdBN\160\166\183\144IA\186\128Cp\138$\144N\000v\155U\178\128S\221\190L\132\002 4\221\203\229\021(\225\210M1\022\1330\172x_\143f7\169\179\169\192\137\129*\2155R>\147\138a\018b\030\147+\152\241h\245a\167]F\018\195\234\169\133\\<\030G\204BL\000\243\2322Q\022:]\012\000\001X\189P?~\024\127u\006\171\234W\n\011\251\002\000\000\022\171\247>\228\174\243\255\1339\129\219\208\247\000\000\n@\000x\"\025\169\197\1605\228r\001\015\158\168\185d.\002\127\001K\232\132\017\240WVX\011F\224/`5\230\004\205\020\150e?\138~\003~(\004\015\192\213`\000\019\164G\246`40\172\145\2188\177R\210\154\t\145\253-\171\208\002\203\2525C\176\003n\165\145\016\251a\142\000FK\177o\129\179h7\152_@\030\210GB\203\192b\244\202X\168\t$Q9HF\150\160\199@2\147\230\136f@\215<\177R\208\140\r\129tA\146\246\001\152\023u\187pM6=\176\163\147\224(\186\000V\254\162\248 \150\224A\194\196c\222\129\186A)\148\003M\220\255\031\246\011x@c\182\015A5\"\129:x\031\168\2030\168\251\161E7\165\015\219\130\239A\bf\253\127@|\t\194Ca,\023\004\233\200\007\189D\145\181\000Lzc\151\001%\028\004\0259\177\021>\015\134\209i0L\025\\\213.\131\188\024{\0183*U?F\000r\224} #\225\214D\222\206\224\030'\180\131\207l\192[P\b^F\031\193\021\028.\204^\183\159\234\004Z\140\006&Q76\170E\228J\164T#g)\\\012OS\189\1970\246\005\176\236?\188\026\253\005r\193\234\227`\200b0\023\144FE\000\128l\176y\246\019\202\006\029,%R\205\129\129\011U\234v\b\024\006I\029\026\134\208=4\012\019\246\2200\156\190\236a$\174<\233\196\2440\1984\210\154K\202d\155\127\193f\027\181\192\028\131\250\r\152 S\164\155\134j\022&\164\151+n\137\025\226e<z\141\251\144\145\014\027P\134\189\164\155\016\189\194\130\209\0173\160\t\2440\179\1932R\231e\025v\232\2122z 2\203\002u\018l\140\182\152\161\129H\198)\235\141;\245\tF2\134\r\130\2303\219\197&b\148\244~\189\130\204\160\255\136T\1441f\020\231\141\231\195\146\211\024\142c\182ff\192Z%\153\151L\132:e\204\2374\219\128\127\004\007\155G&e\248\200\180\210\236\141=K\159c>\189\202\228J\196`\150L\214\006\204\164d\190\236\198\2455\169\161\217o\181\t\251\135\200\025\153\172\166\002\162\007}\210\160>]&a\015c%\243\200\204\030\178\189;\178LT\198\172\134\237Q|\020\2344\141\2163\199\153H\131\000\251\200\228\001\231\2002\162g\127\210^>\1438\153\219Y\0153\147)d\189,ZP\152\234\245F}j\bd\134\153\160\190\030G\135lPX\183|D&c^\"\131:\"\176\011OUC\1962\194\186S|\b\021\189\002m\127! \163\133\024\145>\174\027\005\146\201D!\134\1329\189\208\207\254F\245|\194\190\n\178\180\163\255\175d1e\241\207\159\188\127\129\250\206\133\130\138&\011\029\003\019\011\027\007\023\015\159\128\144H\182\028\185\196\242HH\201((\169\168\021(TDCKG\175\152\129\145\137\0183\011+\155\018v\165\202\148\171P\169J\181\026\014\016\130\017\020\195\t\146\162\025\150\227\005Q\146\021U\211\r\211\178\029\127\200kVz\207\155a\138>\012omSr\203\180\183\189\031\185\163\179\171\187\167\183\209\215\031\225\146\203\174\185\238\138\171\005\147\231\142\012\154LN\147\219\213b-m\231.\223\218\025\239\"\2493\179fe\006\155\179\150\219H\141\003\189\019\025\"\172e\239\234\201\160\150A\020\027$5\012\246\027\155k\026\029\031\028\158=\130\197\006\0061\226\220\027\174\211Y\014\234n\128\167\018-\023!\220\146\186\000\191d\182\027\189\b\200.\204\179\"\154 ;\176\244\1338_K\203b\222G\157\237Ld\163\206\238\200\148&\146T\002\144\213\0078\198\028k\188\001\024\209bQ\137\135\189S:\030Zr\016\011E\193k\n\165x\166\161\166\020\230K\220R\238\t\166\253\187t\031\206\192K\249/$\249\198\148\172\218k8_]\250\245]\234\2143R<c\177\011\000" 50 52 51 53 let d_2bc7e606d36e3b91218e6d3f563cfdd1 = "wOF2\000\001\000\000\000\000/\184\000\014\000\000\000\000`(\000\000/_\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\130\012\bZ\t\156\012\017\b\n\129\138L\231S\0016\002$\003\131j\011\129x\000\004 \005\137\014\007\130o\012\1292\027\191Le\134\024l\028\000\223\192\222\027EY\"\221sD\245h`\217\255\127Y\224d\136\208~\015uS\027PaXb\241\177(\021\190(R\143x5\177\137\127Z\182l\132o\2108\197l\141\142\190\181lkP\182Pb\007Dq\016\030\199q\176\163Q~KZ\183\154\014\229\252\185w\195u,8\b\028J\0300\005\162}y\206\017\026\251$wx\218\230\191\011\142\163\226@J\142VA\228\000m\148\163\196\0061{:\163\167\139*\023\229\143\218/7uQ\127\251\153\219~\228\246\163\138\231\255\255\222\247\231\218\231\142\017j\216:\149\198\161\140`\186u\140&\1941+\021\164\n=\144\143\159/\207\147\183\239q\b\t\140\186\221H\223-L\027\0128\211v\249\159\186r7PT@\n<\229\135w\236\000\0298$\211!HA\233\236\219\162\190\162VW=\2498\254\255O\151\166IXcwZm\146\003\134\202\207E\181\224\187=\226\189\166\152\031w\255\199\221\204|\173\198@\210R\b@p\b\255WS\253_\185\253\031\223fvL gM\001\146\003\004\179;\134\131\154\170\1722\200-K-\011Bh\0120w\161\229s_\175@\201\015\222o\170\169\212\203v\210\167\214\b\016\148\011o\217\014?\1657\201\137\177'\203\024(h[;\173_\t@(b\254\162WK3:3\146|\186\187\143\001\0293\252\200# \006\236C\006h\212\187+m\146nw\228\160['i\229\184\231 \201\190\144\149\236\210\249\2529\162\016\162V\023u\0141\161\131\031#|\026\249S\211\231O\169\159\134\004\bz\194\223\132\253}k\1756s\023\156\016\175\011\160\139w\251\231\227dB\180\217\016\222%\172\000\240\249\024G\181\191\181U\128\178\207\199V\t\214\178\219r\181\144@\234+\012\151\026\162}\252\239\255\177\229s\211E\180\001'\210\242\137oq\183\183R\147\253\026c\201!b\197\140>\222m^\000\231b]\194\000\224\007>\006\128m\241\208\000\021\024|\014\193\157y\021\240\253X\190\249g\199Dn\131\029\192\139\156\215 d?\163\174\190\243\215<\176\243\006\001\000\250\1713\000 a\138\027!I\023\005z=\018\245GU\022\146\246\166R6\143z\205\150Xa\218\253f\2049\023\170\210\011\248B=W\239\212\251m_\142\178\203\179y>/\2294\247UJ*H\205\255\204\233\179\011\207\211(\224\243\231\127\171\222k{O\153\228\158J\2008R\253o\186\255?\190}\235\163\015\223\187xpW\127\207\240\255\154^\191{\234-J\158\251\238\186\227\150\155n\244\217\160\r\1701\220\169qU\\\237\017\176$\227f\255\213\171\014\014Ht\001\150\1640C\186\204\255\185m\248\\\226\181\188\211\255\230\250\254\011\163d\201\006\130J[;`\249\002\240\163\203\196\238~Y\186\015\153\240\226\167\136\149\207\132=\\\226\130\131\246N\014\148\214\004\181\004~\169\006\000\001\1917\025!\144\172\211\1400D\139\206\136\000\2531\178ukdJJ\b\239M\130\183J\147L\217O\152;G \215\b\179\012=\209\235\163\001\238:zC\221\226\129\174\137\031\248\219c\223\003\156qb\006I\146\164\011\tA\196\030\186A\150\224\193\016\026\135\004\tZ\164\237H&4\174\174B\015^\221 Z~\r\t\137\199\186\171\137\245V\019q\183\245\219V\198\171X\163\140\\\251\146wf\204x\159\146\241\226\144\138H\232\153\000\1947Z\"\014\217A\132\174\198`\138\184%\156\136-\249@&\235e\246;ICi\154w\159b\138\176\147\203\142\160\220\018\020u\148\180+* \241\137\241g\225B(]k\248\130!m\1731}p\132\130\005\233\145[D\202(\198ed\0005\136z\232A&3\249\2004C\220\140\210\186>Z3b\166\166\136\194J\204\185\1931\168\170*\209\225\185!\225Zwd\2044\172>\017\201\255\153q$\199\208D\180lZ\191\161\194\150\179\226\180\003\189w\022ee\019A\140\20622A\022'\003\128\199\024\225\177,3\002\130\229T\129\240|J\232\155\214h\179L1@\210x>\187\011T\218\242\158\213\240VW\004}u\220\019\027\003kS\252\181y\173A\1318\169 R\185\012\170\160\144TWD\221\163\142\134\134\222\208\012\168Fc:\201Cz\141\021\"\226E\181\234\127nx\180:\141\0150\200X\">(\019s\204[\023$\152\233]+\209\238\181\206(@\130\187\158\029-\145\140B\140\t\000\005\\\162\246\236\150\025G\2257\\\174\b]\133D\244\224\012\210+.Pi\143\134F\017=b\1392\205\"\233U\140\229\029\155\208\159\202=%o!G\001\146\140\219\180\203\219\231\186\210\163C2\184\020\t\136\203]Ql\027\017j\134\162p\234X\176\155$\184\192\194z\132v\004D|\145\147\2334\162\190\017\183`\200\136p\166\165\199\251\169\1706\004{\012w\021\235(`K\161\240$\210\140T6\227\215o\002\224\134T\132H\144;@)]n1\002\163\004\014\238X\138\205\160&\223\012yF\184\026\248\243\184\1891\016\141n\140\1401\218#\233\"\019jI\186l\229\214\201\225\019\151Q\134\004\136IF9\019\b\197\017\024)\b\130\148\004E*\194@j\130!\ra\162x\130#-a\141\177BloK\172.\239XAN\232#R\232\144kk(\1459\127\207\154\\bv\254=c$F\028\r\029\199\017j\167\231P\164\232\134u\152\196z\172\216\128\021\027\177b\019Vl\198\138-Xq\002V\156\136\021'a\141\218\129\002\172(%\2223\174\162\148\187R\142'eF\187\191\214s\128)\193\148\153\174\160\000\180\153\029iJ\152\145\164\158}\171\1724GN\254\204L\252Q\239m\133H\205\018#m\215\246\173\211Pu\153&\251\246\168\027\248$\245\232T\140\138\014z~\006\161\144#s\157\td'\224\174Q\245Mf\146;\017z>#i@\129V\246\016\129\159>A\025\211\145\223)2ft\139\016bW[?\019\t\022\2173\228\218 0D\138\237b\220\210Z+\001\246@!\238b\152\0252\018\180}\243u\198,\016\200(\031t\212\127\\\151\222\019W|\228pr\024\237\006\0201\227u\014\217A\228\167\211@\204\012\161\001\182\224I}\239\141=F\245:\169\172U\174+\157A\217j6\017\r\196!i<\205\145\161*{\164\227g\164<(}/d0\244\019\189\233A\161\236Q.-yU\0164\218\021i\194\140\018\178\217\204VA69\220\160G)K!IR\242\028!\195\131I\219\193 Z\004 .!V@\209$>\162\219\0029v\144\144\024\198(EH\138\153x\137'Hv\155\216\b\024\016\028\024\200\173\231\020\225\173L\131ST\216\028\133h\229;\151!\147\031m\2121w\218-\174[\248\017\204\232\233\130\163d\131{ \239\022,\239\189\146\253\226&\173\186\222\241\181\188\016\228\022\164\166w9\237\134\218r\022\133\203\147#I'\133\179\211Cn\169\141\142}\187eM\252\136\253`V\012\022\027\000\179#\1463\248\215\141\140\025\221\226\1361\167\163\025\005\131@\230\155j\177z(\144;\241j\195uMA\129\\fX'\134\144\216\0037\221g7\156\127\022\173\007\131>\128a\015,dFi_\025\166\157\140(\127\012\200\154XD\n;t\030\166\165\0184\241\169\143\011T\"\228\217\000\162[\188\145r\167\205\206Ka\195\"$\000Io0\253\138\020\131\153\127\168$\012d\181\192\017h\162\215R\172\020`\214I_r\198\185f\144\144\198\030\t\242\203\016\014\br\216\142\243I\004\005\138\203\016N\b\241\1699\022\224W8s\004\229\229\b\023\014\228\146\132@\164\"!5\tiH\228\150\031\014\146\014\142Q_\134\240@\144\199v\028&\019\020h.Cx!(\171L8\224\216\224\018\237\229\b\031\014\148\179\128\002_\142\160[9\194w\007\211\031&iw\244\148\2317\157\214\224|a[~\027\156;\194\142\248\137\250iG_\023\142\159\011\244\031\1618\030\134x\194\233\193\147N\143\186\248\003\251\208\018?\212\136\150\186 \180\204\005\161\229#@.+\188\194\153\139W:s\241*g.^-\020h\141\011Bk]\144\180N\148\228\225\245\206<\188\193\153\1357:\243\240&\161@\155]\016\218\226\130\162[m\1679\171\218\152\025L\245\132\194\199\130k\012:\149\174\182\214g\157\193;g\016\227\201\228Dm\147\012 P\255?\129\187\178\165\220\191\233\228\017\128x\002@1\014\238\206 \004\144m0\005\174\174<\130\001\001\229\194\175\024\190-\002.T\164.S\225\1301\148U\155\240,0\240\157f\187S\199\160\214'\155 \141\0119Gdwu\232\249b\169B\209\195\201\23128b\169\136\159/\230)\212\234\018\131B,\146*\213\198\236,\138\153i\145\216\180B\177]\194\023\241\021<\190E\234\144\154\246\131\186\004)\004?7\217\153\"\209g\168\131n\169<\142oL\160\184\193d\171\177(\228J\141\215(\196\148@\205K1\b\244\236\204\028\142\216\169\146H\141\025\146p*W\170\227Y\248\166\204LWr\014\157j1\200d\018\142T*1+H\145Z%\225\024\164R\173\158\135\139\228\201\218\184x]&\157\205gG\203\197\002\185B.W(8\012\014Z\197A\172\003\254\199F\254 t6\157\183\172[ (\230\0158#\147\018\147\018QT\211\171i\233\189\160\\\156\153Y\026\233M;+4\161e\017\134?\007\020\134\205?Cu\236_Oi\220\001U\005j\236\015\219U\217\252T\138\207\175\162T\142\169\015\232\200\019\129\226\031Z%\017\151\031\173\249:\019\222\181#b\201\029m\145\164 \020\218Kq\179\217*\002\132\149\195\214.K1\199\004\145\254\226D\170\242\251\165\n\031\143a^k\222\014h\216\152\003\029@*\026\027\b\253\165\194/\\kA\168\152I^s\012\203\149@(z\160\2090\181\031A\152\208V\132\b\134\nL\218S\027\250\152\212\001\132\152%\236]\015U\024\218)\253=\130\232qB\255!t\162\018\245\172\198\248\028\180D\209\131\132\157\179\233\242\b\148\204d\170\028B\146\162y\139w\234\135S\147\143M\174\148\230\174\190\253pc\247\229\164*\207\180fS\1590Md\233e\197YB\171pC\145i\012F\197\b+y\"\023\n*,\016B\195\014\158\005#\r\012ub\248\016a\183e\219\138\025=\176K\026\166\185Uwu\245\169\018~X\184\139]u\229\216\229\001\"\211\243\208\029\211a/+\185\179\144\170\206t0\006\243\213@.+\007M\1861B\028N0\029\131\164<x\155O\244(:\005\162\232\137z\002N\146\237\158\242\174\242!\1691\154\176\201*\b\177\215pt\187\192\211\b6\133\170\145\"\156a\179c\242;\161]k-\026h\029\021\224\238\169%\006R\228\2202PF\169E\144\204\157\001\156\027\236 \237 \215\245\246YOM\195d!j\216\141\028\141Zw\200\177\255+\215\224\031\017%\201\191\231\015{v3|:#t\011\023\182\"\1323w\132\206\128\176%\210\017\240a\249\141}\166\230ah D\168,\018*:b\243(\156-\005\2082\\\018\193f\187\\\201e\195\018\019Y!\147G!\016F\166#\173\027[\219-\171J\166\177|\026N\235\233\163\"\131\141<\136(\021*\212\200\179I\176)\135\239IB\127_\163\179\147tz\216v\2283\240L\169\"A\188@\n\202z\185C\023\016\246\199>\243\b\0053_\225\238\133gT/\249\172@}0\152\240\250\003\001\245\179b%\169\144\2010I#\205\006\bS\159+\220LopZi\233Jg\243g\162@\031\140\217\158y\151\223\002\132\238q\132\209;\250\140\025\159\135\180)\141\tGD\226S\012\130kwW\149\134\235\169\209\203\n\180\006\132\158\246\170\023\152&\031\243A\249t\195Q\175\195\018\138e\015T,pW\r\017*g\029?\221\141\160\202\208\012U3/\"E\217\r\023\240\141\2108+\1786\213K\031\131\153\192\000\157,\011-\141<\212x\012bo\r\185`\237\015\018\208\031C\177\188\030\236b*c\156\160=uP\026\031\167\224\018\231\199&\183#~\135\169}\001\184w\202\004;\196*\235\173\195!\166\225Cs_Z\156$\140\029\014*g\017\214\021\176\\5\160\176\236\1893\150\212\021\004kqc\167\022~\216\000\193y\222\028'`\149\174)+\128\234\173\253\170\162h\212\228\214\196}\191\031a@\2219\127\229\220\205\166E\132b\160T\251\232\235\180(\211\186\\e\179\132yK,\149\149f\216\150\132\251y\198@\132\167\151\t\003\156L\128\194\216V\179\016\187`\030y\166\217Xe\128J\161\136\242/\182\176:\018\243n\232U\235\148\204\199\027~\236\n\194\002\155dy\228\207\128\187\178*\031\028Q\222\016B\180\139\191\174K\208^\184\022\195`ZGz\003\147IKW;J\201\001\205\188Y\174\209&\157$\na\235\250@\197\237\003\223\"\220n\147\153#W\006\246\148\193\2539\127\249?\149\175\153??\145\170\250\254\000\129\205\148\208\147\139\133S\211XgU\206I\227\195\019\189\232\1777$\245xl\168\254\207\200;\1685\235\216\136,\237\210\204)\022$B\232\182\185\012\159\182_\rd\017E\"\225\229 M\143\202\148\234\223\215\223v\127\242\175\029\141\247\208e\248^\200\228\024\169\178\235\139\197\246\007\165\173M(\252W\195{Aq\207\184\139+4\152^\137C\153;S\146\214T\219\198\242\251\236\133\224\204\025\225\150\2125\240\254O\127\251\196\140l\022Y\228#\171\213-\169^Jv1\157(\227A\147\202=\163\162)dM\255)=\233m\015\020\254\213\2534\151\006\1389\017\158Q~\t)\239\131\222\245\188\134\199\1914\t\202Iky\185\220j\197c\165\0166\2379\200 \152\178\138:\157\224M\007\173\012\178\182Lh\241\181E\236\022\181!B\031>Y\019\243{\185\145\196L\209\\\166\200\161T'\b\172M\024!\143iM&\168\135\201\222w:\160<\027\140\129\187\1520\240\178TO\131\154|\252!\166\176\249\140\129M\bq\224q\136\144\171\199l\\;%\223\247\208\001uwo]LE\148\2385\004u\003\134j\r\249\181\214\179\001\030\164\222\139\232\157\160\"\247g\027\150\005\218\181H\1362\172Y&wg\201'\204\240=\220|04rg\134\167\022\r\234G\238\234\147&5\182\211\248b)\183!F\244\255\174\211\177@(V\170\003\tB\176f'\2169\231\0157\197\208HXy'\004|\158\228\240g\006\243\141/s\156g\177\2264\\\216T\246\208H\177\206-g_\156\139\188\177&\225a\194!\190\221\208\184\254\254\202\255!P\007lz/\188\203\197\199\191\224\146\011\183\152\1403\160\248\015l\204\t\241\000:\222\141\241\227\170\133\147WT\\g\169v\170\002?\189%_\219\252\130\240F" ··· 123 125 let d_7762c4a1493905d90f86ab1e0bd3ffb6 = "O>\223\240y\195g\241\148lD\166\248X\246\152N\230\215L\255\024n\127'\219 \167\226\029\236b\231\214\163_V\176\231\003\197\019{.\167-h\254A\027\198Tv\129,\246U,:\209\244\229q\221\152\026Q\150^]h.<\1455\250\143\252c\024{\251\237\199}\130\228\171\138R\027?j\245\221W\151\139l\140yg\246\179\222xwEk;3\194\183\149*\182\164\166\220\177\b\175\006\147\196M\163--\195\206\219\155k\003B[\0188\204\249\022\tG;\157`\175\179\237+Fg\137~R\012\183\180\140\138\155\147\130xu\209K\137\220VE\169\141fF[\219\171\171}\177\163\129\174`\252\254\011L\136\182\149*\186\159\221*\127h_\218\240,V\254\227\014\237\134#\012\201\151\180\240i\222\006\173\199\135\162\185x\141\202ey\167H\198\241\151\167\172HU\\\214\196\007y\162S\185J\189<Y0\243\246\030@\189f\147EG\170\021\205\202jV\014\167\157!\024\248hW\215\147?R\217\202p\244C\219\242\186\210\235\163f\t3\003\170i\233\158\157;=\233mj\143\175E\141\225\174\157\233\030+\012\248T\173\194\236*\193\221\151.\188\249\201!\217J\1892\188^\249\208\019\178\029\140\139\145n\236\240\205\\\176%\246\183\172\194\251\007\147/Eb\150\204\249F\155\218\246\184\201nZG'\171/\186.\250<\218\239\158\188\031I\233|\166\195\182'\168\184\139\n\007{\175\011l\2250%\217\240\208\011\146\001\r\249% \030\169\236,\219\222\208\204<\215M\133\195\182\221\210\167_\188\241]\162\1962\001i\253\148wV\175Ys\167\213u\239t8>\218w@\029\201lq\181\139\194\140\139y\240\016\223\255\235\024\170\191\151\005n\177\n\197\003Q\179i\233\254\138\n\0111gHd6\153\031/Y\135\243\157~\184\194%\217o\196\175\222Ue-\030\157\182$1\174s\175\173\176\184\1320\012HX_6QR\\h\219\219\025\151\184\196?Rl\005\211\245\157K\174\157\195\001\197\t\133\161\145M\185\170\184\247^\221\253\166\138\171\201\146&\131\226\021\016<\188>\164\174r\246\187s$\165\191\t$\228\151\000\000K\007G\031\222\223\197\127\207\253\127\138\023G6\003\128\000\bc\230l\134\208\025o\011\181\154\028R\138[\nu9\254\006\011k\141u\244w\132\207\194\001\189\162&t@ap\018\158E\020\212)\195\n\232b\n\026\018\134\201D+\t\016\224\191\243\2339)D$\014C\159\178>\0203w\004\n\031\1419(\138\190\132\222\160\014vfm'\190mK\238\2026(\\\158\180/\139*<+-\229~(<\140E\240J\172.n\131\162\162\137N\165\180\194&\207\003\175\156\188c\235\018\128\021\129\176\149\129\016\018\144bDN\149eQ\004\165SQ\002X\1847JB\185'\163\020d\004\162(\015\028\129\2298\173\142\138\137y\024~/\011y\209\187\224\212\171\207\168\144.\243-\016\198\209\242\203B\1790\169\149b\217\018\152\167\205\028\151\185\006L\208C1m\215\"s\225\135\133\001\167\138]\207H\232!`\150'E\168\137\210\139.v\243\nL\179n\163j\152\180\164\182\155c\154.\139\205\172\025\180\216\160`h\022R\174\247\015\012\239#ds\174/\026#\191J\t\014\235\148l~\024`L\167\012Q\225\236\213 \140\005S\b\194\202\230\241&\016\142`A\176\217\147<\135\192\183\179\136Q\174,\234/\203\192\139x+\165\134\183\148Z7o\177\005\022\"Fx\153\162\127b\149U\165\221<7\023\129Ox7;#\128a\210\004\187\226#G0\007h\197\016l\004p\021M\230\212\243\234\222W\021\139\189\166\019[\232>9\128\128iD\230ax\151P\147\003\"\136\244\211'\003\018\144A\006\226 \023\025\231\162X\149Z\1566\2323\217\233\225d-\146\024\246\209\021\rc\132{\251\159q\188\134\132]}\229\242\t\030\231\168\161\215\243\138]\147l\017VBX'-\232\027\144\163V\006\248\235\167\028\225Bc\020\237 \217\183?G\131r\181\166}\002\132\188\147\029`\2092}0\246\215C\020\136@\206\170\140\205l\158\128\128\183\225\029$\145B\030\210\200G\0012p\b\133p\016\206b\020\138\224\b\138\145E\tJQ\134r\140\198\024T\160\018c1\014\2271\001\0191\t\1471\005S\249\131=]&\147\221\180\255p\174\201\194\132\187\130\129\185\255\193gQQ\252\208\234v\1907\020\234\029\030\236cX\241\215\250\203\188\227\011\190\182D\183Eu\201p\213b6\237W\237-\185z\190\238\212]\210\221\222i\210\205\186E\203\237\158k*\210\139u\187t\180u\153\186\023\186\139\180\226\238v\147I7\235\022=oG\005P\243\014O7\183\143#n\235\136\224\219\197\171_\198\129\239\024\007\208\177\129\133\175\190\015\000\1628\1956H\000\215C\026nlj\143\2166\182\203) \180s\239\021\192:\005\174c\226x&\143\221/X\tH\197g\249[4\148\176\230q`u\247\226\228#\212\214q\194J?\241\0024\184V\000\000" 124 126 125 127 let d_79c029f6f746a52f4a8bc8b6280c5c88 = "ment,t)])}}),ot({type:\"textord\",names:[\"\\\\@char\"],props:{numArgs:1,allowedInText:!0},handler:function(e,t){for(var r=e.parser,a=Ut(t[0],\"ordgroup\").body,i=\"\",o=0;o<a.length;o++){i+=Ut(a[o],\"textord\").text}var s,l=parseInt(i);if(isNaN(l))throw new n(\"\\\\@char has non-numeric argument \"+i);if(l<0||l>=1114111)throw new n(\"\\\\@char with invalid code point \"+i);return l<=65535?s=String.fromCharCode(l):(l-=65536,s=String.fromCharCode(55296+(l>>10),56320+(1023&l))),{type:\"textord\",mode:r.mode,text:s}}});var Qt=function(e,t){var r=ft(e.body,t.withColor(e.color),!1);return Ke.makeFragment(r)},er=function(e,t){var r=Nt(e.body,t.withColor(e.color)),n=new Tt.MathNode(\"mstyle\",r);return n.setAttribute(\"mathcolor\",e.color),n};ot({type:\"color\",names:[\"\\\\textcolor\"],props:{numArgs:2,allowedInText:!0,argTypes:[\"color\",\"original\"]},handler:function(e,t){var r=e.parser,n=Ut(t[0],\"color-token\").color,a=t[1];return{type:\"color\",mode:r.mode,color:n,body:ht(a)}},htmlBuilder:Qt,mathmlBuilder:er}),ot({type:\"color\",names:[\"\\\\color\"],props:{numArgs:1,allowedInText:!0,argTypes:[\"color\"]},handler:function(e,t){var r=e.parser,n=e.breakOnTokenText,a=Ut(t[0],\"color-token\").color;r.gullet.macros.set(\"\\\\current@color\",a);var i=r.parseExpression(!0,n);return{type:\"color\",mode:r.mode,color:a,body:i}},htmlBuilder:Qt,mathmlBuilder:er}),ot({type:\"cr\",names:[\"\\\\\\\\\"],props:{numArgs:0,numOptionalArgs:1,argTypes:[\"size\"],allowedInText:!0},handler:function(e,t,r){var n=e.parser,a=r[0],i=!n.settings.displayMode||!n.settings.useStrictBehavior(\"newLineInDisplayMode\",\"In LaTeX, \\\\\\\\ or \\\\newline does nothing in display mode\");return{type:\"cr\",mode:n.mode,newLine:i,size:a&&Ut(a,\"size\").value}},htmlBuilder:function(e,t){var r=Ke.makeSpan([\"mspace\"],[],t);return e.newLine&&(r.classes.push(\"newline\"),e.size&&(r.style.marginTop=V(F(e.size,t)))),r},mathmlBuilder:function(e,t){var r=new Tt.MathNode(\"mspace\");return e.newLine&&(r.setAttribute(\"linebreak\",\"newline\"),e.size&&r.setAttribute(\"height\",V(F(e.size,t)))),r}});var tr={\"\\\\global\":\"\\\\global\",\"\\\\long\":\"\\\\\\\\globallong\",\"\\\\\\\\globallong\":\"\\\\\\\\globallong\",\"\\\\def\":\"\\\\gdef\",\"\\\\gdef\":\"\\\\gdef\",\"\\\\edef\":\"\\\\xdef\",\"\\\\xdef\":\"\\\\xdef\",\"\\\\let\":\"\\\\\\\\globallet\",\"\\\\futurelet\":\"\\\\\\\\globalfuture\"},rr=function(e){var t=e.text;if(/^(?:[\\\\{}$&#^_]|EOF)$/.test(t))throw new n(\"Expected a control sequence\",e);return t},nr=function(e,t,r,n){var a=e.gullet.macros.get(r.text);null==a&&(r.noexpand=!0,a={tokens:[r],numArgs:0,unexpandable:!e.gullet.isExpandable(r.text)}),e.gullet.macros.set(t,a,n)};ot({type:\"internal\",names:[\"\\\\global\",\"\\\\long\",\"\\\\\\\\globallong\"],props:{numArgs:0,allowedInText:!0},handler:function(e){var t=e.parser,r=e.funcName;t.consumeSpaces();var a=t.fetch();if(tr[a.text])return\"\\\\global\"!==r&&\"\\\\\\\\globallong\"!==r||(a.text=tr[a.text]),Ut(t.parseFunction(),\"internal\");throw new n(\"Invalid token after macro prefix\",a)}}),ot({type:\"internal\",names:[\"\\\\def\",\"\\\\gdef\",\"\\\\edef\",\"\\\\xdef\"],props:{numArgs:0,allowedInText:!0,primitive:!0},handler:function(e){var t=e.parser,r=e.funcName,a=t.gullet.popToken(),i=a.text;if(/^(?:[\\\\{}$&#^_]|EOF)$/.test(i))throw new n(\"Expected a control sequence\",a);for(var o,s=0,l=[[]];\"{\"!==t.gullet.future().text;)if(\"#\"===(a=t.gullet.popToken()).text){if(\"{\"===t.gullet.future().text){o=t.gullet.future(),l[s].push(\"{\");break}if(a=t.gullet.popToken(),!/^[1-9]$/.test(a.text))throw new n('Invalid argument number \"'+a.text+'\"');if(parseInt(a.text)!==s+1)throw new n('Argument number \"'+a.text+'\" out of order');s++,l.push([])}else{if(\"EOF\"===a.text)throw new n(\"Expected a macro definition\");l[s].push(a.text)}var h=t.gullet.consumeArg().tokens;return o&&h.unshift(o),\"\\\\edef\"!==r&&\"\\\\xdef\"!==r||(h=t.gullet.expandTokens(h)).reverse(),t.gullet.macros.set(i,{tokens:h,numArgs:s,delimiters:l},r===tr[r]),{type:\"internal\",mode:t.mode}}}),ot({type:\"internal\",names:[\"\\\\let\",\"\\\\\\\\globallet\"],props:{numArgs:0,allowedInText:!0,primitive:!0},handler:function(e){var t=e.parser,r=e.funcName,n=rr(t.gullet.popToken());t.gullet.consumeSpaces();var a=function(e){var t=e.gullet.popToken();return\"=\"===t.text&&\" \"===(t=e.gullet.popToken()).text&" 128 128 + 129 129 + let d_7a053e62260d74e8005f37b6c843a50e = "@charset \"UTF-8\";\n/* Copyright (c) 2016 The odoc contributors. All rights reserved.\n Distributed under the ISC license, see terms at the end of the file.\n %%NAME%% %%VERSION%% */\n\n/* Fonts */\n@import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500');\n@import url('https://fonts.googleapis.com/css?family=Noticia+Text:400,400i,700');\n@import url('https://fonts.googleapis.com/css?family=Fira+Sans:400,400i,500,500i,600,600i,700,700i');\n\n:root,\n.light:root {\n --main-background: #FFFFFF;\n\n --color: #333333;\n --link-color: #2C94BD;\n --anchor-hover: #555;\n --anchor-color: #d5d5d5;\n --xref-shadow: #cc6666;\n --header-shadow: #ddd;\n --by-name-version-color: #aaa;\n --by-name-nav-link-color: #222;\n --target-background: rgba(187, 239, 253, 0.3);\n --target-shadow: rgba(187, 239, 253, 0.8);\n --pre-border-color: #eee;\n --code-background: #f6f8fa;\n\n --li-code-background: #f6f8fa;\n --li-code-color: #0d2b3e;\n --toc-color: #1F2D3D;\n --toc-before-color: #777;\n --toc-background: #f6f8fa;\n --toc-list-border: #ccc;\n\n --spec-summary-border-color: #5c9cf5;\n --spec-summary-background: var(--code-background);\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\n.dark:root {\n --main-background: #202020;\n --code-background: #222;\n --line-numbers-background: rgba(0, 0, 0, 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\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\n@media (prefers-color-scheme: dark) {\n :root {\n --main-background: #202020;\n --code-background: #333;\n --line-numbers-background: rgba(0, 0, 0, 0.125);\n --navbar-background: #202020;\n\n --meter-unvisited-color: #622;\n --meter-visited-color: #252;\n --meter-separator-color: black;\n\n --color: #bebebe;\n --dirname-color: #666;\n --underline-color: #444;\n --visited-color: #002800;\n --visited-number-color: #252;\n --unvisited-color: #380000;\n --unvisited-number-color: #622;\n --somevisited-color: #303000;\n --highlight-color: #303e3f;\n --line-number-color: rgba(230, 230, 230, 0.3);\n --unvisited-margin-color: #622;\n --border: #333;\n --navbar-border: #333;\n --code-color: #ccc;\n --by-name-nav-link-color: var(--color);\n\n --li-code-background: #373737;\n --li-code-color: #999;\n --toc-color: #777;\n --toc-before-color: #777;\n --toc-background: #252525;\n --toc-list-border: #ccc;\n --spec-summary-hover-background: #ebeff2;\n --spec-details-after-background: rgba(0, 4, 15, 0.05);\n --spec-details-after-shadow: rgba(204, 204, 204, 0.53);\n\n --hljs-link: #999;\n --hljs-keyword: #cda869;\n --hljs-regexp: #f9ee98;\n --hljs-title: #dcdcaa;\n --hljs-type: #ac885b;\n --hljs-meta: #82aaff;\n --hljs-variable: #cf6a4c;\n }\n}\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: collaps" 126 130 127 131 let d_7c9075f31df2a532c3135ae327c84a92 = "inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}\n" 128 132 ··· 242 246 243 247 let d_da739bd79e1901a19d34fbf2d1a16298 = ",LineNode:Q}};return t=t.default}()}));\n" 244 248 249 249 + let d_dace847a98825928714b2dd186cf0e2e = " 2ex;\n}\n\n.odoc-toc ul li a {\n font-family: \"Fira Sans\", sans-serif;\n font-size: 0.95em;\n color: var(--color);\n font-weight: 400;\n line-height: 1.6em;\n display: block;\n}\n\n.odoc-toc ul li a:hover {\n box-shadow: none;\n text-decoration: underline;\n}\n\n/* First level titles */\n\n.odoc-toc>ul>li>a {\n font-weight: 500;\n}\n\n.odoc-toc li ul {\n margin: 0px;\n}\n\n.odoc-toc ul {\n list-style-type: none;\n}\n\n.odoc-toc ul li {\n margin: 0;\n}\n.odoc-toc>ul>li {\n margin-bottom: 0.3em;\n}\n\n.odoc-toc ul li li {\n border-left: 1px solid var(--toc-list-border);\n margin-left: 5px;\n padding-left: 12px;\n}\n\n/* Mobile adjustements. */\n\n@media only screen and (max-width: 95ex) {\n body.odoc {\n margin: 2em;\n }\n .odoc-toc {\n position: static;\n width: auto;\n min-width: unset;\n max-width: unset;\n border: none;\n padding: 0.2em 1em;\n border-radius: 5px;\n margin-bottom: 2em;\n }\n}\n\n/* Print adjustements. */\n\n@media print {\n body {\n color: black;\n background: white;\n }\n body nav:first-child {\n visibility: hidden;\n }\n}\n\n/* 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/*---------------------------------------------------------------------------\n Copyright (c) 2016 The odoc contributors\n\n Permission to use, copy, modify, and/or distribute this software for any\n purpose with or without fee is hereby granted, provided that the above\n copyright notice and this permission notice appear in all copies.\n\n THE SOFTWARE IS PROVIDED \"AS IS\" AND THE AUTHOR DISCLAIMS ALL WARRANTIES\n WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF\n MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR\n ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES\n WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN\n ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF\n OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.\n ---------------------------------------------------------------------------*/\n" 250 250 + 245 251 let d_dc29762de1ae6c28b3b3cc202f52ac6f = "=je(l,t.fontWeight,t.fontShape),p=[l,t.fontWeight,t.fontShape]);if(Ve(i,u,a).metrics)return Ge(i,u,a,t,o.concat(p));if(we.hasOwnProperty(i)&&\"Typewriter\"===u.substr(0,10)){for(var f=[],g=0;g<i.length;g++)f.push(Ge(i[g],u,a,t,o.concat(p)));return _e(f)}}if(\"mathord\"===r)return Ge(i,\"Math-Italic\",a,t,o.concat([\"mathnormal\"]));if(\"textord\"===r){var v=ae[a][i]&&ae[a][i].font;if(\"ams\"===v){var b=je(\"amsrm\",t.fontWeight,t.fontShape);return Ge(i,b,a,t,o.concat(\"amsrm\",t.fontWeight,t.fontShape))}if(\"main\"!==v&&v){var y=je(v,t.fontWeight,t.fontShape);return Ge(i,y,a,t,o.concat(y,t.fontWeight,t.fontShape))}var x=je(\"textrm\",t.fontWeight,t.fontShape);return Ge(i,x,a,t,o.concat(t.fontWeight,t.fontShape))}throw new Error(\"unexpected type: \"+r+\" in makeOrd\")},makeGlue:function(e,t){var r=Xe([\"mspace\"],[],t),n=F(e,t);return r.style.marginRight=V(n),r},staticSvg:function(e,t){var r=Ze[e],n=r[0],a=r[1],i=r[2],o=new J(n),s=new K([o],{width:V(a),height:V(i),style:\"width:\"+V(a),viewBox:\"0 0 \"+1e3*a+\" \"+1e3*i,preserveAspectRatio:\"xMinYMin\"}),l=We([\"overlay\"],[s],t);return l.height=i,l.style.height=V(i),l.style.width=V(a),l},svgData:Ze,tryCombineChars:function(e){for(var t=0;t<e.length-1;t++){var r=e[t],n=e[t+1];r instanceof Z&&n instanceof Z&&Ue(r,n)&&(r.text+=n.text,r.height=Math.max(r.height,n.height),r.depth=Math.max(r.depth,n.depth),r.italic=n.italic,e.splice(t+1,1),t--)}return e}},Je={number:3,unit:\"mu\"},Qe={number:4,unit:\"mu\"},et={number:5,unit:\"mu\"},tt={mord:{mop:Je,mbin:Qe,mrel:et,minner:Je},mop:{mord:Je,mop:Je,mrel:et,minner:Je},mbin:{mord:Qe,mop:Qe,mopen:Qe,minner:Qe},mrel:{mord:et,mop:et,mopen:et,minner:et},mopen:{},mclose:{mop:Je,mbin:Qe,mrel:et,minner:Je},mpunct:{mord:Je,mop:Je,mrel:et,mopen:Je,mclose:Je,mpunct:Je,minner:Je},minner:{mord:Je,mop:Je,mbin:Qe,mrel:et,mopen:Je,mpunct:Je,minner:Je}},rt={mord:{mop:Je},mop:{mord:Je,mop:Je},mbin:{},mrel:{},mopen:{},mclose:{mop:Je},mpunct:{},minner:{mop:Je}},nt={},at={},it={};function ot(e){for(var t=e.type,r=e.names,n=e.props,a=e.handler,i=e.htmlBuilder,o=e.mathmlBuilder,s={type:t,numArgs:n.numArgs,argTypes:n.argTypes,allowedInArgument:!!n.allowedInArgument,allowedInText:!!n.allowedInText,allowedInMath:void 0===n.allowedInMath||n.allowedInMath,numOptionalArgs:n.numOptionalArgs||0,infix:!!n.infix,primitive:!!n.primitive,handler:a},l=0;l<r.length;++l)nt[r[l]]=s;t&&(i&&(at[t]=i),o&&(it[t]=o))}function st(e){ot({type:e.type,names:[],props:{numArgs:0},handler:function(){throw new Error(\"Should never be called.\")},htmlBuilder:e.htmlBuilder,mathmlBuilder:e.mathmlBuilder})}var lt=function(e){return\"ordgroup\"===e.type&&1===e.body.length?e.body[0]:e},ht=function(e){return\"ordgroup\"===e.type?e.body:[e]},mt=Ke.makeSpan,ct=[\"leftmost\",\"mbin\",\"mopen\",\"mrel\",\"mop\",\"mpunct\"],ut=[\"rightmost\",\"mrel\",\"mclose\",\"mpunct\"],pt={display:x.DISPLAY,text:x.TEXT,script:x.SCRIPT,scriptscript:x.SCRIPTSCRIPT},dt={mord:\"mord\",mop:\"mop\",mbin:\"mbin\",mrel:\"mrel\",mopen:\"mopen\",mclose:\"mclose\",mpunct:\"mpunct\",minner:\"minner\"},ft=function(e,t,r,n){void 0===n&&(n=[null,null]);for(var a=[],i=0;i<e.length;i++){var o=wt(e[i],t);if(o instanceof A){var s=o.children;a.push.apply(a,s)}else a.push(o)}if(Ke.tryCombineChars(a),!r)return a;var h=t;if(1===e.length){var m=e[0];\"sizing\"===m.type?h=t.havingSize(m.size):\"styling\"===m.type&&(h=t.havingStyle(pt[m.style]))}var c=mt([n[0]||\"leftmost\"],[],t),u=mt([n[1]||\"rightmost\"],[],t),p=\"root\"===r;return gt(a,(function(e,t){var r=t.classes[0],n=e.classes[0];\"mbin\"===r&&l.contains(ut,n)?t.classes[0]=\"mord\":\"mbin\"===n&&l.contains(ct,r)&&(e.classes[0]=\"mord\")}),{node:c},u,p),gt(a,(function(e,t){var r=yt(t),n=yt(e),a=r&&n?e.hasClass(\"mtight\")?rt[r][n]:tt[r][n]:null;if(a)return Ke.makeGlue(a,h)}),{node:c},u,p),a},gt=function e(t,r,n,a,i){a&&t.push(a);for(var o=0;o<t.length;o++){var s=t[o],l=vt(s);if(l)e(l.children,r,n,null,i);else{var h=!s.hasClass(\"mspace\");if(h){var m=r(s,n.node);m&&(n.insertAfter?n.insertAfter(m):(t.unshift(m),o++))}h?n.node=s:i&&s.hasClass(\"newline\")&&(n.node=mt([\"leftmost\"])),n.insertAfter=function(e){return function(r){t.splice(e+1,0,r),o++}}(o)}}a&&t.pop()},vt=function(e){re" 246 252 247 253 let d_dc2a908015f68e5bff245fff4e602604 = "\",!0),ie(oe,he,be,\"\\u227f\",\"\\\\succsim\",!0),ie(oe,he,be,\"\\u2ab8\",\"\\\\succapprox\",!0),ie(oe,he,be,\"\\u22b3\",\"\\\\vartriangleright\"),ie(oe,he,be,\"\\u22b5\",\"\\\\trianglerighteq\"),ie(oe,he,be,\"\\u22a9\",\"\\\\Vdash\",!0),ie(oe,he,be,\"\\u2223\",\"\\\\shortmid\"),ie(oe,he,be,\"\\u2225\",\"\\\\shortparallel\"),ie(oe,he,be,\"\\u226c\",\"\\\\between\",!0),ie(oe,he,be,\"\\u22d4\",\"\\\\pitchfork\",!0),ie(oe,he,be,\"\\u221d\",\"\\\\varpropto\"),ie(oe,he,be,\"\\u25c0\",\"\\\\blacktriangleleft\"),ie(oe,he,be,\"\\u2234\",\"\\\\therefore\",!0),ie(oe,he,be,\"\\u220d\",\"\\\\backepsilon\"),ie(oe,he,be,\"\\u25b6\",\"\\\\blacktriangleright\"),ie(oe,he,be,\"\\u2235\",\"\\\\because\",!0),ie(oe,he,be,\"\\u22d8\",\"\\\\llless\"),ie(oe,he,be,\"\\u22d9\",\"\\\\gggtr\"),ie(oe,he,ce,\"\\u22b2\",\"\\\\lhd\"),ie(oe,he,ce,\"\\u22b3\",\"\\\\rhd\"),ie(oe,he,be,\"\\u2242\",\"\\\\eqsim\",!0),ie(oe,le,be,\"\\u22c8\",\"\\\\Join\"),ie(oe,he,be,\"\\u2251\",\"\\\\Doteq\",!0),ie(oe,he,ce,\"\\u2214\",\"\\\\dotplus\",!0),ie(oe,he,ce,\"\\u2216\",\"\\\\smallsetminus\"),ie(oe,he,ce,\"\\u22d2\",\"\\\\Cap\",!0),ie(oe,he,ce,\"\\u22d3\",\"\\\\Cup\",!0),ie(oe,he,ce,\"\\u2a5e\",\"\\\\doublebarwedge\",!0),ie(oe,he,ce,\"\\u229f\",\"\\\\boxminus\",!0),ie(oe,he,ce,\"\\u229e\",\"\\\\boxplus\",!0),ie(oe,he,ce,\"\\u22c7\",\"\\\\divideontimes\",!0),ie(oe,he,ce,\"\\u22c9\",\"\\\\ltimes\",!0),ie(oe,he,ce,\"\\u22ca\",\"\\\\rtimes\",!0),ie(oe,he,ce,\"\\u22cb\",\"\\\\leftthreetimes\",!0),ie(oe,he,ce,\"\\u22cc\",\"\\\\rightthreetimes\",!0),ie(oe,he,ce,\"\\u22cf\",\"\\\\curlywedge\",!0),ie(oe,he,ce,\"\\u22ce\",\"\\\\curlyvee\",!0),ie(oe,he,ce,\"\\u229d\",\"\\\\circleddash\",!0),ie(oe,he,ce,\"\\u229b\",\"\\\\circledast\",!0),ie(oe,he,ce,\"\\u22c5\",\"\\\\centerdot\"),ie(oe,he,ce,\"\\u22ba\",\"\\\\intercal\",!0),ie(oe,he,ce,\"\\u22d2\",\"\\\\doublecap\"),ie(oe,he,ce,\"\\u22d3\",\"\\\\doublecup\"),ie(oe,he,ce,\"\\u22a0\",\"\\\\boxtimes\",!0),ie(oe,he,be,\"\\u21e2\",\"\\\\dashrightarrow\",!0),ie(oe,he,be,\"\\u21e0\",\"\\\\dashleftarrow\",!0),ie(oe,he,be,\"\\u21c7\",\"\\\\leftleftarrows\",!0),ie(oe,he,be,\"\\u21c6\",\"\\\\leftrightarrows\",!0),ie(oe,he,be,\"\\u21da\",\"\\\\Lleftarrow\",!0),ie(oe,he,be,\"\\u219e\",\"\\\\twoheadleftarrow\",!0),ie(oe,he,be,\"\\u21a2\",\"\\\\leftarrowtail\",!0),ie(oe,he,be,\"\\u21ab\",\"\\\\looparrowleft\",!0),ie(oe,he,be,\"\\u21cb\",\"\\\\leftrightharpoons\",!0),ie(oe,he,be,\"\\u21b6\",\"\\\\curvearrowleft\",!0),ie(oe,he,be,\"\\u21ba\",\"\\\\circlearrowleft\",!0),ie(oe,he,be,\"\\u21b0\",\"\\\\Lsh\",!0),ie(oe,he,be,\"\\u21c8\",\"\\\\upuparrows\",!0),ie(oe,he,be,\"\\u21bf\",\"\\\\upharpoonleft\",!0),ie(oe,he,be,\"\\u21c3\",\"\\\\downharpoonleft\",!0),ie(oe,le,be,\"\\u22b6\",\"\\\\origof\",!0),ie(oe,le,be,\"\\u22b7\",\"\\\\imageof\",!0),ie(oe,he,be,\"\\u22b8\",\"\\\\multimap\",!0),ie(oe,he,be,\"\\u21ad\",\"\\\\leftrightsquigarrow\",!0),ie(oe,he,be,\"\\u21c9\",\"\\\\rightrightarrows\",!0),ie(oe,he,be,\"\\u21c4\",\"\\\\rightleftarrows\",!0),ie(oe,he,be,\"\\u21a0\",\"\\\\twoheadrightarrow\",!0),ie(oe,he,be,\"\\u21a3\",\"\\\\rightarrowtail\",!0),ie(oe,he,be,\"\\u21ac\",\"\\\\looparrowright\",!0),ie(oe,he,be,\"\\u21b7\",\"\\\\curvearrowright\",!0),ie(oe,he,be,\"\\u21bb\",\"\\\\circlearrowright\",!0),ie(oe,he,be,\"\\u21b1\",\"\\\\Rsh\",!0),ie(oe,he,be,\"\\u21ca\",\"\\\\downdownarrows\",!0),ie(oe,he,be,\"\\u21be\",\"\\\\upharpoonright\",!0),ie(oe,he,be,\"\\u21c2\",\"\\\\downharpoonright\",!0),ie(oe,he,be,\"\\u21dd\",\"\\\\rightsquigarrow\",!0),ie(oe,he,be,\"\\u21dd\",\"\\\\leadsto\"),ie(oe,he,be,\"\\u21db\",\"\\\\Rrightarrow\",!0),ie(oe,he,be,\"\\u21be\",\"\\\\restriction\"),ie(oe,le,xe,\"\\u2018\",\"`\"),ie(oe,le,xe,\"$\",\"\\\\$\"),ie(se,le,xe,\"$\",\"\\\\$\"),ie(se,le,xe,\"$\",\"\\\\textdollar\"),ie(oe,le,xe,\"%\",\"\\\\%\"),ie(se,le,xe,\"%\",\"\\\\%\"),ie(oe,le,xe,\"_\",\"\\\\_\"),ie(se,le,xe,\"_\",\"\\\\_\"),ie(se,le,xe,\"_\",\"\\\\textunderscore\"),ie(oe,le,xe,\"\\u2220\",\"\\\\angle\",!0),ie(oe,le,xe,\"\\u221e\",\"\\\\infty\",!0),ie(oe,le,xe,\"\\u2032\",\"\\\\prime\"),ie(oe,le,xe,\"\\u25b3\",\"\\\\triangle\"),ie(oe,le,xe,\"\\u0393\",\"\\\\Gamma\",!0),ie(oe,le,xe,\"\\u0394\",\"\\\\Delta\",!0),ie(oe,le,xe,\"\\u0398\",\"\\\\Theta\",!0),ie(oe,le,xe,\"\\u039b\",\"\\\\Lambda\",!0),ie(oe,le,xe,\"\\u039e\",\"\\\\Xi\",!0),ie(oe,le,xe,\"\\u03a0\",\"\\\\Pi\",!0),ie(oe,le,xe,\"\\u03a3\",\"\\\\Sigma\",!0),ie(oe,le,xe,\"\\u03a5\",\"\\\\Upsilon\",!0),ie(oe,le,xe,\"\\u03a6\",\"\\\\Phi\",!0),ie(oe,le,xe,\"\\u03a8\",\"\\\\Psi\",!0),ie(oe,le,xe,\"\\u03a9\",\"\\\\Omega\",!0),ie(oe,le,xe,\"A\",\"\\u0391\"),ie(oe,le,xe,\"B\",\"\\u0392\"),ie(oe,le,xe,\"E\",\"\\u0395\"),ie(oe,le,xe,\"Z\",\"\\u0396\"),ie(oe,le,xe,\"H\",\"\\u0397\"),ie(oe,le,xe,\"I\",\"\\u0399\"),ie(oe,le,xe,\"K\",\"\\u039a\"),ie(oe,le,xe,\"M\",\"\\u039c\"),ie(oe,le,xe,\"N\",\"\\u039d\"),ie(oe,le,xe,\"O\",\"\\u039f\"),ie(oe,le,xe,\"P" ··· 286 292 287 293 let d_f98d809cc67734e6443e7dc4e47e3c27 = "\139\138tG8$\029\150\184\190\192\218\015\196D\141\218\239\127'-\150\138\136\t\131\1476\024\016\215k \196b\007\245\027\180u\001\207\170MG\199x\131,/&=\254\255O\206\240\168\156\2418W\023\188\018\189\023/a0\205\140\197I\211\131Ys\246\183g\214f\198\241y!\170a~mW\253\188\227\223N\151\150\250\137x'\240\031\231[Z@\168\158(\169\027Rw\129\028\017s\153\200\133\251iZ\181@\181\016LM\221\179\193\171/\201\\\195\149\204\004\153\2304 \165\239\024\138[\222f\167\167\208\186\238\228\228\236\204\180\133%\136\015\192SS\015\181\201f\208}\144\158p\007\189\011\227<ZK\139u\01143\129L\140\139'B8\157\151\167\202\233p\227\003s\226\192\199\227\190\1759\220\135R~\023*~:\163\029\144\232X$\016z\\e/\254\185\244.\244S\028~\2465\183\245\143\026\017\135!\178<\144Y+\2000(U?4#\191\241\179\236\027\190\161\022\127\005\003o\201\251l\133QI-\234Y\245\140\242*g\161\231\003[a\019\238D;Q\250}\006\011\134X\023\161\134\233\134\191\225\171\236\\\158\212zmd\184\011\0215\002\227\140I\223\215\\V\214\184O\1749\249C\215\203\227/\132\168\014i\007\132\200\209\193\253\235\171\223f\216\n\215{w\244G\157\139\014\157Kj\132\205\249\201\178\232p\231d\200J\1984C@!\187Xpq\203\202<\2454\141\017b3Url\193:1>\028\0173\145\142\191D\228j-\177\219\1625\154\026FY\240\172\134\022\135\200\016\129\024|3\127\222J\175\\\177\011\214w2\024C]\201E9\193\147\136>\244\193\162%\248?\004Z\162pF\154\214\140Kz@E\007\016\245X\253\026\018\001\143\180\232/I\136\247\149\160F\127!4\023\014\242|\b\019\rQ\245\249\012\224r\244\243\2418(\002\002\213\025\133n5vY\147\246\026\252\002\218\190\002\131\193\r\206O\178\147\198\134TC\173\014\195\019@S\131\031\200\196\230\245q(?\b\129=m\162\168\144\195\227\245y\030S\1997%6\175\248\147\129\134D\216_\143\144#\174F\027\241\141\251\214\142\147L\222\198\212\188\146\212\229\244\216\232\003=dK\143:(\141\228\031\157\172\159\0218y\1832\145*wtd\145\151\181\195\218E\254\234\234\166\242\200\199\169\194\236qE\021\183r&\027w\237N\014RRVP\171\251\228K\b\198;C\236\186\202\128\255\162\191a\141\148\209\011u*\2305\253\187\164\004\1829B)61\145?\028x\011\t\142Y\166^~\232\223s;\019P\181\245\t\229`u=\180@9;\138\007^\148\202\254\175\199\158#\176}\024k\250!GQK\162FP\231\230\233w\236\201\221\176\031\250\1738\240\246\235\181\205\191\023\156$\147';\228o\197\227\r\021=U\021\177\152\229qQU~SVo\214\2526O\130\160j?=;\183'\230\204\236\177ts\007Y\138\006\217\159\018\254K#\250\207\238\174B\020\127\231P\233\022\240\234\155\144\177\149\155\017rP\217x,\225\144\188\129\215\226p\234F\025JL\1764U\n>\205|\1677+\165\019Q\225~\203\193\0273Z\012\151\145\217\196\191\255\195\167\019g\241\201\000\002\151\252Fy\226\128\185\027\144\175}\201\157\140\191\153\236\134R\205\242\185\1942\007\028\169\128:\205L\138\b=\133\205|\133\187\142\139J\153\129\202`\196]\227\249\155D\1527\223\191E\187CX\218P\164\152#\174[2\212\200\191\170mx\250\218\161\187\189\170`\016\231\178\210 _1_=\228v\132\243J=\028\127Oa\162\164:p\154!\176\188\178\251\252w\017\225\225J\169<\182G#\239\023E\224p\168\159-\178N\1349\233<-\248\025\2122$\002F\254\007d\148-D\203\021\0049\017JF\163\208\170\213\250MB\127\136\200\029\223\245\234#\199\212u\226\026\178\231\000\135j$\017\212<bvGj\131\161VO8\227\029\025\251\005=\189\154\r\212\195*}bo\127\212\026\194\239\024&\135V\193\235\222c\129\006\216\200\240\004K\185\0228\233\229\000\141\nG\031\232\156!$\216\206\215\233k\005&,u\031\1704\160\164\162\156\186\b\\\215\2217\r\185x\231\202\171\158\199\252\244{\162\b\017#\162\031\173C`\000\227\157\b\247\134\190\161\177\000d\r:\172\024\163\127/\169i\154\028\236\225\141\163\027\143\2251\160\136\\\247E\181i\129\245\"g\132\233\210?\156\214\187\222W(\180\011\164\128_\1659\202\245\231\187-\150\018\234T\241\213\190\186\004\2445\023?Wg5\003\196\252\0259\143\156[1\175r\222\238[\000z[\214\024\t\164\156=h(\249\140\242 \151U\219MF?\030Z\158\014Ak\187I\177?i(\188\130l\186\181\233f\136X\184\n\151h\015\163\1489\207\156\1990\154\232\234\156I}-\190#-\159\001\164\178\141\172*\1532\002\230\185\2463r+\011[\007\158lm\135\141\198\245\207\213\145\2320\204\216+\233\018\220\172x{<\004\144\213\239\248g\005fM\021*\bFIYtX\155@\223'\224\158>\146\132\191`b\157'\005E\230\169s\176!\t\141\2192TT\171\173\246\199\223\254\170\200\178-\197\171\237vz'\007\205\134K\bwb\018\251\169_\209\007dD)\163,\248x\017\2060%\141I\000\226\137E\139\134\187\132\0071O\137\193\250\0204\185\169\020;\198\229\022\212\031J\233\174\191\003\224\202#\149\143'v\163\220Br\0060\155\186\129X&\002\180\243\200g?B\0297\208\015\158v\255\196cm9\169\248\161?\217\245\187\246>&\031\016\150\016l\1831F\198\145d@ \238\005U\221\128\020\149\018\161 '\141G\012[k\206\005\143\216\237\206\017\182\207<\\\157\165\156\tdlQ\153\240n%\166\133\2312\193\143\208\178\255\142M\188\163\150\225\172\249F\160O[\137\247\185H\029GD\174\230\147$\200\011\150\193\253\253\015\254\247X\248\225\151?lX\1895R\005u^\155\145\2004\206\243\238\018\137C)6\028\184E\230\251tL\020\026\225d\195R1 1\021\166\250,\249|=\187\165S\211\130\020#nm7\027\189\201\170\239\174\171\213\237\196\203\187\231\133d\183\029~G\030\145\170\145K_\165\216\154%\134\205yL\161Z$Y\190\147\t\135F\t\166d\167\215\159[\012\179C\188i\150\209\167\248\202\159;\191\175\182\136\199\192\007?'+\201\148\023R\231f\239\238E5\139\177OX\181\237\245\213\018\"7\255\003\199\243\0120x\133\195\027\004'\183\145\149\149\151\244\193\229\136@\148\131\168\151h\150\130\213\207\219\235\186\026\227R\023>\195\023\170\171\1796\149\005s_\186\216y_>\155d\145a\159\r\n\253\241\183\247\201*\012f\245\14064\r\164\154k\227\019l\220\156\024\r\205,\2098\158\214\203\238PY_/\132\205Yf\191\190\184E\2163G\025\239\152\248\235\251\225k<\214\165\242\168\157\155\131\154\177g|V\193\183) \237\150u\195\218\006'+\017\161\154\192w<\210l\179\207\163\203S\237+\002%\170\199\199\145\246\161jv%\147h\203/\143\015<\194\165\135\1885N\007\0159\251\253\139\143\154\017\235\206\251\175\201\247g\208\155\150I\002%\016\1764A\029\223`/\165L\170A.\252\165\143\232\239\208\158W>\b\188\222R\229\173\232\237W\nX\162\014\190/\1588\203U'F?\209\234?\215\201\255#\211n\232\003\204\004\199_\177\164\134\141\212\166 d\243{\197\208\225\149Q\024\146,\211\156\184\172Y\177N\255\224\004\153\251\167E\255\185^v\007\253\178\190\187!.\214\227=[\215\015`\180\191\160=\004\003\002\135\226}_\193\148\166u\235uk/?\171UE\178\022.Bn)\244\183\r\242\155\138\204\172q\175\203\021X\000\191\245\012\000\167\175v\204Q\217\213\197\199\199\158\180\028\217\155?\211e\252\006\147\150K\238\175\028\198N\180+<r\247\145\028\218X\242\155d\237L\219=1/\162\138\170\189]o4\200\003\200\250%U&C\183\184Y\148\241\148}\225=\029\131\197\229'\1567\191\143\247\226\168\255\135\134 \204\161\194\2404\219t+\230$\191,~\b\005\180\236MJ\021[\183\003\149\223\145iK\211s\157\145\\\027&\007]\127\130 G\200c?W\255\159\219\179\164\133?\021\168\141\228Y\191z\196\"t2\213\249?\200\207\019,TgM\004\243\245k~\208\202\239\200\213\159\233\164\127\tv*\178\215\1552\222\214\203\254\164TT\024\198~\127,j\238\156\200\205\225\227K\249\240\170\159\207\205\239\017\162b:\205Q\173{\212/\223\175\024\021WHp\161\227\005\250%\241\215\179#\001\142\b{\210\021\168\018\160I\029G\249\230\027\193\226\245\213\tl\157\248\175\214|=\127\021[M \236a-YU\246\148t\184\179/\235RO\1608\230\169\206\207E\227,\235\164G\000\200Z\170a\217|\179\132\131_y;W2\180\2119\254b\209\218L\131#\179'\193Bd\255AEg\232K\195\020\168Dd\198\145\181\007e!\203\195\194,g0k\135\132\016\142#\011\151\019\221\198\146\220\149`\198}\162r\162\\J\168\t\163\180\131^\011\180\211aX\130P\137#\031\024\179\002\218\143=\011Cg\254So\152\199\13916\236\021r\244\171\169:\005\165\156\249\162\169\219%\018\176\149\226\143\252\011Cwz\024\155\232\186\nW1\189N'\250\202\208~g\181\212\153\157\187\181\229Y\178\248\231\194\184SrW\194\206X\173[\143\200E\170\132\137\1478\148\2285\234m\169\211-f\136\227&L\169\223^\157\169Y\166Y*\137\163\127\177\210#\205\141s\027\235|ei\209\026r\144\141v.j\172\215\140\139S\171GZ\b\230\216\218d\203\236\172\1939\220*&.\031\187\184\219Yyl\141(\129\0070;+\127)d\156\130\149\170\221n\000!^\001\020\242\027\220\231\255b\154\184\132\172\232\2515\162\170\127\029\183\151\192\236\001\239\019\145\204\n\240\167\217\006\192/\185D\234\187\235k\249%\196\204\135\182;[\212\031\136\189\178P\245\018\127\145\240+|\232\007\178\138Lb\159\176\184P\031D_(\144\138\015\187\127z}\241E\022\250\020\019\219\156c\136\167*\160\170\192'7\250v\t>\174\176\016\229D\012\172~~\245\200TnD\027\005D\021Y\165/+\211\188\137\228y\127f3\176\173~.\142\163[o\218\149\203\228i\t\180\251aQ\012\234\199&d\026\154_\243q\141!\197\187\235d%\185\023l\153g\205\178\255\200\012{^k`\188w\154O\021m\186f\1562\237\018\205C\247z\030*t\127v\205J\188({a0u\b\236\167\204\2177m\209\249\150\206Jn\214J\"c\147Zr^\162\012\141\193k\019\242j~\001\135\191\239?\178\000\247\031\201\162\220\143\221u\219\1516\031\162\1407\140\242\155\138\002\2449\180\168\130\206\021\2346\2347\130\156\\z'\1358W\231v\017\229Dy\172%G\2501\197&\"\165\171e2\208\246tW%\156v\185\196\186\205\186u\176L(Z.H\006\022\139\230\149c9\202\237\031\142\247\163\212%\201]\t\203\176\139\136\018\017\026\197\199\255;\249/\006o&[\247\175\159\245\163\213\231w\200\215\202\235\018\026.\185r\141e\246Q\003\003\229\242w\252\2502\239L\022\198\195eQ\223\186i\140\142\230Z\241\247\232\229\173\220P\190\243@?\026\145K\227\232wC\209\144\217\031\209'\175z1\2124\014\150\205m\229\235]:\195h\150z\189\184#\254\192\1841\231\196F\tk\022\189jy\196?><=\157X\207\148\165\162NW0\207$\250\218\208\188f\031\250\255\161hH\187/\227\251\217\226\186R\129i\199\143\203\230\182\b\180F\003\191\1827\170^\239\248r \255\rS\175\254\232\007\1989?\n\n9D\204\185\230\168!\195U?\240\142$L\250\006\nHkC5>\205+s\245e\224\239m;\152i\174\168\182~\169\005\156by\222\219\210\156+\023G9\168\024\200p\161\154\217F\151-X\128\149\004i\241\028\173\006\023\203\018\rY\007\245\131\162}\251\232\248\179\019\138\204\183\141\178\255\200\228\127\214\211\200R\156W+\248\200\236zS\229\020\166\t\153\210\205\127U\133\255\209P:\224K\221[t\168\184IR\149\205\207\188fj=I\158\226P\198\209v\221Q)Z\213T\026\144\229\0128&\208x\253\208og\219S\021\220i\1823\236\180\b\191\165W\148\195\024\028p\235\191){\014\196\204 \238\148\252!\230\167'\011\155{\234\255\251\023z\223\217.\214_1\200\238Hu\223\159TP\181\251\252\021\194\165\192\031\184\143\254\241\015\007\143<Y\191\232\130\1403\182\190:\150\194\132\025<\238t!\252i\186&Y\150\028\227iW\240\018\137\231\022\002\151\147P\228\245\148\222\170\168\188\255\164!'\234\220\141#\014Lv\232_\239\188\226\016\200\194\006\004=>r\251\187tumi`\020+\234\000\131\169\\\018\\}\222\011\229\133\153\152\135^\155\001Y\194v\223<5\024\244\"\175\022-\232\206\004D\178\133 ;\190\2494\022\\\003\216\tT3\230\146$\175\237\128Y\187\030\129\030\217\0161\168\014\233\199\170\188\160\244\205\210\235\160\178\189u\248\241\183\190\134\176^|\235\1615+5\024\167!\245\200\031\011\007\158\230J]'\174Hr&?u\244\181]\b\021\180V\141Jg+\255]\215\212\158\242\029\251\251\197\188\144v\r\030\202O\181\182$\235\162\185O\134\198d\221\162\202\199\030\133s\174[\203\214\137p\237\243\\\235\223\neZ\002\241\130\129~(\235\165\162Q\203cddX\160\229\136\240\024\144\007\1758\128$w\185\142\244\185\244\203\231\226\027\014Q\194\003\187\165\176\219\020\006\229\162\215S+0vO\250Xv\149\178e8\156s\b\236+\238\204\n\174|\011@ \176Cn\019\202\239\160?\199\006\017\140\169\191w\027z\027qo{\020\216\128\007\233f\179\184h\000$\2398\025\169u:MT\155\232\158A<;q\130^\243\145,\131`e\129\003\007\173tZgN\181\146)q\210Po\r\187\224\188\215\171\031a\173\166u\164H\183@\202\204|\148t\015\029\251\154&\164Q\183j\155\000\192\144\243\223\208\189\179\131u\152\b\196\211\180\136\160\215p\152\238\011\006\227\176\199C\031\225\178E\141\130\234zN.%\178\024\143\155\192\016\199S\220\183\177z\168\222\222\254\168\139\184\138r\152\246\1397\252\138\024\252\227\156\238\228\134\196z\t\167\174\239\200\232\019K\006\161\199\190)\231|\242\170<0\127\173\136\160\207(\145\150\031\002\195\169\235\167\143p\177zp\165#<\231\196\184\177\255\169\244\017N'\017J\174~\129\205\144\221\130+d\228\227\232\141g\019|)\210L*f>\158\205\159\163\243\127\209\20813!<\151\161?\026\222A\250\156\006\014\155\236*\211\024\171\169\252\185\195{%\250\237\250\245\000.,\r\028\002B\215\127;1\249\030\023\205\186\027\246\178R\166a\171q'\216\146+h\020\199*r>\174/\218IS\1904\134\022K\186k" 288 294 295 295 + let d_fa492d3f7e09f1bd310e80bf0f4de6b4 = "ec-summary-border-color);\n border-right: 5px solid transparent;\n padding: 0.35em 0.5em;\n}\n\nli:not(:last-child) > .def-doc {\n margin-bottom: 15px;\n}\n\n/* Spacing between items */\ndiv.odoc-spec,.odoc-include {\n margin-bottom: 2em;\n}\n\n.spec.type .variant p, .spec.type .record p {\n margin: 5px;\n}\n\n.spec.type .variant, .spec.type .record {\n margin-left: 2ch;\n list-style: none;\n display: flex;\n flex-wrap: wrap;\n row-gap: 4px;\n}\n\n.spec.type .record > code, .spec.type .variant > code {\n min-width: 40%;\n}\n\n.spec.type > ol {\n margin-top: 0;\n margin-bottom: 0;\n}\n\n.spec.type .record > .def-doc, .spec.type .variant > .def-doc {\n min-width:50%;\n padding: 0.25em 0.5em;\n margin-left: 10%;\n border-radius: 3px;\n flex-grow:1;\n background: var(--main-background);\n box-shadow: 2px 2px 4px lightgrey;\n}\n\ndiv.def {\n margin-top: 0;\n text-indent: -2ex;\n padding-left: 2ex;\n}\n\ndiv.def-doc>*:first-child {\n margin-top: 0;\n}\n\n/* Collapsible inlined include and module */\n\n.odoc-include details {\n position: relative;\n}\n\n.odoc-include.shadowed-include {\n display: none;\n}\n\n.odoc-include details:after {\n z-index: -100;\n display: block;\n content: \" \";\n position: absolute;\n border-radius: 0 1ex 1ex 0;\n right: -20px;\n top: 1px;\n bottom: 1px;\n width: 15px;\n background: var(--spec-details-after-background, rgba(0, 4, 15, 0.05));\n box-shadow: 0 0px 0 1px var(--spec-details-after-shadow, rgba(204, 204, 204, 0.53));\n}\n\n.odoc-include summary {\n position: relative;\n margin-bottom: 1em;\n cursor: pointer;\n outline: none;\n}\n\n.odoc-include summary:hover {\n background-color: var(--spec-summary-hover-background);\n}\n\n/* FIXME: Does not work in Firefox. */\n.odoc-include summary::-webkit-details-marker {\n color: #888;\n transform: scaleX(-1);\n position: absolute;\n top: calc(50% - 5px);\n height: 11px;\n right: -29px;\n}\n\n/* Records and variants FIXME */\n\ndiv.def table {\n text-indent: 0em;\n padding: 0;\n margin-left: -2ex;\n}\n\ntd.def {\n padding-left: 2ex;\n}\n\ntd.def-doc *:first-child {\n margin-top: 0em;\n}\n\n/* Lists of @tags */\n\n.at-tags { list-style-type: none; margin-left: -3ex; }\n.at-tags li { padding-left: 3ex; text-indent: -3ex; }\n.at-tags .at-tag { text-transform: capitalize }\n\n/* Lists of modules */\n\n.modules { list-style-type: none; margin-left: -3ex; }\n.modules li { padding-left: 3ex; text-indent: -3ex; margin-top: 5px }\n.modules .synopsis { padding-left: 1ch; }\n\n/* Odig package index */\n\n.packages { list-style-type: none; margin-left: -3ex; }\n.packages li { padding-left: 3ex; text-indent: -3ex }\n.packages li a.anchor { padding-right: 0.5ch; padding-left: 3ch; }\n.packages .version { font-size: 10px; color: var(--by-name-version-color); }\n.packages .synopsis { padding-left: 1ch }\n\n.by-name nav a {\n text-transform: uppercase;\n font-size: 18px;\n margin-right: 1ex;\n color: var(--by-name-nav-link-color,);\n display: inline-block;\n}\n\n.by-tag nav a {\n margin-right: 1ex;\n color: var(--by-name-nav-link-color);\n display: inline-block;\n}\n\n.by-tag ol { list-style-type: none; }\n.by-tag ol.tags li { margin-left: 1ch; display: inline-block }\n.by-tag td:first-child { text-transform: uppercase; }\n\n/* Odig package page */\n\n.package nav {\n display: inline;\n font-size: 14px;\n font-weight: normal;\n}\n\n.package .version {\n font-size: 14px;\n}\n\n.package.info {\n margin: 0;\n}\n\n.package.info td:first-child {\n font-style: italic;\n padding-right: 2ex;\n}\n\n.package.info ul {\n list-style-type: none;\n display: inline;\n margin: 0;\n}\n\n.package.info li {\n display: inline-block;\n margin: 0;\n margin-right: 1ex;\n}\n\n#info-authors li, #info-maintainers li {\n display: block;\n}\n\n/* Sidebar and TOC */\n\n.odoc-toc:before {\n display: block;\n content: \"Contents\";\n text-transform: uppercase;\n font-size: 1em;\n margin: 1.414em 0 0.5em;\n font-weight: 500;\n color: var(--toc-before-color);\n line-height: 1.2;\n}\n\n.odoc-toc {\n position: fixed;\n top: 0px;\n bottom: 0px;\n left: 0px;\n max-width: 30ex;\n min-width: 26ex;\n width: 20%;\n background: var(--toc-background);\n overflow: auto;\n color: var(--toc-color);\n padding-left: 2ex;\n padding-right:" 296 296 + 289 297 let d_fadfd470a088dde5c3755136ac4b6188 = ".47534,0,0,.50181],53:[.18906,.47534,0,0,.50181],54:[0,.69141,0,0,.50181],55:[.18906,.47534,0,0,.50181],56:[0,.69141,0,0,.50181],57:[.18906,.47534,0,0,.50181],58:[0,.47534,0,0,.21606],59:[.12604,.47534,0,0,.21606],61:[-.13099,.36866,0,0,.75623],63:[0,.69141,0,0,.36245],65:[0,.69141,0,0,.7176],66:[0,.69141,0,0,.88397],67:[0,.69141,0,0,.61254],68:[0,.69141,0,0,.83158],69:[0,.69141,0,0,.66278],70:[.12604,.69141,0,0,.61119],71:[0,.69141,0,0,.78539],72:[.06302,.69141,0,0,.7203],73:[0,.69141,0,0,.55448],74:[.12604,.69141,0,0,.55231],75:[0,.69141,0,0,.66845],76:[0,.69141,0,0,.66602],77:[0,.69141,0,0,1.04953],78:[0,.69141,0,0,.83212],79:[0,.69141,0,0,.82699],80:[.18906,.69141,0,0,.82753],81:[.03781,.69141,0,0,.82699],82:[0,.69141,0,0,.82807],83:[0,.69141,0,0,.82861],84:[0,.69141,0,0,.66899],85:[0,.69141,0,0,.64576],86:[0,.69141,0,0,.83131],87:[0,.69141,0,0,1.04602],88:[0,.69141,0,0,.71922],89:[.18906,.69141,0,0,.83293],90:[.12604,.69141,0,0,.60201],91:[.24982,.74947,0,0,.27764],93:[.24982,.74947,0,0,.27764],94:[0,.69141,0,0,.49965],97:[0,.47534,0,0,.50046],98:[0,.69141,0,0,.51315],99:[0,.47534,0,0,.38946],100:[0,.62119,0,0,.49857],101:[0,.47534,0,0,.40053],102:[.18906,.69141,0,0,.32626],103:[.18906,.47534,0,0,.5037],104:[.18906,.69141,0,0,.52126],105:[0,.69141,0,0,.27899],106:[0,.69141,0,0,.28088],107:[0,.69141,0,0,.38946],108:[0,.69141,0,0,.27953],109:[0,.47534,0,0,.76676],110:[0,.47534,0,0,.52666],111:[0,.47534,0,0,.48885],112:[.18906,.52396,0,0,.50046],113:[.18906,.47534,0,0,.48912],114:[0,.47534,0,0,.38919],115:[0,.47534,0,0,.44266],116:[0,.62119,0,0,.33301],117:[0,.47534,0,0,.5172],118:[0,.52396,0,0,.5118],119:[0,.52396,0,0,.77351],120:[.18906,.47534,0,0,.38865],121:[.18906,.47534,0,0,.49884],122:[.18906,.47534,0,0,.39054],160:[0,0,0,0,.25],8216:[0,.69141,0,0,.21471],8217:[0,.69141,0,0,.21471],58112:[0,.62119,0,0,.49749],58113:[0,.62119,0,0,.4983],58114:[.18906,.69141,0,0,.33328],58115:[.18906,.69141,0,0,.32923],58116:[.18906,.47534,0,0,.50343],58117:[0,.69141,0,0,.33301],58118:[0,.62119,0,0,.33409],58119:[0,.47534,0,0,.50073]},\"Main-Bold\":{32:[0,0,0,0,.25],33:[0,.69444,0,0,.35],34:[0,.69444,0,0,.60278],35:[.19444,.69444,0,0,.95833],36:[.05556,.75,0,0,.575],37:[.05556,.75,0,0,.95833],38:[0,.69444,0,0,.89444],39:[0,.69444,0,0,.31944],40:[.25,.75,0,0,.44722],41:[.25,.75,0,0,.44722],42:[0,.75,0,0,.575],43:[.13333,.63333,0,0,.89444],44:[.19444,.15556,0,0,.31944],45:[0,.44444,0,0,.38333],46:[0,.15556,0,0,.31944],47:[.25,.75,0,0,.575],48:[0,.64444,0,0,.575],49:[0,.64444,0,0,.575],50:[0,.64444,0,0,.575],51:[0,.64444,0,0,.575],52:[0,.64444,0,0,.575],53:[0,.64444,0,0,.575],54:[0,.64444,0,0,.575],55:[0,.64444,0,0,.575],56:[0,.64444,0,0,.575],57:[0,.64444,0,0,.575],58:[0,.44444,0,0,.31944],59:[.19444,.44444,0,0,.31944],60:[.08556,.58556,0,0,.89444],61:[-.10889,.39111,0,0,.89444],62:[.08556,.58556,0,0,.89444],63:[0,.69444,0,0,.54305],64:[0,.69444,0,0,.89444],65:[0,.68611,0,0,.86944],66:[0,.68611,0,0,.81805],67:[0,.68611,0,0,.83055],68:[0,.68611,0,0,.88194],69:[0,.68611,0,0,.75555],70:[0,.68611,0,0,.72361],71:[0,.68611,0,0,.90416],72:[0,.68611,0,0,.9],73:[0,.68611,0,0,.43611],74:[0,.68611,0,0,.59444],75:[0,.68611,0,0,.90138],76:[0,.68611,0,0,.69166],77:[0,.68611,0,0,1.09166],78:[0,.68611,0,0,.9],79:[0,.68611,0,0,.86388],80:[0,.68611,0,0,.78611],81:[.19444,.68611,0,0,.86388],82:[0,.68611,0,0,.8625],83:[0,.68611,0,0,.63889],84:[0,.68611,0,0,.8],85:[0,.68611,0,0,.88472],86:[0,.68611,.01597,0,.86944],87:[0,.68611,.01597,0,1.18888],88:[0,.68611,0,0,.86944],89:[0,.68611,.02875,0,.86944],90:[0,.68611,0,0,.70277],91:[.25,.75,0,0,.31944],92:[.25,.75,0,0,.575],93:[.25,.75,0,0,.31944],94:[0,.69444,0,0,.575],95:[.31,.13444,.03194,0,.575],97:[0,.44444,0,0,.55902],98:[0,.69444,0,0,.63889],99:[0,.44444,0,0,.51111],100:[0,.69444,0,0,.63889],101:[0,.44444,0,0,.52708],102:[0,.69444,.10903,0,.35139],103:[.19444,.44444,.01597,0,.575],104:[0,.69444,0,0,.63889],105:[0,.69444,0,0,.31944],106:[.19444,.69444,0,0,.35139],107:[0,.69444,0,0,.60694],108:[0,.69444,0,0,.31944],109:[0,.44444,0,0,.95833],110:[0,.44444,0,0,.63889],111:[0,.44444,0,0,.575],112:[.19444,.44" 290 298 291 299 let d_faf3026edac134ac18982c09dc18fcd1 = "\208{\012\221\212\233\181\132\197\021\208\211_\164\022|\168,\020\217jJ\218b\188\027j\026'&\234\014\218z\023;\195`\238R\251\186Q\231\165\150Dqj\188\219\153|\017\006\r\163^m\209\146\198\022\023!\151b\031\230Rv\029\253Z\148JK\000\140\204\188\163HM\219u\007\191\235\n{\180\181\005\254\153Q3!\129\230\177Z\144A\238=s`\191\160j\178\242#M\004\131\254\025\134B~\209\233\194\227\144\022<\026M\244H\146\251\b\n6\129\201$iy\158%\2425\241\223\164\232\n]\178t\025\209\194\130L*\159\1991C\138\bu|\165\169;\234\127\025\148w5\216\202\233a\224\018\164\152Dn\149e6\029\187E\156k\134\200w\011\002\130r\191r\136\253g\019gpj\166|\252\243\168o\147u>\171\228F{\158$M\134M`\020\162/Y2}~\140\169W:0\255Z?AZI \215\007Px=\137n\005\140LP\179@<Uw6\184\249l*\191\185\205\197\146\148\148L8\006\187r8\195\185\192\001\014*\011\200d:\254\171h\203?5<\023?\239\172\249\171\250/(\221\011\198'\153\236\231\227[A\243}\137$\205\211\"C\238~\252\156\205\152|\012\004E\182\005\006\r=]\164\207\167wWs\211\234Lu\2153\242\230\172'\225\141\239\128\163@<5\182\189\239\239\167\208|\bIek\018K}\203\020\185H\130#G\231Y\1775\196'\137p\244u8\137\129\210@o\139\183\021^\189\134dRw\192]9T\141\166\196S]^\169^\022\128\020\023?g3'k\171A\249O5\234\182\141\016Y\019t\172t\227\186\019\001\188\162o\n\191\004\136,\007\026\149\217:aA\157\169N\144\147\017\225\000\142\188\182\241M3\153\144\247\2047\204u\195\155E\155\193n\128\128\210L^c\003+\131\238.\166o\182\148N\231\\\211\170\022\129-\253\182tlSi%>\218\205-L\226\238g?\167\135\196\169l\b6\129\209\184r\175\14460\183\166\208=$X\237\201\192\142\192\185%\161M\141`\018\216k\186C\243\237\147\147\132T8\182\160\130\222\188q\140\236\193l\137\174\015\006y\142\253b\171z`\210\248\215\191\231\166\150m\242\230\242\1887\165\150N\0159N1\186\025L>\"\162X\249\189\193\134bg\177e\156\224\226W\205`&\149Bj\189\239S\209\031@\019^\232\232\248D\0251GM\011\194\231Ao\003\141\019\141\134\197\128\011\226\223\137\167\026\203\219\003\218\203\027-\179\188\178\191\205\002n\218\139\145~\205U\1564\1313\149?+<%\156(OL\177\164\215s\029\242`]\145p\225*\162\228\214n\235N\155\218'&\218\171\245\182\183'2\245\213\243\174\232j\213\007\143?\021\243\238\015M,r\023\187/>\187'S\153\185\231\236b\229v\158\157\248\1808p\157}\189_\224I\223\192\014\132\133\144\214Eh84\251l\167B\017.\231\230\194f\244\144\132\129\135P\rT\193\177\171\251$F:;\145\195\030#w~o\206\011\149\252B\142\177]\166p\184Tr\230\216\177'oF\168G\232s\002M\246r5\230\"#8C\197\240\031\162\243\1659$B\186n\174$\193\201u&H\230\174U\031\229\176@\242\209\152T`\174\173\232^\167\\\195\223\019\007\248\r\030\\\015\139\007\233\225k\242\228zZ<I\207\154\144\015`\135T\147\133uz9\232*o_\215^\174\029\226\153(\236\177\241\019\231_\191\187L!\163r\012\164\162w\161v\223\175\139\170k`\223\016\189q\166\243L\223\226\254\193~\192\232\003\192\207\225[f)\139\127\171\229\186\209dwP\204i\028gmY\027B\224=>o\190\186\157[\127\206\207\025\232|\181\235\165u\023V\162\171\127.~^\255U\2558\253\158\213\152RS\191\006\159\150\255p\168\146\134\175+OPba5\146X=\184~`4\247\t\197C%\249v\175\234Y\221\001:\2313\198\237\131\134\206\011\156\226\030\167)>\014\004\156c\255u\213\156\029m\216\001v=a1\166\154\230O\239\004[\018\143\159\023MO\014X\n\134p\236K\127\165\179\204Y\158\t\236\147\1847,+[?\205`\169jusa\129j\016\177\179\155\205X\250\031\248\255\232\234*j\002)\148t\163\193QV\128\237M\026^\186j\2010\024y\213d\127?'k\028\2314\129\206\174\1702U\rn\156\1837\1563\135[h\128YF0v\142\253\215\171\133\142\012Y\029\215\198\184\254q\155Ax?\128#xv\243\204\025v\247\220d\136z\171\247\022\231\151\131\242\201\185\1972\175[\136D\006\142\1875\142[P\157\024\236\171\198DZm(\187\201\023|\129\188}\005;\162\179\t\255\204!@\165\223x\163b\005\147\162\193\251?a3\012\164(R\193\192qG/D\252l\194\t\194T\130\227I\240\028\253\255p\\\224\193L%\168\140\004=\194\154=\157R\247\157\184\215n\142\022\220\159n\182Os\155\243\153>\234d\169`\154#y\216\r i\233\177\224\139\\z\026\002\214\021\171\244FM\192\153\000\129 `b\155M\016\1466\148\t\166\029\143\140X\127\005\2478\000p\1665\021|\026\187\219p\225\195\145\129q\166\251\231\022`\005\162[\180IN\195\139Y\191\233f\176(v[\170_\235\175\141\207\233\216\025\"\027\024\0225\189\148[f\191\181l\137\002\213\031\221\250\155\137\255\243\201\011\215\023 \2264cj\138D\227\030\189{}8\140\202H\"g\189m\253\157f\224\176\242\193\1953\015\n\146\024\2169\204\255\217'\002\243&\193f\130\012\159j\245\018\130\182Xj\002 \254\190n:\028\167\028vzz\171y^\222<5\253\154x\138]TdMK\164\1714sl\210\186\154\218\218\154\026\171\213\155\138\159\197(<ea~Q1\251\133\235\011\246\0114\248J\030\197\203\199\169\222&N\205\t&\024\193/v\226\143,\170\168\136\253\2382\134I\130\217\030]V\r?x9\2136\\\129\203!\178\198F\205\2545\145g\130&pA0[4\159\253\232\168F]:\015Euu\r\128r\017\n\030\138\157#9\147\216\243}\151\229V\255\151\229\004\145\027\253\239`\2041\016\229\208Z\005\016\129\216\231t\204\004e:n\214\154-\217]\234\196\028\b?\225\218\173\235\182\007P.\002\236\221\183\015\191A\022B\020\191I\199\156\210vJGWl@-\182$h\194\232\159+\166<\210Z\163\028\224\190X\234\194\b\241\1423\220h\225\011Z\222%h,\186\187}\129\194\150\253\214\178Do\014\203\147\168\222\231\203D\173Y\247K\171\223\132\181t\212\247\254<S\251\159l\214\139\206)`\015\230\137\232\170\147\238\250W\167I\136\224\247#n\175\ne\n\196<\238\1459D|Ol\015\250R\193\173\019\214\241xZ9\231\141\179!*)\155u\004\212\200\233t>\153@\218PV>W\129\254\016;?nA\027q\132\203\019\011\152\171B#n\223\199\017\024\020\212\132\232_\157tW\209E<\238\145lVT\146\179\129\243\155\0128\222\217\014\207\148\2032Y/\254\179(\186\180\137\161\230\254c\015J\199\183\188`1_\142o-\235\250\007%\021=\127\149m\029\127\t\236t\163\129\1340.\170\223\224\149\204\201a\185E\212\236g\012ty\234\029\026\145\216\160H\253\239\185x\nM\023\017[\177\210\178\231 \135/n\252\216[\r\006\166A8\248m\222\\u\138\189/\006\217\163\163\222\185\017\026~\161$B^\226\230g_\215)\163\187\147\204\252\"\202\173\201\213lq\227\129\197l\235\182\127\003U\t\186\028\209\129\003\141\226\198\137%\204\212\206\134\206T\230\146\t\144\238d.\135\011\186\nUI\233\003\177\228H\026\2376\152\012)\159\251cp\199\141m\028\180:\031\244hZ/n:p@Tk\138,4\233j\133\007\193\254\152}\1807{\139@-\154\147\224\164\219\137m\137Q\141t\180Y\015\2092P\182\017g\205\191\132@@\161\232\145\171u\001\023\215\239J8w\164Q\220xx\133K\218\0233\166\153)\204_8_~a\174\169\n\2329T\237\006N\156\\\n\142si\2039\138E\203\019V\152*\025\204Y\177$\135\190\156\134\185\162\218\138\254\171\218z\222s\212\203gf\143\208kn\236(p\000\206R\026}\169\213\138\132\2291\187\147\012\207\245\249\214Mg\189\214\197\213x{\r\197\206\005\243}\1373\024\181\175\159\191\022.\227\249p|\228>\001\006\149\004}\196\193\1562\224\138\136\129\137Z\239b\tR\141\216\025\194\153\244\193\221\134\230\152\155\211\235#m\001\023\128\019\227<\194(n\195^\163\018\019\215\164\150\142\tVSB\219%(m\145ll\234\164\240\164\159\215\024\028\196\232g1\186S\224>j\227\173\170\210\202\156t\"\017\213_\131\162\213n#<-K\171\136\n\196\184|<\011\224K\241\165\187\243\132\171\029\129\164\131I\000\191\138Yr\201b\198\000\249\231\197i\243F\163\198\212G]\184\\\220\255\017\153\016\026\206+?\134}\228\221\202|\025\186\022!u\182\030\199oa*\229}\227\b\147Q)\011~\132\240HN\191\228\241\217\228\255\149z\208+\239d\128~@\213\148cgq\189\255\1950\206\170\240\127\132c\019\024\243\218\219\139\141\206\026\000E \2214[\tW\155\134?\157\189a\239\203>\005\024\2509$\151\018\252\tY\201`\142\000V5\191\014\216\207\2267\221\156\206\219\236\014\150\140?\159\162I{^\184Z\020-/\223\229+?N\000\199\207\240\188\226\019\153\015e\142\142.\029~\022#\003\024)\137uu\255\224n\147\229\245\167\221\002\199\002\241T\151\216\216\132\187\027\155\203y+=E\133;\145\233b\159\140\139\153\151I\011\219[x\146\164\030\193\149\249\193Pu\204P\023\"\205\222B\004r\241\253\024c\230\247\127D&6\203W\207\156\t\179\207\198H\215\188\223B|\211\170\253yL\232[\226[\156y\t:`*\194#B\191@\n!\136\004\228\\\161\244\011A\129u\006\229\229\163\254\154:\2231\135'c2KOIm\153\135\164\214\226?\190\159\201\192\246\227\220\192\172_\181U;|\255\199@\228;\150\240\163X\248\023n\232\142E\180#\003i\028\128\157\210k^\002H\165i\203\b\231M\255*\255J2d\018\246q\t\185\239q\027\235\218\146\255\215\171\240\242 \251\163\030\129\128\018Y{\248\240\158\2311I*\255;\"\147\227\142\165e4\212&k\203N\028\254\001:qL\253\157Qw\228\210\023\236\193K\023\018\170I3N\227\237?q\143\154\196\185HO\255\n\138\212,\217\228\007\217\1516m-\162iK\220X\175\026\239\195h\166\141R\1394\021\153\030\214\172\149\221}\133T\238\1340zAt\031t\018g\136\210O\183[\127o\226\201y\022\228\233\157\214\240;Q=Q\167[\006\154fD\233 \162\247J\151g\007\166)/\231\231\250\231\249\195\130\143\185$\168\023G\025\189\150\024\138\002!\196\003C\186\152c\248\144\026\n[#\150:1\220\169\190Z\180%5jAD\183I\201\194\246\017\161\245\131\179\225V+\141m\225\145\155D2w\146E\165@\002\180E\127X\193\158\127\252\169Dc\151;|-\019\255\186\028\206BPE\254-\b]\186\193V\029M\216\007\187=\2105\203\174\129\143@\024 \1578s\192v\235\174\171\161\228\234\028\152V\131cg9\174\t\233\159\248\233`OP\020\155\160\142N\132\229\229k\169\191\028>\002\224\252\232\222i\154\187\175\224\197\252\015\243\252f\170\023\146&\006\143`X\238.3\bJ\134\171]Y0]\187\252\1308\181\220\182\196\228\189\221\154\255\022\194u\201\249\177_~\222\211\159\235\128\188\213\1356I\199[\167!\215r+C\225\171\187\178\177\148\021\t\153e\030i\007\200\218\212\232\252\128\217\199\174|[OaA5Z\157\151(\029I\172\b\129\030i\030\233Q\155`\234`cA\208fs.ixj\252y\226\\\163F\217\224\219\160\130\2229?\253D\187]\031\006\215%\003k;~\019\167\179\253\14679\147j\176\030n\132d\133*mm\227\218\174\189\141\182\230wC\197\197\237rW\0191\171L\158\178\nD\231\249Ry\130\241\005\251\201\178\178\129*{\244+\165\222\028y\n#\185\180\199\001\137\003\197V\206#\031\249#\155\203\170F\176\251*a\215\243*%#\171\189+D&s\182w\186,\171\167;K\154\230\153\229\180x:\165=\221\178,\239\244\236/\015\247\2073\139\142>=\213\220t\250TM\003MEY\202\248\228&{\165\187\203\190_^\238\\\245\232\136\215\252\011\166-\209\233\246\133\200EJ\210\245,\254\1461@\1679\247;9\028']4\208\2287M\169\161\031\219T\223zg\154=\220\144[\154\232\252c\182HV3;\157&\170\154\224\176\157\180\248lS\178\175\198_\188\191\224\250\254\250\214\243\177\233 \225\168\244\232\017\245N\215\157\234\221\187v\247\2114KL\204\132\139q\147\180\134c+y\205\207Iw)N\179\193>\141(\136\173\025zT\161\003Zk\246\017/O-=\137\1295\197\203Yt\016\014dk\151\230\255\132\217\189\011h\222\028\203l\209\149\230\195\211\180:Tj\nv\006C\005|M\133\003\1921.M#\"6\137\166\207\193\147S\189@\225\026\170c\242\222\227\226\206\223c\129r\222K&\181\199U\191(~q\001\0277\129\005\194^\015*\243e%F\199\157\241\219\1407y\181\155~#\145\175\191q\"Q\224\144\b\127\129*`nu\022\b\129\tg\023\\w\248\221\003\002\224XZ\242\024\192\1848\172Z\128iW\247=\151v\\\238\185\153\147B\161\166d\247\220R\132R5G}\163j\220\202\142\160\211\"\174\190\233|\188\137\210rd\246\t\000_NG^6\194\151N\208\180\024\022\203\000\133\146\229\148\021yS\214\207\237A\161\143R\211U\208\150\r\005I\138Y\130\235\129\020\218\2290\195\220\220\246\012\202\143\252\134\176\2034f\145'\156\155\211\153\175Q\250\240\158\017\221\224\214\133\022\140`\210x\249\173\179s\142\254_3\\\226\146DL\220Y\227\194J\150%u$\182c\168\143\165\248\168\007\237\019\183\000\011D\160\031:3\138x\248\003\184|\137\226<\232\164\160H\024\217J\156j\192\238\146\168D\183E\154\179~\251P\216\161=&P\175\178\245\151\151\177\030\nQ2\188W\190lE\022\209/\149\163\029\137RW'\217V\020`\221d\152\240\208\217\237o\148\190:\014\233\249\227\011\208Vw\127\214\238\196y\226\220\003\180I:\227\219\207\004f[\024#\204f\022\208*0\232\1474\188\218-\158z0\218\174\165\253\244OI^f\251\188\220^\131\145p |J\173\169\000\246Zm\0279\241\184\r%\212\172jcY\215\212*\028\172\255\251\237\191\230O\202\\\158\002\250g\134\157l.\216\237hS\133\177\159\195\144M\247\240J..L\n\242\253\216\016|\180\214\017\163B\178\247\206\020\177\019\203\n\146\002|\137N\235vm@\178\223\235\021\200\157\198\147\003yS\187/M\217;kRN\n" ··· 328 336 | "highlight.pack.js" | "/highlight.pack.js" -> Some [ d_71ac77ba90ea2ff852e71badb50a47e4; d_515a29ecf9fb42b4d4b2f60e1b505c54; d_5c1e02f083d95dc0e41e9589a248bbbf; d_5734b8eb1413d1570c65e88a9d1ec499; ] 329 337 | "katex.min.css" | "/katex.min.css" -> Some [ d_2d798108ddda42cb699f6ad4421e720e; d_b128d6f091a42be5d7a929703f09ac36; d_1476b6e94be68e530a90bd0723d69c88; d_e357f75b8a7d9a6031bbdc38adcf1422; d_ad152fcf832897f8629ca758460f3d22; d_7c9075f31df2a532c3135ae327c84a92; ] 330 338 | "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; ] 339 339 + | "odoc.css" | "/odoc.css" -> Some [ d_7a053e62260d74e8005f37b6c843a50e; d_26273b7b4624e2875c9e14c7cb14c111; d_fa492d3f7e09f1bd310e80bf0f4de6b4; d_dace847a98825928714b2dd186cf0e2e; ] 331 340 | _ -> None 332 341 333 333 - let file_list = [ "fonts/KaTeX_AMS-Regular.woff2"; "fonts/KaTeX_Caligraphic-Bold.woff2"; "fonts/KaTeX_Caligraphic-Regular.woff2"; "fonts/KaTeX_Fraktur-Bold.woff2"; "fonts/KaTeX_Fraktur-Regular.woff2"; "fonts/KaTeX_Main-Bold.woff2"; "fonts/KaTeX_Main-BoldItalic.woff2"; "fonts/KaTeX_Main-Italic.woff2"; "fonts/KaTeX_Main-Regular.woff2"; "fonts/KaTeX_Math-BoldItalic.woff2"; "fonts/KaTeX_Math-Italic.woff2"; "fonts/KaTeX_SansSerif-Bold.woff2"; "fonts/KaTeX_SansSerif-Italic.woff2"; "fonts/KaTeX_SansSerif-Regular.woff2"; "fonts/KaTeX_Script-Regular.woff2"; "fonts/KaTeX_Size1-Regular.woff2"; "fonts/KaTeX_Size2-Regular.woff2"; "fonts/KaTeX_Size3-Regular.woff2"; "fonts/KaTeX_Size4-Regular.woff2"; "fonts/KaTeX_Typewriter-Regular.woff2"; "highlight.pack.js"; "katex.min.css"; "katex.min.js"; ] 342 342 + let file_list = [ "fonts/KaTeX_AMS-Regular.woff2"; "fonts/KaTeX_Caligraphic-Bold.woff2"; "fonts/KaTeX_Caligraphic-Regular.woff2"; "fonts/KaTeX_Fraktur-Bold.woff2"; "fonts/KaTeX_Fraktur-Regular.woff2"; "fonts/KaTeX_Main-Bold.woff2"; "fonts/KaTeX_Main-BoldItalic.woff2"; "fonts/KaTeX_Main-Italic.woff2"; "fonts/KaTeX_Main-Regular.woff2"; "fonts/KaTeX_Math-BoldItalic.woff2"; "fonts/KaTeX_Math-Italic.woff2"; "fonts/KaTeX_SansSerif-Bold.woff2"; "fonts/KaTeX_SansSerif-Italic.woff2"; "fonts/KaTeX_SansSerif-Regular.woff2"; "fonts/KaTeX_Script-Regular.woff2"; "fonts/KaTeX_Size1-Regular.woff2"; "fonts/KaTeX_Size2-Regular.woff2"; "fonts/KaTeX_Size3-Regular.woff2"; "fonts/KaTeX_Size4-Regular.woff2"; "fonts/KaTeX_Typewriter-Regular.woff2"; "highlight.pack.js"; "katex.min.css"; "katex.min.js"; "odoc.css"; ] 334 343 end 335 344 336 345 let file_list = Internal.file_list ··· 364 373 | "highlight.pack.js" | "/highlight.pack.js" -> Some "177a08a11a222f672c70d7d8c64a1bae" 365 374 | "katex.min.css" | "/katex.min.css" -> Some "1a262c83aa48d3ba34dd01c2ec6087d8" 366 375 | "katex.min.js" | "/katex.min.js" -> Some "0376fd70eef224e946e13788118db3d1" 376 376 + | "odoc.css" | "/odoc.css" -> Some "e65986891f8113aee9c7ef66053656fb" 367 377 | _ -> None 368 378 369 379 let size = function ··· 390 400 | "highlight.pack.js" | "/highlight.pack.js" -> Some 13212 391 401 | "katex.min.css" | "/katex.min.css" -> Some 20978 392 402 | "katex.min.js" | "/katex.min.js" -> Some 270376 403 403 + | "odoc.css" | "/odoc.css" -> Some 15209 393 404 | _ -> None

+1 -1

test/generators/html/fonts

··· 1 1 - ../../../src/vendor/fonts 1 1 + ../../../src/html_support_files/fonts

+1 -1

test/generators/html/highlight.pack.js

··· 1 1 - ../../../src/vendor/highlight.pack.js 1 1 + ../../../src/html_support_files/highlight.pack.js

+1 -1

test/generators/html/katex.min.css

··· 1 1 - ../../../src/vendor/katex.min.css 1 1 + ../../../src/html_support_files/katex.min.css

+1 -1

test/generators/html/katex.min.js

··· 1 1 - ../../../src/vendor/katex.min.js 1 1 + ../../../src/html_support_files/katex.min.js

+1 -1

test/generators/html/odoc.css

··· 1 1 - ../../../src/odoc/etc/odoc.css 1 1 + ../../../src/html_support_files/odoc.css