vera/__init__.py,sha256=ckw3MMfsR9oJvCAGP4OFOJSTaYHucFOOLG_WX6Pll_I,100
vera/_since.py,sha256=s0X5p5Atw9OYs079aKqpuAF8LSSrwFVzKzRsFhn3bPE,10828
vera/ast.py,sha256=Dtg_2hDo-n_lPwJWVlM14w6RsrqKZd4GF-w9v41I02k,25935
vera/cli.py,sha256=MxUSaPKOcOw3nZBhLDu2uALxy8ObeVMKKakk9b6FEyg,83710
vera/envflags.py,sha256=uZhlCiyj8LZDXjLS_DnZigPNavkzFG6lMaDz9bGVNXY,1557
vera/environment.py,sha256=40ekDm2_mDc__h7SR3VsdBAit_igg13jRQjUL42dpXo,91264
vera/errors.py,sha256=yjsOWflmAW5-TiYaeXGDBPUthjew2JywaaZgRdGXk9o,32363
vera/formatter.py,sha256=Hi8aBeqU0rTfHndX_5ZL5aj34oHPayA4sx5kybMNnts,83885
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=iB44UC31vHLuQGCftepIE9Jwo6S7ZgFGDJCGwlbpaQM,25697
vera/monomorphize.py,sha256=s6MMIDSae25x2-Bn4LLnxFL73qXkUIaxxEhBUdKujYs,175314
vera/naming.py,sha256=oeEoPkdxSj5q28dDgdDdVYSVAJ6gG_g7xwShDj6bcss,41395
vera/parser.py,sha256=dKlIbvgo7uLrptigAkDFXt8AGxJPAhtj-tVJ8akKhKY,6273
vera/prelude.py,sha256=leJLBz-SCej2Ov2CZdP8Gq5JCGldZxAksc0_7BYIk-g,42953
vera/registration.py,sha256=yAh3PDoWwUqNKC7yAIPr7_oUnUhX-nqn9YKq2WGYtTA,5143
vera/resolver.py,sha256=ppWKn9BCO8N0Eu8KPoyde-i7Ak7E3EwydJBOhLAHIxQ,12908
vera/skip.py,sha256=B1Qz8wRieW-Pgf-5QTOhyC0DA4RR4ECJG8tWM376X_0,11744
vera/slots.py,sha256=4yQelwjC3yAdrlK9tKJ_j4RLws_Yhll8wU72w_kHWS0,20277
vera/smt.py,sha256=SihBvdxyIRpNElp0fk_t4uRmgQ1VYgeMShDH0kzNm2c,158534
vera/tester.py,sha256=p3Rho68i5vDP0QvybLgX_miShpXCVuxXMpYu6MXp284,51864
vera/transform.py,sha256=oWtoSOh4r91fUnKHBIrxAYErPsvAML4lSE6vDT_P_Kc,55170
vera/types.py,sha256=78tlxBA5DgwcUHdp8d4wXaLmMDsSwpWr78FO69jlxuM,37481
vera/verifier.py,sha256=9gSiR-yeAjHzvym0o9Ax0Va3zomKFdAXgUDowufBVC0,493598
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=sLOBfiEuXKeJnHD1Zh1ZGgeviLIiEZUg8comR6rUrRQ,149333
vera/checker/__init__.py,sha256=VL7x9W8y4IRCrFWbiITSeJwY-k3qb5DlDVJKhL4m45g,214
vera/checker/calls.py,sha256=8HvAJsZV_ZnOxMBgZlLE1aUDqw7DPfLw21eytJxpYrk,85055
vera/checker/control.py,sha256=fu9de63xiwG4MmNiyIWIKK4K8dPZPgggedbkT3lmUuU,35734
vera/checker/core.py,sha256=NCgHvVQg_Tol1x-DLWFp1ZXdieyLT4ymoUqi99L74qg,58558
vera/checker/eq_ability.py,sha256=UvBOMN6sYFE02j5RDTrhZ2cF_DArTPESNZw7FZTEwYU,8702
vera/checker/expressions.py,sha256=cQ4M5_tfgVZWvvDFQH3NpP3HwBbA6u4KmCHCmiFZnsU,72881
vera/checker/modules.py,sha256=4H_euOgpKWD9Fsw7--qOSjwfCE1vrY3ENIgm7xwh740,24735
vera/checker/registration.py,sha256=lyqGuAV4gPJxoCQzJLWopdOq0RD6CSVMcFYcxtiOrSE,52554
vera/checker/resolution.py,sha256=WBcnXurAd9ZCyvo4Ge--xRDq-PpiUkWh_z0tkZb_8Mg,27945
vera/checker/sql.py,sha256=pZHjF5J7-vy8Yf93LGr7r8ahtp2MqGoPPQXshRMhGMs,16878
vera/codegen/__init__.py,sha256=VRb20QYOJ4reX7S3LqTMaxtxcgkHgMVKWN9LELlZaP0,574
vera/codegen/api.py,sha256=j49diJr_I-vm1i_PXbLe4yaC3UTPcIrCULsxir0N37s,66332
vera/codegen/assembly.py,sha256=o8p5kTiKcLdOqgDCY9Ddl9Kh-veP6OvLr8xFwVe3Ons,66242
vera/codegen/closures.py,sha256=ivRl8lsPpcsuv185uenEuzFyULOeAljJ2yBdvLOCjrE,60150
vera/codegen/compilability.py,sha256=WYE4QaZJMZw4xLWXvcz9IYhPzBx_KNx1z0Io6J9-Z2Q,50458
vera/codegen/contracts.py,sha256=8YSGbmgB9wRi7dTv3shYbuoO0uSEzm2VEPGeLZXZDW4,64967
vera/codegen/core.py,sha256=ll7_JPfw_uPF2Akmy_-MmuMrwCTyQLYIK_8ZVSELFX8,182345
vera/codegen/functions.py,sha256=ccLlSNBG2IXX2kUkHzD4HFcp8Ldaodem7x4ogS8mJxg,83505
vera/codegen/memory.py,sha256=GF7KGiSt9Tqv2pvvTw_agubhO_0pLWDk-JO3A85x3i8,4896
vera/codegen/modules.py,sha256=cHj1kjLGhmQbLf3BGgVfvRwFBB__m-Y7ChPof4HuquQ,77031
vera/codegen/monomorphize.py,sha256=L4QjON2vPoJJ3duwBhT8oR-QmVNOecMZ-cWPciJLQb4,83414
vera/codegen/registration.py,sha256=cgGIKRCZad11uoFsJdq1uDdQFZBc246wFQozresZqFM,24565
vera/codegen/tail_position.py,sha256=SmgdbiHCLM7KptUrIDV7IrVhCRZdXdW46_YvwSfwEjY,4640
vera/codegen/wasi.py,sha256=QCXQmJy4jmRWu8UWZY44jYBD4r9Oc0o0PHDiwOsFClE,160177
vera/lsp/__init__.py,sha256=yaV-gJ35F4nUuOnPjtUk0lKr86pESXoLOpeHdWsr184,438
vera/lsp/convert.py,sha256=x1SByQxs71uM5_VzUVAaU2MPacyoZtD0Q4PICB9y2wk,9144
vera/lsp/documents.py,sha256=BXEmJCun2zCb03hIEZI_MnJxVBYt_g9-z2m5v7WBVtM,2200
vera/lsp/extensions.py,sha256=uBWw9sZsLEAxprVwHpWGC7AS_Y64V_lMyjTb282Norg,5860
vera/lsp/features.py,sha256=9RjS-6bQqvXtdhkzRp3b7ACig_OE4RVTVdD4P9IDyYc,15507
vera/lsp/server.py,sha256=bi6ewslzibLtAKSeK5iw1ZiNd3mLjiNXO-PY6-xOOOM,10707
vera/lsp/workflows.py,sha256=JxOvcxFKcpKAr4kHfb6IaS3lRIc9DonxcxsqqIwzYC0,24637
vera/obligations/__init__.py,sha256=UNhUQ2U2c5rSoQKhS7KJkp0UccZ7e4rH-rB4MS-ambw,1651
vera/obligations/cache.py,sha256=cU7F-b-Nzn7XyFVDdZq1SaCk_JnqAA9gVN2wFleoRM8,8282
vera/obligations/core.py,sha256=UwrltYwPNda6T1oUFvenZ9JpjeDtrQmdEnQgicLK5Ik,11129
vera/obligations/session.py,sha256=eZE2yw-LhfnDjYpxAHkUdtGqTMsZn-1tKop1nxsQbv0,14148
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=oaz-kTyp61SoAZo8T4D6QCYKuudnIauwnZM4PjZbP24,57791
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=2PIEo0gL1QD9LifgyjvxW56pOhM_RvfhH4ghLApuy0E,6051
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=10QZlLMtgQkoibM43gg2RbFBwcexFUSTE47So4Szw70,23322
vera/runtime/wasi_host.py,sha256=5ZH9RWIooqhFl9BxvezVxO4fFUUqje7jnDt8rhMGii0,8180
vera/wasm/__init__.py,sha256=_D6aUhRFYr0XQIiKeExHf3m09z7ak9vFDISze_0Le94,234
vera/wasm/async_fusion.py,sha256=2nmBb9xzV6OVg-JvzHh3rOJ5XWAxTODJ5obmYd7VFeo,19568
vera/wasm/calls.py,sha256=sJjNYX7ynwXLAbDhkTnEOcjs4p_gCtltYdZym0EXg0s,75069
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=krM9kFDOaSpNt_yzydrRcMYWiiY5SdnvegM92nhQyjY,128512
vera/wasm/calls_markup.py,sha256=7Gf2Oe5yZV1FRM1JDtyd3F_Bd3wKvhXRHBHZQsGyZOU,14990
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=0jDi38EMix0d8bDmfTzm-UuyH6HVXQbwdBFOSLJYe5Q,30090
vera/wasm/context.py,sha256=fLk458ghrN4oC55aoBGcGMeRhlZpLaszxSO0Gbab71I,70756
vera/wasm/data.py,sha256=HR2LRKRGcNx6ISG2leeb_BqvXuanHo8Vaxu45byCAMw,78141
vera/wasm/helpers.py,sha256=DhZKVCPxtlOU1vqOpaWZjMBDXPJ8NIGbI-VcW-rC7b4,26816
vera/wasm/html_serde.py,sha256=yFXlFLloiEi1RNEqh4DImGha_BQje7D58ngY8-bJGpI,10300
vera/wasm/inference.py,sha256=XcgmYHTJ9_gcPnztyvQ-XNFzuc9xmXeU1FGXCx0njSg,139094
vera/wasm/json_serde.py,sha256=2Z9T8O6z9PeD0_nROh9Zb2qoVuZeC5SchEP1u6F7Ghw,27203
vera/wasm/markdown.py,sha256=9gFpnFAbSv_wbRYIfYFFXEeIIRD81rOeOGebwNcPTVQ,23787
vera/wasm/operators.py,sha256=n8ecxKtRtuFZorx8q1ahzG3_umg_-EHGtNd1Ia_Qtys,135443
veralang-0.1.13.dist-info/licenses/LICENSE,sha256=LCfzTyQzn2NC6VTNiyWEe3qR5jDLaGMAj8AECXqP8Ck,1071
veralang-0.1.13.dist-info/METADATA,sha256=I35ECjQNAHFWeQCvmECxj_7DcRB1ndChP8zVmFP1TIM,4740
veralang-0.1.13.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
veralang-0.1.13.dist-info/entry_points.txt,sha256=lnivSvw1p4pZrueQde04KWdZrWcLYOIyR8iSoiNjANg,39
veralang-0.1.13.dist-info/top_level.txt,sha256=j44bnlcvNWMS8yC4ezZ1n9VDFPpuU8LTsMfTXgVFjQU,5
veralang-0.1.13.dist-info/RECORD,,
