vera/__init__.py,sha256=DUBkqUgazlM7cn03gCw7xN3v7YZGwg1K6EB8s5MlwZE,974
vera/_since.py,sha256=FtGEI13WNTl3iEELedPCyjGfRtvoTYxq1zfFCnWncSE,6595
vera/ast.py,sha256=mOAGqxFSxX553ufJvrkza9KNfY0dNfywuS3ymmIJ998,30047
vera/binders.py,sha256=xq59IPjOP6aaJu1BIC4IQ-Bk28kSsmz4fm7NepKjgw8,25542
vera/binding.py,sha256=qq2n8LU018vp_dMJi9g_LT8fktKM2IAM_HOfA5bg_Jc,40550
vera/builtin_domains.py,sha256=3fpMFMQuzzN6tGt09fh9Mw-EIs5PCLO8FG6uv5V_Fdc,5962
vera/builtins.py,sha256=H5oCNJD7QivrL08q9P-ZCLaBTZAeFt08R7fH4eQUVMQ,49779
vera/callgraph.py,sha256=l1-GLCS2vCHylypecB_-dkt1cACvPmpTywGrcXoDehU,17422
vera/carriers.py,sha256=rJ_pVzxFHB_lb4sPUKuD7oYQQxnc7cp3cDykg3XX-TM,7582
vera/cli.py,sha256=akirwlCXbF-L1fsxIwkzzpd3khs57g1haaXqreGjZBM,107765
vera/disclosure.py,sha256=eNQHaGIgCEVzuQabNdzWEgRiHLHK6uX81usIDg-TEeU,26295
vera/envflags.py,sha256=uZhlCiyj8LZDXjLS_DnZigPNavkzFG6lMaDz9bGVNXY,1557
vera/environment.py,sha256=CLWN-DZFMWL_S0kOF_qYq70KOQbKslrcmXPWFk12oJE,50548
vera/errors.py,sha256=dZm1MAQOuIm4dHofLeDhoRwOWoj0SNhuC0rGHrEAsVE,44593
vera/fold.py,sha256=Yvz-M9O7-VsnaNkjKXKTezeOLL6PITBKDNhcmNHCfyo,24275
vera/formatter.py,sha256=7SxZZ_RJXQ_tnsD0ZeWLzQULFjZnCs_WlnOpM7FcF0E,87208
vera/grammar.lark,sha256=hufNnaq-C5OP0YjDbzlGdr28de7hY2Q4qH-Pg1zsGgo,11640
vera/introspect.py,sha256=J2TBZOl18P2cVfz61IFDLUvpM5q7bCpRhE_hkLUweQc,4929
vera/lexical.py,sha256=yjvkqibq8LQfDJsNeFQz67uQ3ZMurAcPB8W3VAbALo4,12394
vera/lowering.py,sha256=UibqUOa_jhi2w_Yoldbt1oZ93dlWPs2Ir8BxKOM623A,27893
vera/markdown.py,sha256=5ZmYFG421fq9EPBxnWB6tZ6LMcfxP57gYmh7Op8lEJI,26629
vera/markdown_grammar.py,sha256=rw7OgpXvsZ3jWNaUyuLuAqULx7Rl8C5tEV_rBT2X1BU,5950
vera/module_view.py,sha256=adHxADdSIGlS8FrEFtEf1lUVdTXC7KoGrqw1wrcAJAw,5834
vera/monomorphize.py,sha256=aeQo86i08SOlhkgsa5D3qZXJ-ZgUGmSe0jtuucYMwkU,188695
vera/naming.py,sha256=XcD64VBMsg4CV2YAfXNC2Cc-dPP_KNax3YisqnpDwhM,61127
vera/narrowing.py,sha256=vPJIYg3C6hOzUAuh4e66biqbstZMjeBqFCPFTxZgzo8,31839
vera/parser.py,sha256=Ze5ilkBbijXdZRzd08aM4tUsBELxOvDRUlBZDxdLwL0,7771
vera/patterns.py,sha256=OlXBucSB7hgxlAkIUn7TEbveqbGAVC8isDQin7S2_Ak,14128
vera/prelude.py,sha256=OvLV32tVlU9NFdmWC7ALE4s7QTfZz3y-0GJo_uU_s6s,33867
vera/reconcile.py,sha256=8y9tKy6C95iXJNHAbY-oEBafuqUaUctOBfKeBkpUKPA,74523
vera/registration.py,sha256=nhasNyEBsblCaEVpNLl0akssVknjxVrN6iEahMga3fo,12551
vera/regularity.py,sha256=s9oU3ukmoTq_oT-_DPxXutS-4_hnlPKtRcWMcH5BYRg,17863
vera/resolver.py,sha256=ciRAztYfk8gYixhbuZ__AMQwdflCU2t5lh_0U99Tm20,16382
vera/skip.py,sha256=IvhK4Y3MvK0xrJPDTKpDgpVwRdFU_zdiUuJ-3orZc_Q,10162
vera/slots.py,sha256=JDwM_0bA9WnUXv04uG-YhTaqe9S-L1pHFY6mmf4XcJU,23702
vera/smt.py,sha256=gVjr-zect-Y0-UWTYQ1ORGxwatJ5NafRs0T_MI3y8pY,255981
vera/tail_position.py,sha256=DS04Cscn_tk1A3S2VuCYRlay9pFZA9SXMlK7ElYZto4,5662
vera/tester.py,sha256=mcos-wxYBU2n0JPxLWeq8jUxzChwoTl2hRn8Yh1Im7g,108641
vera/transform.py,sha256=rfOfPmsyTddPD3raEJ6qYofBIAK3NrLlEfDgRS1sXBU,59030
vera/trap_registry.py,sha256=Emz5y0F_3ohVbwP2Fivuti4MAKBZj107h7GZICcqNyk,50916
vera/types.py,sha256=ihSiMjI3kY9z8WGHu5g84R4oFLjzZoVI0XhzViOkcZM,50168
vera/verifier.py,sha256=H7zcN8D_FaE9cnFKNcTbLeWoMQM_6K6UDsTFmAszFd8,773951
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=QcaqI0NozKlGxHYpm_gWyxOLmYreyI2KDiv_mw_6mMY,160101
vera/checker/__init__.py,sha256=VL7x9W8y4IRCrFWbiITSeJwY-k3qb5DlDVJKhL4m45g,214
vera/checker/calls.py,sha256=qOfyCLU6u_9Imuz1XNIvsKceFVQ-RnrVSPs2mPbYRdo,160202
vera/checker/control.py,sha256=LvmeeOM2k93Z1RlsZ5f3U1FBAV2_SSNMAvx7rdQe0VI,118191
vera/checker/core.py,sha256=Pme0yFfYPf7CgTbB2eaYREQSoyZ4zhjVQiJ5o-fNoFA,98455
vera/checker/eq_ability.py,sha256=ayBPHp8zUXPlogZHr7ioCXmcdO6T3EnHovnXEfGjAIk,10403
vera/checker/expressions.py,sha256=k24l7KJMOd1BofqqiPoENsrPBt2iNIjNOU3tW1q_wFc,109274
vera/checker/modules.py,sha256=-jCGKV9qSmVjD9Eq5LBvVb-xWSEP8p7XS6oWQYZsxzQ,38641
vera/checker/registration.py,sha256=5625pJlCtWHx4G-rGMWTvhFhNwqPJKNKJ_3b2YFPv-Y,89294
vera/checker/resolution.py,sha256=Xg1-NwHkoiXIEFu9MbQ5Rjkzh6zV6R3MWlZ-WUgic2M,61357
vera/checker/sql.py,sha256=gqYbso7LN2CSp_6VGMqXaosLTFdh3GOJAvcZvfIIBb0,16029
vera/codegen/__init__.py,sha256=VRb20QYOJ4reX7S3LqTMaxtxcgkHgMVKWN9LELlZaP0,574
vera/codegen/api.py,sha256=9xM3QSGuSeZO663KEDbfUMrKHVYMsK611RVD_hHCE7Q,76226
vera/codegen/assembly.py,sha256=y9wT1-Uuaija7-Jm7NIFEXpckRfgh5uIsQG4vNsICLo,78224
vera/codegen/closures.py,sha256=Kaux7X9Cpv6-HITZ8q1y3amA5oiV4hXlAxnrNgkSrlU,62492
vera/codegen/compilability.py,sha256=2_ZdZqi0gjHPr4_xDWHcT7AIEOOCeGxZhK42bzz6So8,28741
vera/codegen/contracts.py,sha256=lVwfIye9JLJr1MRDd6zG7jE0vHxdvwJguiHKpQPsE1g,82760
vera/codegen/core.py,sha256=IGAq-LuyWUVylj0wyu_DD6ZAeQU1wwr6hNXUJOTmYpg,191981
vera/codegen/functions.py,sha256=lSZ_XUSSWYm1rU-TFxI4gQUP9M6SrYXWda3uy2Y_EN8,94545
vera/codegen/memory.py,sha256=mNeP2Xf2wf9990uH_ZANSJRp3yT2eQl5JkBjt8WdZSs,6276
vera/codegen/modules.py,sha256=mF3Af_WwtxSSjkD0QIvKYCzBU5o5DAOLpH_8luoj_44,41010
vera/codegen/monomorphize.py,sha256=PETjZmVDiWpz3Zdef54w3XksmxHJU0LM_W7prZ-WZk0,71843
vera/codegen/registration.py,sha256=M9PHGqqMArdLwrZ9aKEyofZrZARiHlGibPCAN7xW2mI,32152
vera/codegen/wasi.py,sha256=84ATrV0bD-ix7QXaKXgOl4n0qnMPJDJBWZbJ4wyGXZo,146472
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=Gpib8IFNLqdakocb2SShrhGdRHfiwPOiAgA6OvkXjGQ,12621
vera/obligations/session.py,sha256=dj5q4o6h2v_QT2LBkhMDrnLAcqQTuJTQ1peoXhpT5ro,24613
vera/runtime/__init__.py,sha256=UZzhbwwo513EiHX9FuYom32Rpynar-i5So_-F1hCHHQ,1694
vera/runtime/async_http.py,sha256=cM-5j5DEv6NrpkR1Sib0LxHsCmqJ5ynRRSFRPnVsuY8,5519
vera/runtime/db.py,sha256=AgkZpxd5mKxIZvmRG4op4XFZPOs3zz-8jqzoDft66jA,7649
vera/runtime/decimal.py,sha256=nOVbuX02jv-Kjd50p6K4T1smg4o9LHzQ_4CAaaasPA0,14546
vera/runtime/heap.py,sha256=jgSi-EkQQUjbZLksCCZovuxL7Ehxf0KMItRJK2wYzr4,50282
vera/runtime/html.py,sha256=GcCGcVd-oiZrX1QmXelg3BO_xV4Evcc6NrEEUj8kNEU,12770
vera/runtime/http.py,sha256=cEHWB1V9m_tZU2mvwvLwJEQYsUPkpAR0WK65sw9UwTs,6041
vera/runtime/inference.py,sha256=AYuWx4O7_qZ1L6Q86MwGteglbuGWZZ3Hii7oG5RoOLI,38051
vera/runtime/json.py,sha256=GYeAYSxRYBJl1DAYGrdc1ceY1gFISbvH5-Xn0Ydnyhk,6628
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/state.py,sha256=DuNCYCK4z49FGgTkYD_qTpgmlaZixjF-cHFkiOl-p7U,3720
vera/runtime/text.py,sha256=8Nca2aU-2ixDJteQcJS-aMfQ4EowXjJj0D7oYfrdcmU,1823
vera/runtime/traps.py,sha256=y0KyFN-wY5WUqpsyKzPJihtgPt53bB2G4G4deGpzUIw,23590
vera/runtime/wasi_host.py,sha256=pEtPVcuEUm8y-oPtlHVzz2dpjK1Sg_YoRX46OBTlPX0,16338
vera/wasm/__init__.py,sha256=_D6aUhRFYr0XQIiKeExHf3m09z7ak9vFDISze_0Le94,234
vera/wasm/async_fusion.py,sha256=cdUm8-i_spRZoASCnSwsnVx6w-b9kqkFb3-lPVGc4mc,17841
vera/wasm/calls.py,sha256=RbJ0ZqAqYwTyFg6M5TKvIzxrlDmwuFW79JGR5SrP-aA,61138
vera/wasm/calls_arrays.py,sha256=AkWpeqU3eWLuwespjul8E7Vy4uRYolZud_B77HmjHzU,119483
vera/wasm/calls_containers.py,sha256=qi40G458cQt-Xxnns0kgUyIjhsBLHkWiKVoG_dW0VdE,52086
vera/wasm/calls_encoding.py,sha256=I-7Czm50PeAS5N6cBNJuEkgoTvetLoHWDo-zdGXXRrk,94309
vera/wasm/calls_handlers.py,sha256=zJAdahL-WfXJ9FR2AVuzIeJkjdyrHLjIfFRFB2Wv81A,141037
vera/wasm/calls_markup.py,sha256=lwFkf0X1vtH7xGq3njQMrCfB-D3Mp93pdvJeTJtSe2w,16701
vera/wasm/calls_math.py,sha256=0b4re0yqar7AtYkOUCp5FDYwLnWJbEkyKTiRrhax-dQ,28116
vera/wasm/calls_parsing.py,sha256=WlQP4a3sI9AsI1quYySQvdyg3qbYHP6XJt1D5zuE3q8,43563
vera/wasm/calls_strings.py,sha256=iV1wSMRT7lhAzERxR_H0lFdYKhhXSl_ePzkguYnaPDU,168178
vera/wasm/closures.py,sha256=O7UQv0KvAK3h4kO2DUcpKZ150fgk1MixVJ11vgWuQfg,18403
vera/wasm/context.py,sha256=rM-Rr8swlrfbb7kpSsP76BcxexJgjcRg9SiDMgEcsoA,93364
vera/wasm/data.py,sha256=O0PVN_0EvOmtynXvJa68jcvWvTsK6-X97LINsZWKGKQ,105698
vera/wasm/hamt.py,sha256=wdWlllDBCo4b0OUooP48uwnIJSCSphbFBBZVc0OVEUI,61093
vera/wasm/helpers.py,sha256=YAqp3n-TJu7xr1PJtZ249fmegfQZtGAlt2bToobrpmA,35883
vera/wasm/html_serde.py,sha256=M_e297VuQ2ePNZPJ6QqbIjRCyzexA5DUpbhRNknrOxo,9809
vera/wasm/inference.py,sha256=pgcL9c8Bh8lBMs0wLlJ4TN5hYYryAyXPYnz9ezZvJ9Y,150689
vera/wasm/json_serde.py,sha256=Lb4lBRlim591JV0-la08VdMbm_iwyDjVL2-myGCRWq0,26697
vera/wasm/markdown.py,sha256=PcdRQ98W-YyFcbwNeD5ke0DpJeP1c_JZkMNIF6x63gw,24955
vera/wasm/operators.py,sha256=JIpl5QQikzDDB3ByRUGBBYb25pPAplukuSWOcJ-GAU4,137667
veralang-0.2.5.dist-info/licenses/LICENSE,sha256=LCfzTyQzn2NC6VTNiyWEe3qR5jDLaGMAj8AECXqP8Ck,1071
veralang-0.2.5.dist-info/METADATA,sha256=9JJr824QqKnO1ZSqbfz4GIrO7lFDzNh7H6xZhXEN1jc,5612
veralang-0.2.5.dist-info/WHEEL,sha256=mOdXR9C3wMVov7cSY8PY-XCzo3SmmWCHvGQr5csJoao,91
veralang-0.2.5.dist-info/entry_points.txt,sha256=lnivSvw1p4pZrueQde04KWdZrWcLYOIyR8iSoiNjANg,39
veralang-0.2.5.dist-info/top_level.txt,sha256=j44bnlcvNWMS8yC4ezZ1n9VDFPpuU8LTsMfTXgVFjQU,5
veralang-0.2.5.dist-info/RECORD,,
