vera/__init__.py,sha256=RXicrRnVgugMCSnhlFxChAjoBzclPo58KD8KwHUhOLE,100
vera/_since.py,sha256=rPy8DWT_BmR2YN5zi-KtDFyHvj6Nr2WYHcXSowpBG6g,10740
vera/ast.py,sha256=Dtg_2hDo-n_lPwJWVlM14w6RsrqKZd4GF-w9v41I02k,25935
vera/cli.py,sha256=cMMydJMyWU82FmiaiUZlZIsFqvFqqCSuRvGDIMh_dWo,83516
vera/environment.py,sha256=40ekDm2_mDc__h7SR3VsdBAit_igg13jRQjUL42dpXo,91264
vera/errors.py,sha256=dm3mYhzb4yAo1e4PaFntHDtbGlmkJVdP9uc1uCFxq74,32124
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=Q_Fh8JeADnTNbNYnwCv2s-k4HopjE82UULEikJgUTpM,21868
vera/monomorphize.py,sha256=s1TZnTfT2NlwmLMo1Pxqk4EWPhlBNY8l-DpXgDlGaUU,152038
vera/naming.py,sha256=oeEoPkdxSj5q28dDgdDdVYSVAJ6gG_g7xwShDj6bcss,41395
vera/parser.py,sha256=dKlIbvgo7uLrptigAkDFXt8AGxJPAhtj-tVJ8akKhKY,6273
vera/prelude.py,sha256=9oUB04y-yY_86uTnnpSxj5Qcu3-idsKBscOfHqcxT_E,35814
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=PJvHf6fphMV2N9V6pqrApQ21mL7MZvZKXaFDCNz5W9A,15022
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=B2Zt4LytOFeP-94k-sAfAuTbqfBICWii7jAT_uZsb6A,482773
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=-43zEMPD9cWgBQzkmR_VapicdMKCwa_SVJj03j2tsh0,83032
vera/checker/control.py,sha256=fu9de63xiwG4MmNiyIWIKK4K8dPZPgggedbkT3lmUuU,35734
vera/checker/core.py,sha256=c2ibsaty3mONFbyAFumUiTkQP_2SJ35jSm7c4ESXCnY,54737
vera/checker/eq_ability.py,sha256=UvBOMN6sYFE02j5RDTrhZ2cF_DArTPESNZw7FZTEwYU,8702
vera/checker/expressions.py,sha256=jMQZJwLEqw5os7f8Ac4AIBo1-_RK_bvqwxNJ4e4U3yo,70138
vera/checker/modules.py,sha256=n0Mo-bokXdWbJtM_cQ7gJqU69y9PWU4xEF6kXdgv7D4,13464
vera/checker/registration.py,sha256=k_LsRgpWd82Ibkpygz3ok9NF1ocnhtuiYVEc2yASE38,42296
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=yq_FYiUg7N3M-y1texiJKOrCQ_TaETFyygyS2y5FHrM,63712
vera/codegen/assembly.py,sha256=f0cHBvbJAtRLg5HuEDh7Mi_199HyM5mEKOny8EJ82-w,66289
vera/codegen/closures.py,sha256=xWFBjFiTRyOratyWk3Co49S6bWT81RVb-5RJzvVjPMM,58754
vera/codegen/compilability.py,sha256=WYE4QaZJMZw4xLWXvcz9IYhPzBx_KNx1z0Io6J9-Z2Q,50458
vera/codegen/contracts.py,sha256=L6II_CiAHAEqbGEE2VfxQmCkqoEC-CYqJ4kuPcXsyTM,62483
vera/codegen/core.py,sha256=2zSiwF2SqwWLEMltBk-DdllYxlbbs-AAtq9DTJHDY1A,156556
vera/codegen/functions.py,sha256=fhCKwJj4pSiSOlebLnZFUnakfqNYpsTCU-1bAIAKOew,81141
vera/codegen/memory.py,sha256=GF7KGiSt9Tqv2pvvTw_agubhO_0pLWDk-JO3A85x3i8,4896
vera/codegen/modules.py,sha256=w5H4OkbUV69KQhxeNKkg7-ubBkq7NxSbDwjM7fOkZvs,65656
vera/codegen/monomorphize.py,sha256=zShnGzc4zSxeIuXKC8aKM7STLDkJkmF_OAbMBz67h8Y,80291
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=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=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=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=cEHWB1V9m_tZU2mvwvLwJEQYsUPkpAR0WK65sw9UwTs,6041
vera/runtime/inference.py,sha256=wao_KSdLDdn0_NrVyMCeQ5euAPHcvRKOa6Dn6QG2dr4,6976
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=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=2xXXKaxjRlEi2Z108NQv3jVuESopGx6SOslcm4-tqvE,5794
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=yuC-zTTKzQWf_dV326A0fcPi2iIti08Irn3Ajoe9e1I,21334
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=xWkmiCXlCEDX_iu9n3FT_2pbZcFtCfxSXD4-31UI4eo,70066
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=yJlSqplFAUUCz1BOuLkkdEvbgA81zt7-_GQxJmsZpYE,121642
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=wBY2bMxFsI4ySIwdaWe-nGWL8aPJlPVldQw3J0CE-pI,64171
vera/wasm/data.py,sha256=lAGPOmzSnk6U6F4RGt98-cgfNDYXOr_hruCVWCC3R6w,73828
vera/wasm/helpers.py,sha256=BPZSKS8QdgIwys7jSHbx_v_qnfe82gn7JOyR_WRBzzo,26081
vera/wasm/html_serde.py,sha256=yFXlFLloiEi1RNEqh4DImGha_BQje7D58ngY8-bJGpI,10300
vera/wasm/inference.py,sha256=Nu5bl3EG-a-u9avqDETDwkgIZjBnbkHhuWQ9YHb_B9A,136647
vera/wasm/json_serde.py,sha256=mpy10FqqsfKgwFugKCKeLqRk4lNnnisRIRmbBzWrMaI,10123
vera/wasm/markdown.py,sha256=9gFpnFAbSv_wbRYIfYFFXEeIIRD81rOeOGebwNcPTVQ,23787
vera/wasm/operators.py,sha256=0bdkPf_WTuqpKwDIkHj5Rox94D94jIcctZFWKaaKZdo,134022
veralang-0.1.10.dist-info/licenses/LICENSE,sha256=LCfzTyQzn2NC6VTNiyWEe3qR5jDLaGMAj8AECXqP8Ck,1071
veralang-0.1.10.dist-info/METADATA,sha256=PiBxoSVHCIgbTTJsd8wTEwDNiDO2gjxvybzVAiTgATg,4740
veralang-0.1.10.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
veralang-0.1.10.dist-info/entry_points.txt,sha256=lnivSvw1p4pZrueQde04KWdZrWcLYOIyR8iSoiNjANg,39
veralang-0.1.10.dist-info/top_level.txt,sha256=j44bnlcvNWMS8yC4ezZ1n9VDFPpuU8LTsMfTXgVFjQU,5
veralang-0.1.10.dist-info/RECORD,,
