base.list listing

list2.js

{"namespaceListingChildren":[{"tag":"TermObject","contents":{"termName":"++","termHash":"##List.++","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"at","termHash":"##List.at","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"}]}},{"tag":"TermObject","contents":{"termName":"+:","termHash":"##List.cons","termType":[{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"cons","termHash":"##List.cons","termType":[{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"drop","termHash":"##List.drop","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"size","termHash":"##List.size","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"}]}},{"tag":"TermObject","contents":{"termName":":+","termHash":"##List.snoc","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"snoc","termHash":"##List.snoc","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"take","termHash":"##List.take","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"foldb","termHash":"#017bvhctrkag6e5gi0c811oathfjr950kbl7crurbf8fjtf9s5t021nb7rlrq7rf5hquakel1duke7jh4kc10t3sbikrlaj6fl5314g","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"}]}},{"tag":"TermObject","contents":{"termName":"intersperse","termHash":"#02f50ags7sss21fgo8kfuavcb7485jvn8oqds0ijjnv0me8fhbh3usk2cb59s9fg64378nb2cvg0g0p8e7crmmimgg9eik1uskaejsg","termType":[{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"foldRight","termHash":"#0em1d2c88tm3q11tsg1bccv8n3eocltnlnue2nsaos7u6hrnvdg97hc9aj2f1l4guk4f6g8p30taqfksbv7frl5kt8gmdkvio7j1pfo","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"}]}},{"tag":"TermObject","contents":{"termName":"last","termHash":"#0mcd1kai8e4d9pbbkvh97n6ut3m06iindalvhqn397jj6pqh42hh87t09ak4d5e1tie1dnt0ebh6qvug80f04b9fbftav046e795boo","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"}]}},{"tag":"TermObject","contents":{"termName":"splitAt","termHash":"#0taj91tipeq9lrvni5dl94nnppfrp3hl3pus6qr66cnqprboprfem154c2chlalvc4j51oc6jk88s75ppv0pa500o40vlt6lp73mb3g","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":","},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":")"}]}},{"tag":"TermObject","contents":{"termName":"replace","termHash":"#16qjsrhv7rblpv0ttfrg9lmdq3671de3k37ij3o7qijhpq85u9ob7aq2tsklo65pr1m3ab7v62ibg3ck6q4p2mf9i7mniakcefuljr0","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"span","termHash":"#19a7gdqfe1dcdc21nbmob31c0irkavn20iur2stskqvsqu06ravrq2db16e5u8pbhq2k76ckp9rljgr4irgn7ci14uq0qfkmd8feg9g","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":","},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":")"}]}},{"tag":"TermObject","contents":{"termName":"mapIndexed","termHash":"#1rhh8bar5e793qo5to1hjvhbvu1vpc19kb27ctr6fr86ker75bdkfos1nuq1c5qog83fi93h0t29je76m2ra3kgeavt970d7nrss508","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"isPrefixOf","termHash":"#38hfsomlco6r2cr2iqi0q754ggjthsn45j0ogm4bjgsg0pdrk8tksctpjaus23dej8epcisej0108sj3i3plj21sa0qqnuffg896jmo","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"}]}},{"tag":"TermObject","contents":{"termName":"concatOptional","termHash":"#3c2ddn5suct2gb8hiu6t8qpn4l75lpteudiglmodl1qupf51bo0gcofpjs1qp4gi3t4o2l33lb9isq7iveq6bqmmpt69168okjt9vc8","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"takeWhile","termHash":"#3cbd3grln5qq0hspjinq99hsh4jv25t5anmullht7612lbcuoguqathn82qr59lriamk3kmeit34i5bbmiplij4o9pd3fkkapi858to","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"range","termHash":"#4ecde41qvffhfeis46dh15ejfcriu0iihc6msmcqmpruc9e40ojl4i9lvb4it0vi4ikf8v9huc8eop4utqe7giopkcatd0uoubrq5r0","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"distinct","termHash":"#4ep2v79uuvgb7c90kto8jl6qi7ivhse10tkl7a4a8466770pqsr1c66emv70hfdjotcqh8hiasmkn8g13epjm6sr7se3p20bkieesrg","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"join","termHash":"#4obsc8rgr225tst6i5jv4pik3fj91afs6542ecfbh6007mig8pkihs6i191bkqfe9kh1odn2l3o0q2jbr9947061vctkhsqaj10l20o","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"unfold","termHash":"#4omhgrnp2n42sku6t4kpg38rpe4qbvqc7l909a9v5650msj11ropb7s3ndptev3bimrh23fh120vajcu8h86o43pbofnd6b9dqtv6do","termType":[{"annotation":{"tag":"Var"},"segment":"s"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"s"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":","},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"s"},{"annotation":null,"segment":")"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"groupBy","termHash":"#69n4ddv75rnoem322irqjo4irbh3omioodvd643do4n15i5uthk8955qnfo216rr2ga9jt9i2mdv0c1br45qrhoeji10k8sb1ldd928","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"v"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"k"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"v"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"jk39javgi28eog9lmpblqeg6eb6dkv9f2eo1kauceki0h7g0t9tbg2oi3u4qioa5d0mioptr5548049odbuv9tg34s6foqs26hf1feg","cycle":null,"cid":null}},"segment":"Map"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"k"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"9f58iojnfqnkf14ifh966q052vv9u8f3ov58icl53qre0jtn2m05fdfhasnjllvv7qv599ctbt188uc2b7d8bp4em1ds4t9lhvnkuso","cycle":null,"cid":null}},"segment":"Nonempty"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"v"},{"annotation":null,"segment":")"}]}},{"tag":"TermObject","contents":{"termName":"isInfixOf","termHash":"#6k8iquckjf6i5s8sm5qf545ehe9gkgjmel8tpjdfnprk94m6rjelq5nj1ptmor2e3t5cmf4qpn0cdrss7m8925r21kuu1vka4kbmbjo","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"}]}},{"tag":"TermObject","contents":{"termName":"insert","termHash":"#76q0f96nprvosr72m4afr4csvn6e3smh05agbtn9dkm71b6heormn8ueoa03bkfaklsiqp90f7nqoef8ubbdqq28bbedd394lqbs628","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"minimum","termHash":"#88vq542m88s3kb602h88t5p06eon71cu6dfj3m2tmjtmvgsdoa787b8i1582kgok1ve0c086vbv4m5voc90m6slud4etb85j0bf1fu0","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"}]}},{"tag":"TermObject","contents":{"termName":"scanl","termHash":"#8qnrncdeoentntkdl2nui1qn7pjr2l76pccgdgrvp1u2pl5b0sf1dvvtqbchba2oo6t7cc7e2cfm8r40e6h9pa9gr347842h1ne4858","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"9f58iojnfqnkf14ifh966q052vv9u8f3ov58icl53qre0jtn2m05fdfhasnjllvv7qv599ctbt188uc2b7d8bp4em1ds4t9lhvnkuso","cycle":null,"cid":null}},"segment":"Nonempty"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"}]}},{"tag":"TermObject","contents":{"termName":"subsequences","termHash":"#91m7j81bq3rumngog74mjadkeivqjdvevekc4n3gt0p4pv0rn7d2g2lknj0v67capjegteglc76hba98cmma6e3pk3jabco8uvmg1dg","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"all","termHash":"#9n3hu1tn1bjvv1timi0943b6j5bk0t6uqentcjggmb5jfebgr22800lh7q9ac8igfbdovba203l0bt1jcs2c1lhlbtpha0c1rfb193g","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"}]}},{"tag":"TermObject","contents":{"termName":"inits","termHash":"#9ukcak92g83od176vm0vbpcuva1c8ag5b96qc5a7fhli33a288bt1ol1qafeuvjhoi39am7vpm0ggp8mr4vnk03epbge65qt289ge8g","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"halve","termHash":"#a2k14s30mfe0rj6tafhr7rrl4du5n1mao7ob5tufp1d1b4slm4rsursnnntulej05ll1qism962mbrrcbbccjn167hq196nuod9f63g","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":","},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":")"}]}},{"tag":"TermObject","contents":{"termName":"none","termHash":"#a88kmel7vb4ag0f20dsh24vmf4mkfqref1uv5fapcrnb8naqf905ephght7miu9ep0j5m206l6msesnckaqrrjptdc7k3d2i0kci800","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"i"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"i"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"}]}},{"tag":"TermObject","contents":{"termName":"nonempty","termHash":"#ajft6jqvmc3irql3eodbkqe2i9pvs9cvnone0ak2jpenp4803cqoetu87jm36qqmof0e00ul95plkm2ahsbea68emaljp4ll849g848","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"9f58iojnfqnkf14ifh966q052vv9u8f3ov58icl53qre0jtn2m05fdfhasnjllvv7qv599ctbt188uc2b7d8bp4em1ds4t9lhvnkuso","cycle":null,"cid":null}},"segment":"Nonempty"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":")"}]}},{"tag":"TermObject","contents":{"termName":"replicate","termHash":"#apd2pd0ob7k20kqui8q43ns0840dbubc8p5tuh183n2q4d44qmqnfnhk3vpga0m6r8ci4e6jlhlu52vbpkj1p28tsgchm2m7tss620o","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelayForceChar"},"segment":"'"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"init","termHash":"#atp522l2v23mubqgqj5n4knq7dh0nd0a6lu81f7hjfd65q5l5u2qna56dkqbto93o1dk94gr9ba56qiop0ei1b4d7c38ne0b3tmcao0","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"stripPrefix","termHash":"#b8qj2lgutar2pul64mj6pmoeik0ia14gbls4ulgpu2ho401tufdmbujq427ojkinn4mng665l3sr37no14kfa1e7pt9h19n41aop6po","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"isSuffixOf","termHash":"#bi2d1jefnshs17e2lkomjlol3kqdoq5isjpaqpbok67ag1t8r1nt0leh75kfb41bdno29i86plrnrr85rh3bfenbgmn29ejvaef2c8o","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"}]}},{"tag":"TermObject","contents":{"termName":"foldLeft","termHash":"#cqe9aa74fsjcg589r4rkiif3rm6o4trk8n06bg5d9rbhsaf1eiehmeufotfcsde4h88ldg7d21gcdi822925qlub4cr3bip7ssihrt8","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"}]}},{"tag":"TermObject","contents":{"termName":"groupMap","termHash":"#e3bccu58uvajfvtng0be3vol00app0a9u2t44o3f78tdb2pj0r3pk2jrrg4udvrkpnnj98k7ikelsqn2rc85sm00ll1cadgt118eejo","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"k"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"v"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"jk39javgi28eog9lmpblqeg6eb6dkv9f2eo1kauceki0h7g0t9tbg2oi3u4qioa5d0mioptr5548049odbuv9tg34s6foqs26hf1feg","cycle":null,"cid":null}},"segment":"Map"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"k"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"9f58iojnfqnkf14ifh966q052vv9u8f3ov58icl53qre0jtn2m05fdfhasnjllvv7qv599ctbt188uc2b7d8bp4em1ds4t9lhvnkuso","cycle":null,"cid":null}},"segment":"Nonempty"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"v"},{"annotation":null,"segment":")"}]}},{"tag":"TermObject","contents":{"termName":"uncons","termHash":"#e95a9ev05jdao981r1qcb3cott58bonl77jm205j4uv8ctvdedn5rthicig5igb4veoqvgdoklhnfpsvlelvbm72gk53b232mgei1l0","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":","},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":")"}]}},{"tag":"TermObject","contents":{"termName":"empty","termHash":"#eif1mbcepvfub7brhmoag9l1v2qf60n2i1jidsokutkln6o887hpo7s8ldq6fp78jqfqrobhncpru8ptbr49h15cbiljt7l3oscc81o","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"unsafeAt","termHash":"#etge4adj957jmmosh03foaafoju2rjidbu8hmv0nnqkt3rg80q50hnn7ukr7ve9lmfgjjsm5ul5eeq7b8vbk1j6u4bopov2j4r3u2v8","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"}]}},{"tag":"TermObject","contents":{"termName":"sortBy","termHash":"#fu8msvtvjdaeiri7avbpuskjq8u46a5uavih5tcqmaneg1u3fpg1q5jj17q65pn60ina8e6pdtinbhps1g97ghi7nrimtfhh7rou8q0","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"rights","termHash":"#gjfsi02dllolqbk13cv0v1bgofd7epvvflvmaa630vp4a35ifeikdcg396a6kjdhuvlurq01gq0noak0e1m25c0u2fi3fnqtvh8ke3g","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"kc92tha5f12vamultsbq93aqnphg9pnhuq3sodqvhes6st2a3h5sd2rksuptds94ptvvpg0tj0jp1rehlb73rkn0kj2r6elkdqndhjo","cycle":null,"cid":null}},"segment":"Either"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"maximum","termHash":"#i39m1g0c2ul9o9tock1khnhol1jm61tjsfqfcfmic4l2s07fm4cg80f8d7lcglrnqrn1m2p6urpp8dm4h2fh3lge5ll5ioj5dkg9h7o","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"}]}},{"tag":"TermObject","contents":{"termName":"split","termHash":"#i5ce1lmrt18hvb868ube20p0e9o5g0i100b0n8l775eaud8a4nrtplrpo59mu0nnmtno0mscgvao63v6702bhkfduvtclt0h3hij850","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"map","termHash":"#j1ejquc7so57gceg2fsnurckebs21napum8h7jbs58bmefncgvb8h654kcp6tdt31epf25vka01q0plg8dqbl9fat988n08i1571qtg","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"distinctBy","termHash":"#jb085q8pptddjja4oul1vkps4od1ra10id96i9npncfieulc5u7426ro15uf9uirgf4p9sge2l7c64ss45kgcf7tqbloagk0dsq1lv8","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"g"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"g"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"groupMapReduce","termHash":"#jv8uq990okgjtqtgshcbics6tb5lcsdpg7d0ktf0mju9hfc3ovb962r28fm9kbkjg795505gfmpln8cg0pjcggu9m8igvljugf848t8","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"k"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"v"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"v"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"v"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"v"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"jk39javgi28eog9lmpblqeg6eb6dkv9f2eo1kauceki0h7g0t9tbg2oi3u4qioa5d0mioptr5548049odbuv9tg34s6foqs26hf1feg","cycle":null,"cid":null}},"segment":"Map"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"k"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"v"}]}},{"tag":"TermObject","contents":{"termName":"indexed","termHash":"#k3c17f57vcp9g8h3l8tejqrhe7511p1fku70j713vto9d70a594gf5up60h2fqvtdpg1bdv5pt5suf5tj1cni3lhkq7cem2bm6hchm8","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":","},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":")"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"somes","termHash":"#ks5j44gjj2r3o9s4hq55s0iin8g6inma15evdpim97dvern44j48i6071r40d03ou4967t464sitkt2idi0dpv4p5sf3jth0k8inmc8","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"tails","termHash":"#l8ah5rgo5l71eu7ejodi5gup2dgt3r4rjq3olruou9fe5deg5b6vtoevdoepokg263bf5ofhhs0foc7aso23ftdfedgoer1n585lhe0","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"nonEmptySubsequences","termHash":"#lof44uqn4iqbltb01panvaq67vqchnp9lnracr02ut6p16t7l3v172lsa9pkc20l81tb08pllffhlsrot0e7ke6p54p29a72k5bgdgg","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"9f58iojnfqnkf14ifh966q052vv9u8f3ov58icl53qre0jtn2m05fdfhasnjllvv7qv599ctbt188uc2b7d8bp4em1ds4t9lhvnkuso","cycle":null,"cid":null}},"segment":"Nonempty"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"deleteAt","termHash":"#m86mctd13ogilk6djod6os4gtp1og7udbrbgj0g9siu7798o7mmes1audh1eukn7oh53h0eajv8l0brnmtg9f4c21nrscvjqjk84a1g","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"partitionEithers","termHash":"#mk290fi6jmelf3d3bouvllngp0on9ve1p1dkm1fh9uq6vnht4ntljrb2utm4tqlr8i836vh5kkduoad0rj65p4re1gvor275rvj3qt8","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"kc92tha5f12vamultsbq93aqnphg9pnhuq3sodqvhes6st2a3h5sd2rksuptds94ptvvpg0tj0jp1rehlb73rkn0kj2r6elkdqndhjo","cycle":null,"cid":null}},"segment":"Either"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":","},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":")"}]}},{"tag":"TermObject","contents":{"termName":"diagonal","termHash":"#n1l3j30gpt41mhhbkca0ujmea7nhotjmv7463a554ltit0lhu4k6brt6pc5bh5qb8l9qnm55ueptmi598cg40ikmbesomnv6637qrho","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"dropLast","termHash":"#n2677veevp0lm0jsk0n1sffushoto7k2pg9na43c2m5hnmoc3bm6ieebe8987kjtsmd0dg7hcmprbrs69uose8h1t1ll1mc5462ffug","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"scanr","termHash":"#n2vcp2eua8o30o0nul7g4ftt51s6679733brdsm06dua9bk5ojosogij77j57ns0ed1e5j6q5eei5n03dcibk329pkfd8vsufsrjtgo","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"9f58iojnfqnkf14ifh966q052vv9u8f3ov58icl53qre0jtn2m05fdfhasnjllvv7qv599ctbt188uc2b7d8bp4em1ds4t9lhvnkuso","cycle":null,"cid":null}},"segment":"Nonempty"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"}]}},{"tag":"TermObject","contents":{"termName":"dropWhile","termHash":"#n6vp6qhempi457q5a3js3oas0cte698a33j03m2p06m1gqj60k8fm4nh97mkfphfahrn014r6bmp99pqinojvot7hpedm06gfclrpm0","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"tail","termHash":"#no16e2j3b08opoqtjq1565tc3hu1m1s3qmurr2p10cgr8ceui8tu7kfm94bkbuqs1tuasr6tv8rb5udg401k75m28ns3aqor9kceh6g","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"head","termHash":"#nteff59i5t8e6p37r4paprh5v42jqrj9rlcsgu05i57pqaiivukqq161fi34dec59hip0v48uc0gk3h1vkulpusnr9m5gsqiae10k4g","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"}]}},{"tag":"TermObject","contents":{"termName":"reverse","termHash":"#nti1cua2e466l67gjooq3empcf56ccbtqrhm7fcap3t515g1kru8irtamof0taq4fl3efhv02t28afrt4cd2qq754kpgkllbjk01jf8","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"any","termHash":"#o8dfai63ij3vi035ekgntappg20mim9qt8gatho216dr40g6bgmek5li3clbfsrsbd02lkq0kf3p9gti6ce0htdndp7a27ck9shqi80","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"}]}},{"tag":"TermObject","contents":{"termName":"powerslice","termHash":"#oa85p05elaom5e557s9gv0tcn7dvcbe4r7shqvngq4kmmb4hsi7n3n9ula44s7lu146rlfj87ih941oeigbf8v5n37aojjsmqle4hfo","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"fill","termHash":"#on548j1qnnrlm747ijaoekla8ljubgk689uhqj4d6ue22ml7uspl2e9djsgtpar3nj36u1j0mcsv4il83tq0gh7hu164rebagebaa7g","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"zip","termHash":"#ooldaeqlo45hkl73dsa121o1amqobrq05vn8spick71tr8cla30aq5109fpfoqom41bica6b0e5isic60hm6nek1avplc9cvop8hmqo","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":","},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"groupSublistsBy","termHash":"#p9c81ce74uu6lck4e6a2qipgvrg93rkc3sukoko2ri4gopk27ivl3101p22cddnmmnqpvijvt4unv5ql470bjmk3dggm0a4k1q0m6to","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"9f58iojnfqnkf14ifh966q052vv9u8f3ov58icl53qre0jtn2m05fdfhasnjllvv7qv599ctbt188uc2b7d8bp4em1ds4t9lhvnkuso","cycle":null,"cid":null}},"segment":"Nonempty"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"unsnoc","termHash":"#pcv60r843q8mkij85588tha9196eao3tc1p2dqu3ucn1gf5m8njlv46ke3jal1labkkq7r96bg3hagb2tr1lfm4353b0u8ltgqkatj0","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":","},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":")"}]}},{"tag":"TermObject","contents":{"termName":"flatMap","termHash":"#plhhvj2creihkbhs8kra2jke23ftu9ftvsoo05b4d4j9lbi49vk9n9qnchc101e6ne6f8jq1venepfh6144490hu5bh3oe6tlcbts90","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"groupConsecutive","termHash":"#r25c2boho39hel4uc85e7i7qb95jq9f7sfbbhcnlm9a1cj2a4kaggjpcpr886bl2t1jjlipbm93sksp57vbi6qh3rban1dk25betie0","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"9f58iojnfqnkf14ifh966q052vv9u8f3ov58icl53qre0jtn2m05fdfhasnjllvv7qv599ctbt188uc2b7d8bp4em1ds4t9lhvnkuso","cycle":null,"cid":null}},"segment":"Nonempty"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"slice","termHash":"#r2hevaio9j8f5o9biudotg038utm40fuv27suj3jc8tj0a0nqqb37mgbh6ji9kr05t6o0pv5s14f7n8geagkrk1q2so48k7p51hv0cg","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"singleton","termHash":"#r9am8djs9rigjgauq92dshmfc2dhdvbgvkvsl9tnt93gthoo4ijqn6pgjtu5i0n6hutkq3n89cu6k8fbql57hjktd1gtum9gvet67i0","termType":[{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"filterMap","termHash":"#sgdvo1kgcndsnkucqhcr5gm0dsen6tk3njukcbbl0i6alpbh1no94douq5ilnjjtgqrr2t53e5fj2u007hnpvuodnunstjvouic2u0g","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"5isltsdct9fhcrvud9gju8u0l9g0k9d3lelkksea3a8jdgs1uqrs5mm9p7bajj84gg8l9c9jgv9honakghmkb28fucoeb2p4v9ukmu8","cycle":null,"cid":null}},"segment":"Optional"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"intercalate","termHash":"#tf031ba3q5tl06d8d4pms90da1f32n80qisee6ligsno5ijnqgu157qj4dllvpdctenro2l9f8tl27blfq0op97pc6hm9me9buk9d90","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"lefts","termHash":"#tra807h1malk1510713uj2o6vkgtsbmlaq6sr51kid9cfree7fituvarosgcjqhijsbri0fuvtjorcsv1c2j3mtpfjamkhk77tsa6vo","termType":[{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Reference","contents":{"tag":"ShortHash","prefix":"kc92tha5f12vamultsbq93aqnphg9pnhuq3sodqvhes6st2a3h5sd2rksuptds94ptvvpg0tj0jp1rehlb73rkn0kj2r6elkdqndhjo","cycle":null,"cid":null}},"segment":"Either"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"contains","termHash":"#tv6f1hvi9h45lquufnbv814qqad26gbk0pqaa7rrjq1u24jv4ut7cq9b3msnu12jav4pg5gic85piphd1lcoa0fhjhmon060gcae4o8","termType":[{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"}]}},{"tag":"TermObject","contents":{"termName":"filter","termHash":"#u0asm0rr86m81omd4t5a1d3ko7bps3r3c7ap5at83juoub1nj963npbrb028tbq35ed1ui8lprj7avnfm4esseeiokthgupoaatnjeo","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Boolean"}},"segment":"Boolean"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"initialize","termHash":"#u7ugse6fkvo9q6u2thfp9nk40u9b06cclsh6j7d2ecd3pmmc05n15m14g3i1vr5t0j8qs93fvk3bcr7h4rck6s9tkiflohjpqvsda8o","termType":[{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":null,"segment":"("},{"annotation":{"tag":"Reference","contents":{"tag":"Builtin","contents":"Nat"}},"segment":"Nat"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"e"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TermObject","contents":{"termName":"zipWith","termHash":"#umjdhe7ss9ls7fre6kmv2j6dndjaolb6l6npkm6bv5vbreb1qkcenj8jqjpnibqg00a55bfgap7olg13s0n0ecg4erd70dle5nrs018","termType":[{"annotation":null,"segment":"("},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"Var"},"segment":"c"},{"annotation":null,"segment":")"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"a"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"b"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"},{"annotation":null,"segment":" "},{"annotation":{"tag":"TypeOperator"},"segment":"->"},{"annotation":{"tag":"AbilityBraces"},"segment":"{"},{"annotation":{"tag":"Var"},"segment":"𝕖"},{"annotation":{"tag":"AbilityBraces"},"segment":"}"},{"annotation":null,"segment":" "},{"annotation":{"tag":"DelimiterChar"},"segment":"["},{"annotation":{"tag":"Var"},"segment":"c"},{"annotation":{"tag":"DelimiterChar"},"segment":"]"}]}},{"tag":"TypeObject","contents":{"typeName":"Nonempty","typeHash":"#9f58iojnfqnkf14ifh966q052vv9u8f3ov58icl53qre0jtn2m05fdfhasnjllvv7qv599ctbt188uc2b7d8bp4em1ds4t9lhvnkuso"}},{"tag":"Subnamespace","contents":{"namespaceName":"Nonempty","namespaceSize":73}},{"tag":"Subnamespace","contents":{"namespaceName":"all","namespaceSize":3}},{"tag":"Subnamespace","contents":{"namespaceName":"any","namespaceSize":3}},{"tag":"Subnamespace","contents":{"namespaceName":"concatOptional","namespaceSize":3}},{"tag":"Subnamespace","contents":{"namespaceName":"contains","namespaceSize":1}},{"tag":"Subnamespace","contents":{"namespaceName":"deleteAt","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"distinctBy","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"dropWhile","namespaceSize":6}},{"tag":"Subnamespace","contents":{"namespaceName":"fill","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"filter","namespaceSize":4}},{"tag":"Subnamespace","contents":{"namespaceName":"filterMap","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"flatMap","namespaceSize":4}},{"tag":"Subnamespace","contents":{"namespaceName":"foldLeft","namespaceSize":1}},{"tag":"Subnamespace","contents":{"namespaceName":"foldRight","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"group","namespaceSize":0}},{"tag":"Subnamespace","contents":{"namespaceName":"groupBy","namespaceSize":6}},{"tag":"Subnamespace","contents":{"namespaceName":"groupConsecutive","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"groupMap","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"groupMapReduce","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"groupSublistsBy","namespaceSize":5}},{"tag":"Subnamespace","contents":{"namespaceName":"head","namespaceSize":5}},{"tag":"Subnamespace","contents":{"namespaceName":"initialize","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"intercalate","namespaceSize":6}},{"tag":"Subnamespace","contents":{"namespaceName":"intersperse","namespaceSize":3}},{"tag":"Subnamespace","contents":{"namespaceName":"isInfixOf","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"isPrefixOf","namespaceSize":3}},{"tag":"Subnamespace","contents":{"namespaceName":"isSuffixOf","namespaceSize":3}},{"tag":"Subnamespace","contents":{"namespaceName":"join","namespaceSize":4}},{"tag":"Subnamespace","contents":{"namespaceName":"last","namespaceSize":10}},{"tag":"Subnamespace","contents":{"namespaceName":"lefts","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"mapIndexed","namespaceSize":3}},{"tag":"Subnamespace","contents":{"namespaceName":"maximum","namespaceSize":3}},{"tag":"Subnamespace","contents":{"namespaceName":"minimum","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"nonEmptySubsequences","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"none","namespaceSize":1}},{"tag":"Subnamespace","contents":{"namespaceName":"nonempty","namespaceSize":1}},{"tag":"Subnamespace","contents":{"namespaceName":"partitionEithers","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"powerslice","namespaceSize":5}},{"tag":"Subnamespace","contents":{"namespaceName":"range","namespaceSize":11}},{"tag":"Subnamespace","contents":{"namespaceName":"replicate","namespaceSize":3}},{"tag":"Subnamespace","contents":{"namespaceName":"rights","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"scanl","namespaceSize":8}},{"tag":"Subnamespace","contents":{"namespaceName":"scanr","namespaceSize":8}},{"tag":"Subnamespace","contents":{"namespaceName":"singleton","namespaceSize":1}},{"tag":"Subnamespace","contents":{"namespaceName":"somes","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"span","namespaceSize":4}},{"tag":"Subnamespace","contents":{"namespaceName":"split","namespaceSize":4}},{"tag":"Subnamespace","contents":{"namespaceName":"splitAt","namespaceSize":4}},{"tag":"Subnamespace","contents":{"namespaceName":"stripPrefix","namespaceSize":4}},{"tag":"Subnamespace","contents":{"namespaceName":"subsequences","namespaceSize":2}},{"tag":"Subnamespace","contents":{"namespaceName":"tail","namespaceSize":4}},{"tag":"Subnamespace","contents":{"namespaceName":"takeWhile","namespaceSize":4}},{"tag":"Subnamespace","contents":{"namespaceName":"zipWith","namespaceSize":8}}],"namespaceListingHash":"ciavr72jqgimm6ni3ten886e8qsls8qfqu90lbrhnn8ojgq6rtmdju39jtf0klfpnmnsk9mfuqufhnoa8dghpf31gagojdq8l69lgeg","namespaceListingName":".base.List"}