vera/__init__.py,sha256=8mMxqq_HWCtDmTu0ZXS8tPS7YcK9-scnS5hK30wyeIo,99
vera/_since.py,sha256=z2b2s02xqI1S5SQbKbS9eBmWeYe3KjXwSCAIqyu5T-o,6348
vera/ast.py,sha256=wv7ugiN26BgC_q0AaH-Xmt-ecsgFNT1wDaS7wbaAuLc,24503
vera/cli.py,sha256=AjAtztwbz5feI-cWEfJGJHLlBooIAoU16M_N_EUwIUQ,73539
vera/environment.py,sha256=Ua648Ynl9XKgRj8mA-jfdnuLGSeFUdzs2EDKLkTiV2k,82359
vera/errors.py,sha256=TUWWGdi8Op0mq7njUzrrSNrKKvFaJSFnMqZWyuGrU7w,24266
vera/formatter.py,sha256=e5MUtvN5qu-2gLS-B9MySYr2P3TTCbRl1iQ-5R6dUII,78883
vera/grammar.lark,sha256=hufNnaq-C5OP0YjDbzlGdr28de7hY2Q4qH-Pg1zsGgo,11640
vera/introspect.py,sha256=r9JCX_VusO-ynNm4r4Is_DudFMFCruLFd1W0MG2K9j4,4925
vera/lexical.py,sha256=pAG8s2emXQICK8cePEw9VB16fdfC8B8VKI06rDn3uto,10902
vera/markdown.py,sha256=Q_Fh8JeADnTNbNYnwCv2s-k4HopjE82UULEikJgUTpM,21868
vera/monomorphize.py,sha256=rqRjfSfWA4HS1dghZiyoxl4-1VeG203vBUsxtdWptuo,108983
vera/parser.py,sha256=dKlIbvgo7uLrptigAkDFXt8AGxJPAhtj-tVJ8akKhKY,6273
vera/prelude.py,sha256=bzBz5x_7Rd_UvsINNKEEO0grjK2OnHcFApZizY08S18,33112
vera/registration.py,sha256=yAh3PDoWwUqNKC7yAIPr7_oUnUhX-nqn9YKq2WGYtTA,5143
vera/resolver.py,sha256=ppWKn9BCO8N0Eu8KPoyde-i7Ak7E3EwydJBOhLAHIxQ,12908
vera/skip.py,sha256=IvhK4Y3MvK0xrJPDTKpDgpVwRdFU_zdiUuJ-3orZc_Q,10162
vera/slots.py,sha256=BN1K6XQpZWUBZOUVWqw_uVP9Cj2fmEFYGU4fPoTaL8A,6167
vera/smt.py,sha256=nJK4pWDomj_KgjtS0pRNMkhGMo-O-O5n3xjxU7Pb6rI,134491
vera/tester.py,sha256=B9jpdVz50ed2kqjjnc-cZgTzkTCjHfnl2ZBuKulaz1c,36784
vera/transform.py,sha256=mmon6l9-4vp3XBkuKkPVV-l3nB86sNk9oRCPHKsLJ-Q,54724
vera/types.py,sha256=SdQ5rDQaFjLBDo73rBWhLzA9sidkVkaILAigpDtTtv8,27079
vera/verifier.py,sha256=MOkeT8k5hKBVAcAn4zbiW1K-Lc1aSYP1becNI8j_g5w,368846
vera/browser/__init__.py,sha256=792RZz72GsxKJT3_wHBLi_U3EAOlbiK_pvbcj3EMiR8,54
vera/browser/emit.py,sha256=d-ly8J71FIJYCI8Aea5yCtuOBs5_aVV32vNcRm8tP5w,3696
vera/browser/harness.mjs,sha256=kn-Cm6zDHZbBmzwddDvZPWEWga6v2FfxMcoFL-7ta9g,3185
vera/browser/runtime.mjs,sha256=_S-YWQq3Ni0e0NW79biVHXIogT9-awEBxrKhaiMbSt8,123525
vera/checker/__init__.py,sha256=VL7x9W8y4IRCrFWbiITSeJwY-k3qb5DlDVJKhL4m45g,214
vera/checker/calls.py,sha256=Mh5JUH4X2zeBjeaHZ5ivYntAQvYy7xR2rz4CuYEaias,80539
vera/checker/control.py,sha256=7-wQoBYBtAmHJ_YcMO_Fv2j5ao6bAKt7vysVZz0w8B8,29272
vera/checker/core.py,sha256=5etj4o_UIW7HNmMOrLybT-ltPc1qS-PLuHYsqqFn0V8,45572
vera/checker/eq_ability.py,sha256=UvBOMN6sYFE02j5RDTrhZ2cF_DArTPESNZw7FZTEwYU,8702
vera/checker/expressions.py,sha256=xySuMCzz_PYLFFeMKNcH09uHtqBS8ZmjUVsFLCV-Y9A,64787
vera/checker/modules.py,sha256=tY9GsehUHvcfIeamefiRokzm6IGakJc2bcPjL43Wzj0,8319
vera/checker/registration.py,sha256=CH1ekdNRilPUXY780OQ3-nsQDmAU4bkFtEyqKtX6qNA,20535
vera/checker/resolution.py,sha256=fOqRLAKHPDNxAoouY3Px--JHaS70chXqHEAK8RyMtQI,21335
vera/checker/sql.py,sha256=JbeKjyG0ZPts6LC-b_dXDjGXbhQFMVyHYfymm2kn_es,11602
vera/codegen/__init__.py,sha256=F06brc9sxg7Ii9WWIanZ0_pwtDyKvQw4NX5DNerBYl8,518
vera/codegen/api.py,sha256=YK0SHqIBJ5__Walp9amsFVvFuxoqLxnDdQL1CO0Qv0E,60075
vera/codegen/assembly.py,sha256=h0LyxsdW44dJ0vKzOCTwj6tCkYegpu3TBfJJKPi3dbQ,63160
vera/codegen/closures.py,sha256=ZvQX_hDxEvI-THd6qfFe3l8OJ-q5Kxl0OiJdpOS2ngk,47994
vera/codegen/compilability.py,sha256=S9368FNUyhxnXKXgCLwSKNoAOh_N3qd3P2FvUyq6qy8,25688
vera/codegen/contracts.py,sha256=E7PMl70uQEL6fs0Z9apXBoQ05qF2rv2R5xF5hfD4_4M,38830
vera/codegen/core.py,sha256=JNoD5YiqeA4p6VhsrC5XK1aK_gA7JZ06lto1Yp6EgzE,100756
vera/codegen/functions.py,sha256=vfUryn_HR2yZrmvy7AyGOwBlcAbT9wwtDs_mIIOvfvw,59367
vera/codegen/memory.py,sha256=GF7KGiSt9Tqv2pvvTw_agubhO_0pLWDk-JO3A85x3i8,4896
vera/codegen/modules.py,sha256=7XmwzsIQ1_E92222ji5Yuk__-0xKeOHg5HmRJeo73bc,47115
vera/codegen/monomorphize.py,sha256=nGcqrllGwnRva6BrBI-yo1zrvKzqY5bKzbl592n4Kzg,71259
vera/codegen/registration.py,sha256=UfSCyq-4AS56oiIy8A8BA2vYAVKMZTzNG5iC_0BNbuQ,23356
vera/codegen/tail_position.py,sha256=SmgdbiHCLM7KptUrIDV7IrVhCRZdXdW46_YvwSfwEjY,4640
vera/codegen/wasi.py,sha256=mDvHJfBgUuOqRy_6kY0q7EhZ_o9WM-UZ7E7ha6YGpKU,159763
vera/lsp/__init__.py,sha256=yaV-gJ35F4nUuOnPjtUk0lKr86pESXoLOpeHdWsr184,438
vera/lsp/convert.py,sha256=iIaMxSlVf_cdxHqlFt8kJiIfgyRzNzWWZbl9Mldz2zQ,5234
vera/lsp/documents.py,sha256=BXEmJCun2zCb03hIEZI_MnJxVBYt_g9-z2m5v7WBVtM,2200
vera/lsp/extensions.py,sha256=vOhJD4OxG57lxDulrNedYCw26L3pX9llI-8TyrciMBI,5389
vera/lsp/features.py,sha256=As1BxQIgzha5Qtk-DsuLv9KavtyGYSsRCeTCd_0dicU,10978
vera/lsp/server.py,sha256=bi6ewslzibLtAKSeK5iw1ZiNd3mLjiNXO-PY6-xOOOM,10707
vera/lsp/workflows.py,sha256=oBgrkEYuzJ8-Hy4RccJuGHAL59AUqNCTluWBwI77WHg,16620
vera/obligations/__init__.py,sha256=UNhUQ2U2c5rSoQKhS7KJkp0UccZ7e4rH-rB4MS-ambw,1651
vera/obligations/cache.py,sha256=cU7F-b-Nzn7XyFVDdZq1SaCk_JnqAA9gVN2wFleoRM8,8282
vera/obligations/core.py,sha256=ynKbgZgZ2QN2WuPKKI3Ub4BQmf1NKtJhWkmaxpK3vIM,8782
vera/obligations/session.py,sha256=NAGjYq0Vcl_w9huUNnwJ_jkx1Etg72ArZ-ChNXWEoXQ,11756
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=SzjeG8hUH4Mo0JNSN__p9AE_YMA13i3tobeenKrwhms,7604
vera/runtime/decimal.py,sha256=xJTfNsHp4vvSBv2J6_4YypyrC9NFhyCkZTc_DZPSFGQ,13897
vera/runtime/heap.py,sha256=oaz-kTyp61SoAZo8T4D6QCYKuudnIauwnZM4PjZbP24,57791
vera/runtime/html.py,sha256=txQW5P2UYoaVO0O6WDPbQeGmj9AOBAcyjCr-bvyZDfw,12660
vera/runtime/http.py,sha256=rRRC0myAGUQc1lvlJsxuBThrvzmunVDBuYu1UYnpPm8,5909
vera/runtime/inference.py,sha256=Eb08U54VU_MRcREbrjEDdvjkY42__y6U4KsYbSjfMAk,6910
vera/runtime/json.py,sha256=_1xZxHHr8f-Nvz9RLg7SAM0ya_haLgDl7kJl4VDZIuc,3389
vera/runtime/map.py,sha256=kkHBH7hakIz-Q8BPsLeUZptbulgNtIHLdegyJZ1Qo7c,11279
vera/runtime/math.py,sha256=G1F5dLRDyhCmUIzcxozneX2Opl9XaArhv4AfZTg1WJM,3592
vera/runtime/md.py,sha256=MLRgjm3yd7_bcb3rR932bvDA4EBDaMkNtUvpcz1NlIk,5398
vera/runtime/random.py,sha256=mF6HEnl-h0yVupimYBqcXZ3WUZRafZuYTE0ICA_4qXU,2294
vera/runtime/regex.py,sha256=PejGAIo9uKFzUm-dCqGojYn3Z1SgqBmeaeK000cG5ok,5009
vera/runtime/server.py,sha256=U2ckv_inrGk0CvxaPFj2Li58J30UUkJcZ6_ZceHUDdg,5897
vera/runtime/set.py,sha256=AgrzNvyZOiHMr8NZWyoFPFLmiN2fNC122b5fFxgHu3c,6530
vera/runtime/state.py,sha256=MVrkFzbF8TzZm9H9j7Dx9qw_JlsQKVLrBoqzeb_FuwA,3675
vera/runtime/text.py,sha256=8Nca2aU-2ixDJteQcJS-aMfQ4EowXjJj0D7oYfrdcmU,1823
vera/runtime/traps.py,sha256=pfJrPPy4LldiYIiRMxv61PMjLTxkNi13-Gsf2WouLWc,21318
vera/runtime/wasi_host.py,sha256=5ZH9RWIooqhFl9BxvezVxO4fFUUqje7jnDt8rhMGii0,8180
vera/wasm/__init__.py,sha256=_D6aUhRFYr0XQIiKeExHf3m09z7ak9vFDISze_0Le94,234
vera/wasm/async_fusion.py,sha256=Ws8_3UpxchJp_1kxJq1ayyfwCD85F_PqOG9f4t6NGVA,19467
vera/wasm/calls.py,sha256=ssE4pqwt4xxlQlv6U6ZUppD74zYEm3JoFNU7VZ2fIAA,62134
vera/wasm/calls_arrays.py,sha256=iCi9iDO7ZSq1nw1CO1qiT7cHgiAHIriwbp_0Y9pLiug,116947
vera/wasm/calls_containers.py,sha256=1s5y2k2YBmqKnY80KAwGmgorGJIJeHxUBJGERGIKjpA,58171
vera/wasm/calls_encoding.py,sha256=Efo6qZBD70BtOP9vDfIU-w1YxVvsDITC2IeeBudfmxo,84521
vera/wasm/calls_handlers.py,sha256=LDCMEuTulLCzMWkDto6UyAHt0kaDFL0O3Ez1fSoDO1E,82100
vera/wasm/calls_markup.py,sha256=DdmaVo_pWK4Ydmhdxlev3tonlrmpXtMlkUfOQQgEJMY,14980
vera/wasm/calls_math.py,sha256=t2upEGhv30QNGfDUghHd3YlhYLJ8wtR_8n2DqjmXpRw,23950
vera/wasm/calls_parsing.py,sha256=yvn4RHiGD9I5SKfyxXmu6sy5tedO-VkXc0M7lxTIAf8,39471
vera/wasm/calls_strings.py,sha256=LZAfpbRWQNC3ofjNoHXS09GxeeJeztMbbGmm81N64uA,164926
vera/wasm/closures.py,sha256=BGbU4nLhTOezbEXhelezKxHJz6hXbfuQWquDDwhQ-rg,28114
vera/wasm/context.py,sha256=ieaFulKRf9k7vRUT_zod4wanLhf1sBvdZmvsI_NjAqs,55987
vera/wasm/data.py,sha256=TGJQrGcMo4UXa51oFoxsHDyGk5FoPkF9_F4yhXHH7h4,73352
vera/wasm/helpers.py,sha256=-UtPLKoxX5RnIi-LpLH8KGA7P6_YymyXq_y7IJW95pw,16713
vera/wasm/html_serde.py,sha256=yFXlFLloiEi1RNEqh4DImGha_BQje7D58ngY8-bJGpI,10300
vera/wasm/inference.py,sha256=skaMidvQuxTBX1AkM5QCDw6WUZepJiTDYXaRPpSJbTY,128703
vera/wasm/json_serde.py,sha256=mpy10FqqsfKgwFugKCKeLqRk4lNnnisRIRmbBzWrMaI,10123
vera/wasm/markdown.py,sha256=9gFpnFAbSv_wbRYIfYFFXEeIIRD81rOeOGebwNcPTVQ,23787
vera/wasm/operators.py,sha256=InkYU1FjVwgNNC6bZPTT6_sVqKtzt77Yvx60C9Tc8XI,135280
veralang-0.1.7.dist-info/licenses/LICENSE,sha256=LCfzTyQzn2NC6VTNiyWEe3qR5jDLaGMAj8AECXqP8Ck,1071
veralang-0.1.7.dist-info/METADATA,sha256=Y9xgs7s-xASSsOm0e1WnmyD6myz1bX47Teb8sMXMlSk,4395
veralang-0.1.7.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
veralang-0.1.7.dist-info/entry_points.txt,sha256=lnivSvw1p4pZrueQde04KWdZrWcLYOIyR8iSoiNjANg,39
veralang-0.1.7.dist-info/top_level.txt,sha256=j44bnlcvNWMS8yC4ezZ1n9VDFPpuU8LTsMfTXgVFjQU,5
veralang-0.1.7.dist-info/RECORD,,
