summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Diverge
diff options
context:
space:
mode:
authorZyad Hassan2024-04-03 18:59:58 -0700
committerZyad Hassan2024-04-03 18:59:58 -0700
commit44065f447dc3a2f4b1441b97b9687d1c1b85afbf (patch)
tree3286ef009fa47f78e3a5e0295b3de3022fd4bac5 /backends/lean/Base/Diverge
parentebf2ba2fda2a5f8e0a63f4cb6761291c9b501fab (diff)
Add builtins for some checked ops such as checked_add
Diffstat (limited to 'backends/lean/Base/Diverge')
0 files changed, 0 insertions, 0 deletions