vera/__init__.py,sha256=DUBkqUgazlM7cn03gCw7xN3v7YZGwg1K6EB8s5MlwZE,974
vera/_since.py,sha256=cp0cOJuW7SZDBgLo-BYKY63qBX4Pow1wJ3SlDmlCDqo,11458
vera/ast.py,sha256=mOAGqxFSxX553ufJvrkza9KNfY0dNfywuS3ymmIJ998,30047
vera/binders.py,sha256=eDUus0BF4Ell_J4l_oEiwmLWmkKt_-SiAuyWqJVhVKY,25940
vera/builtin_domains.py,sha256=RrnBZXgAEilLIPaQyFngo8pr5eyCrH_wz5-OwjKxzBU,5020
vera/callgraph.py,sha256=l1-GLCS2vCHylypecB_-dkt1cACvPmpTywGrcXoDehU,17422
vera/carriers.py,sha256=rJ_pVzxFHB_lb4sPUKuD7oYQQxnc7cp3cDykg3XX-TM,7582
vera/cli.py,sha256=koPg9dG2Xie3gezaHrMMk2yjf4YsRZgCYJXXnZTZsDI,105517
vera/disclosure.py,sha256=eNQHaGIgCEVzuQabNdzWEgRiHLHK6uX81usIDg-TEeU,26295
vera/envflags.py,sha256=uZhlCiyj8LZDXjLS_DnZigPNavkzFG6lMaDz9bGVNXY,1557
vera/environment.py,sha256=rvlOcWNwZ0HavFvBJK2U5usa1tkajtSi38t436Sx1oU,93903
vera/errors.py,sha256=C7_eOYGeanTybkxucZfmtdkTtL7Lz_ix1F56uefju2s,44976
vera/formatter.py,sha256=xLyIlS7l0KiFW-gilyHR1Fk8iYgJVSCx0IlUHQu9wFQ,86726
vera/grammar.lark,sha256=hufNnaq-C5OP0YjDbzlGdr28de7hY2Q4qH-Pg1zsGgo,11640
vera/introspect.py,sha256=IGgZJ4Q7kmyBJ6yrtZnshvGf0ZhnRg3u-Pm2hYM26Xo,4807
vera/lexical.py,sha256=yjvkqibq8LQfDJsNeFQz67uQ3ZMurAcPB8W3VAbALo4,12394
vera/markdown.py,sha256=5ZmYFG421fq9EPBxnWB6tZ6LMcfxP57gYmh7Op8lEJI,26629
vera/markdown_grammar.py,sha256=rw7OgpXvsZ3jWNaUyuLuAqULx7Rl8C5tEV_rBT2X1BU,5950
vera/module_view.py,sha256=l8PsufsUgyuhdVuluhcfqRnQXC78H1ocjZtHnarlQ7s,5893
vera/monomorphize.py,sha256=preLuRWa1PbGRPiDJv0-lt6lbtntHSMBgKzO3giZ_-g,239490
vera/naming.py,sha256=7owZIGjvtAP8fmWmxjdIYI7x4cYAzU-lkMbFuNX-5dE,52808
vera/narrowing.py,sha256=R7b3fV4TpFpPNiZh2UG0f6BZ83rdH5FKnCcTycMeEdA,68138
vera/parser.py,sha256=Ze5ilkBbijXdZRzd08aM4tUsBELxOvDRUlBZDxdLwL0,7771
vera/prelude.py,sha256=3cXn0qmLnzoicLowXasY2c5gs3GSAzh9HNGbWBs8H4s,48179
vera/reconcile.py,sha256=jhTJEiAKjNhw9t_7hO9IXYRgve8pkS50Z5bYgJ01NhM,60884
vera/registration.py,sha256=euXB_wgjBjpNNRV0-BbxPSuZJqnaWEj_3sNp68QmZ1I,6638
vera/regularity.py,sha256=s9oU3ukmoTq_oT-_DPxXutS-4_hnlPKtRcWMcH5BYRg,17863
vera/resolver.py,sha256=ciRAztYfk8gYixhbuZ__AMQwdflCU2t5lh_0U99Tm20,16382
vera/skip.py,sha256=B1Qz8wRieW-Pgf-5QTOhyC0DA4RR4ECJG8tWM376X_0,11744
vera/slots.py,sha256=wkq1GRo6B8ex3zI9IAek5AiQggf1CkxH3GFdHRJQT4A,23693
vera/smt.py,sha256=MgfH7GFBjSpI30bbILlYQo8pRQQ53GNV2qASAVdlXCM,246022
vera/tail_position.py,sha256=DS04Cscn_tk1A3S2VuCYRlay9pFZA9SXMlK7ElYZto4,5662
vera/tester.py,sha256=bLBKNgiPYx2YqZpnABLI0IbWRBQa0lMm5QGqtZ0iuFE,104971
vera/transform.py,sha256=rfOfPmsyTddPD3raEJ6qYofBIAK3NrLlEfDgRS1sXBU,59030
vera/trap_registry.py,sha256=CaEylfU3QPTa8AV9KU1Z4KAaUCcMHH23To9PdK4h4cE,52873
vera/types.py,sha256=hdBPuk-xBTaoYCk8KX0atf9ojME_bvpLLSMM9bsVy_U,55249
vera/verifier.py,sha256=YVETuEwyoCyUqtfsqPnjmwMTC6w8i4yB0rd_ZY6bP5k,885811
vera/browser/__init__.py,sha256=792RZz72GsxKJT3_wHBLi_U3EAOlbiK_pvbcj3EMiR8,54
vera/browser/emit.py,sha256=d-ly8J71FIJYCI8Aea5yCtuOBs5_aVV32vNcRm8tP5w,3696
vera/browser/harness.mjs,sha256=cnVhOVnmEPsMxCIg9QQ0dEo1zOsrj7FtrO9n6G_gMtA,3443
vera/browser/runtime.mjs,sha256=y4cTnGR5AKDzKSytYhpQh32tt2GY_HOcbt_ti9rw1GQ,167953
vera/checker/__init__.py,sha256=VL7x9W8y4IRCrFWbiITSeJwY-k3qb5DlDVJKhL4m45g,214
vera/checker/calls.py,sha256=kN4in1azZvTUEl8BJnfaBV3edWM22tCG_zQI-YYcujc,125870
vera/checker/control.py,sha256=SczkQM6bKBBw90RIdp41bkTowdmnp1zF-VxucRE845Q,66626
vera/checker/core.py,sha256=Cdj4s-6FmZWffD5id66e39akczRDRAmblcLjL5_zo3c,85495
vera/checker/eq_ability.py,sha256=ayBPHp8zUXPlogZHr7ioCXmcdO6T3EnHovnXEfGjAIk,10403
vera/checker/expressions.py,sha256=Ig_2RuVVkuhNWt07xCrQiNWiXgAswOuveB54RVeqVZk,89927
vera/checker/modules.py,sha256=oEP3zswk-T5QAtjHMFIlori3c3w0rlIK8-_tcn8Ccno,37509
vera/checker/registration.py,sha256=wvcIxkXmg3Q8PBJGyJDcTCTh5b9oMIuxp_LHRsoCeaw,85002
vera/checker/resolution.py,sha256=eueeVFlRfT91knY-g9GG9Jz7wMCTQjvvgzIx_FibM5k,55794
vera/checker/sql.py,sha256=850hhNdultIz76sY4tSkhnXt-ntweecs6UC8BX-xZPo,16867
vera/codegen/__init__.py,sha256=VRb20QYOJ4reX7S3LqTMaxtxcgkHgMVKWN9LELlZaP0,574
vera/codegen/api.py,sha256=G7ZzR0O0WMUHiNk1jLtp3Gp5lNGLYATzUA2kp8CX_QE,69627
vera/codegen/assembly.py,sha256=X3gJ0bjZ3JZr_88Lfj2ZWg1KapGYdV-pJnebHBRH3mc,78939
vera/codegen/closures.py,sha256=Ee_GyZT27Xx6BuZBEZyMpQu3_XbevEXnye-_ScLUPUY,64388
vera/codegen/compilability.py,sha256=rU7dxXW82R5h9HEnxFegYumuG8FTzlg_1CHNbwPXyWY,51092
vera/codegen/contracts.py,sha256=qf0KpEvsMQtb5isHCKi691OCVNtId5T3lMBWB3ejWDM,92393
vera/codegen/core.py,sha256=_mS_CWafErwhmS2Eoe2KFuimUKrHW70lQ7TrkJyn_zk,238111
vera/codegen/functions.py,sha256=X8dvRgboGILYForYaB87LsBgVstvaOZCnVZjZhtvwtQ,99018
vera/codegen/memory.py,sha256=FoBXxnr_sDO4uwbrVpic_7_fRsTo48VZflF1zbqtzns,6962
vera/codegen/modules.py,sha256=xE1DnlsEYX5aHUTLy8sQc2RA-gVUaLujxPLD3RFRBgo,123965
vera/codegen/monomorphize.py,sha256=fthPMUcH099cXIGFtgP9WoCEY3xQxa3JHKe2H2Nkl6I,100094
vera/codegen/registration.py,sha256=Uu0CBx5xxFd2WjPMOsuqsom2-2wnLD2jyIDMLElr9zc,33460
vera/codegen/wasi.py,sha256=jNOJTcZD_aZ3IvnpQpB2Ulb1Ozw0unX2U5Ikm5KzME4,165932
vera/lsp/__init__.py,sha256=yaV-gJ35F4nUuOnPjtUk0lKr86pESXoLOpeHdWsr184,438
vera/lsp/convert.py,sha256=tfDZvg4F55ez1p7J96sKImeBT72NIlYVNTyL8JPZILY,9303
vera/lsp/documents.py,sha256=BXEmJCun2zCb03hIEZI_MnJxVBYt_g9-z2m5v7WBVtM,2200
vera/lsp/extensions.py,sha256=eWjAYxOF0C13WAw04Yvn9yORYWvrkU5v3Re3AMuAJo8,12515
vera/lsp/features.py,sha256=EJKafGCvsO_RD1zXdYJFNOwR2uEWBGXaqJlP2iqWXpE,19594
vera/lsp/server.py,sha256=m4nJ0qi-nHXqjrcrtblLAAwufA4sCSin1aavp25mKCY,16354
vera/lsp/workflows.py,sha256=195HvWi5dUC21DRILJ8LhcUQUTajlC0rFYyUkRMQhCs,44375
vera/obligations/__init__.py,sha256=UNhUQ2U2c5rSoQKhS7KJkp0UccZ7e4rH-rB4MS-ambw,1651
vera/obligations/cache.py,sha256=KHPAJuR_MrJsGp2Yl3GMk8F6-eTqGmUpj-6xxrMoO_o,19516
vera/obligations/core.py,sha256=DL8Jbv1fmdakoq4lGKehQo94U-LTatDIMpvEI5nIvqM,14385
vera/obligations/session.py,sha256=QSMFbwHdErwqcanVbNETdM8vx0_owneBKzxXEmDpeuM,24223
vera/runtime/__init__.py,sha256=kHgo2ViR6Uel4u_zNMKnUBg4A3CtZ2ewBh11APOCLKY,1081
vera/runtime/async_http.py,sha256=cM-5j5DEv6NrpkR1Sib0LxHsCmqJ5ynRRSFRPnVsuY8,5519
vera/runtime/collections.py,sha256=BXNh3K0nN4wFiRKJS_dQ4SWRrlaLO2rwQiBejkPkfxc,425
vera/runtime/db.py,sha256=AgkZpxd5mKxIZvmRG4op4XFZPOs3zz-8jqzoDft66jA,7649
vera/runtime/decimal.py,sha256=nOVbuX02jv-Kjd50p6K4T1smg4o9LHzQ_4CAaaasPA0,14546
vera/runtime/heap.py,sha256=hGeMyYlXqZoZaUPtzD8ZWY7lIhWqVNiPvR8OIQ4jdrc,61767
vera/runtime/html.py,sha256=txQW5P2UYoaVO0O6WDPbQeGmj9AOBAcyjCr-bvyZDfw,12660
vera/runtime/http.py,sha256=cEHWB1V9m_tZU2mvwvLwJEQYsUPkpAR0WK65sw9UwTs,6041
vera/runtime/inference.py,sha256=AYuWx4O7_qZ1L6Q86MwGteglbuGWZZ3Hii7oG5RoOLI,38051
vera/runtime/json.py,sha256=_olLvsFWAqbFjufU1iwg3F5RJ7YMsG1t9xeN-a6-Ckk,6575
vera/runtime/map.py,sha256=kkHBH7hakIz-Q8BPsLeUZptbulgNtIHLdegyJZ1Qo7c,11279
vera/runtime/math.py,sha256=G1F5dLRDyhCmUIzcxozneX2Opl9XaArhv4AfZTg1WJM,3592
vera/runtime/md.py,sha256=uO-5Pf6svK8WR5ciAxGtJHFIu3PLUNyVjp2cpDlL-_M,5464
vera/runtime/random.py,sha256=mF6HEnl-h0yVupimYBqcXZ3WUZRafZuYTE0ICA_4qXU,2294
vera/runtime/regex.py,sha256=PejGAIo9uKFzUm-dCqGojYn3Z1SgqBmeaeK000cG5ok,5009
vera/runtime/server.py,sha256=tPAzwlh6AHNjRAGtKWQAtJ0H7Nw61rSrIfQLb-7RI0I,10130
vera/runtime/set.py,sha256=AgrzNvyZOiHMr8NZWyoFPFLmiN2fNC122b5fFxgHu3c,6530
vera/runtime/state.py,sha256=DuNCYCK4z49FGgTkYD_qTpgmlaZixjF-cHFkiOl-p7U,3720
vera/runtime/text.py,sha256=8Nca2aU-2ixDJteQcJS-aMfQ4EowXjJj0D7oYfrdcmU,1823
vera/runtime/traps.py,sha256=79h6ksbJrfK8KCJw8aZtWytvW-id6dWQ_61SUdBsx2s,23130
vera/runtime/wasi_host.py,sha256=pEtPVcuEUm8y-oPtlHVzz2dpjK1Sg_YoRX46OBTlPX0,16338
vera/wasm/__init__.py,sha256=_D6aUhRFYr0XQIiKeExHf3m09z7ak9vFDISze_0Le94,234
vera/wasm/async_fusion.py,sha256=YJU_kr5hR1mgtTTqX1o3Mgc0OQ6NuYmWUICqvv9hTX4,19579
vera/wasm/calls.py,sha256=2A7VOjd0vAN0DihNb9pMd7rzv4kQMLAw5hQZ-iJk0uo,84218
vera/wasm/calls_arrays.py,sha256=I1AuPOT5RVDCFG7k0gO_yayMZ0LFvsXCs0SSor0alBw,119185
vera/wasm/calls_containers.py,sha256=xSDJPTUQcOkWCgx3n-yRPrl6z5s4xM0GsGxttxLY0sM,58554
vera/wasm/calls_encoding.py,sha256=Efo6qZBD70BtOP9vDfIU-w1YxVvsDITC2IeeBudfmxo,84521
vera/wasm/calls_handlers.py,sha256=17QOa8-9drrbih3BC4_4VbG6_yryDCTwEdUYzEGvWF0,144271
vera/wasm/calls_markup.py,sha256=pQ_-d5iedqquHpg8sTW33inI3g3FSQMNnpgouUg_UF4,15004
vera/wasm/calls_math.py,sha256=wI6RsTJpzqAXZnp-pqajVn4oQAuGeuwf-pc_I3XZsx4,27454
vera/wasm/calls_parsing.py,sha256=yvn4RHiGD9I5SKfyxXmu6sy5tedO-VkXc0M7lxTIAf8,39471
vera/wasm/calls_strings.py,sha256=su2U5uFiChECbFt_vhpDLgA7h6PuhKK2g8HRsz3cjOs,166730
vera/wasm/closures.py,sha256=-zFlkFbUHzlJjdx8eSZLPyOREDzUq7aeNYM5ifJS1og,29862
vera/wasm/context.py,sha256=jFwiJHpxniwvHJhnwJiYFD7EfOrzDfqHxiudERv0hv4,104741
vera/wasm/data.py,sha256=7vNiE1TaWVsFPsRqWyjizCdNPEOakMjmfpJ4K3qEpBc,126972
vera/wasm/helpers.py,sha256=wIC45wUt8OObPPZf0Rc1PN3zjjjNKJP7ErAxE666Fqw,35793
vera/wasm/html_serde.py,sha256=yFXlFLloiEi1RNEqh4DImGha_BQje7D58ngY8-bJGpI,10300
vera/wasm/inference.py,sha256=0d9ptGM3ntSNzZutgCDajIWnqPvMZTa4pg9cGpLgalw,157667
vera/wasm/json_serde.py,sha256=2Z9T8O6z9PeD0_nROh9Zb2qoVuZeC5SchEP1u6F7Ghw,27203
vera/wasm/markdown.py,sha256=GdUIIAwNjZYvGdDLblZiSXF0cgK5hTNQX8pF2_kant4,24867
vera/wasm/operators.py,sha256=jmb5QHlF85rqeWH1MhoozyH24EqTpTaK_bVaYbskgII,163564
veralang-0.2.1.dist-info/licenses/LICENSE,sha256=LCfzTyQzn2NC6VTNiyWEe3qR5jDLaGMAj8AECXqP8Ck,1071
veralang-0.2.1.dist-info/METADATA,sha256=bB-rFyjAk0MZqTom3VrJPLYBrEu-tHPYph83tZ3nUDk,5612
veralang-0.2.1.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
veralang-0.2.1.dist-info/entry_points.txt,sha256=lnivSvw1p4pZrueQde04KWdZrWcLYOIyR8iSoiNjANg,39
veralang-0.2.1.dist-info/top_level.txt,sha256=j44bnlcvNWMS8yC4ezZ1n9VDFPpuU8LTsMfTXgVFjQU,5
veralang-0.2.1.dist-info/RECORD,,
