diff options
| author | Zyad Hassan | 2024-04-03 18:59:58 -0700 |
|---|---|---|
| committer | Zyad Hassan | 2024-04-03 18:59:58 -0700 |
| commit | 44065f447dc3a2f4b1441b97b9687d1c1b85afbf (patch) | |
| tree | 3286ef009fa47f78e3a5e0295b3de3022fd4bac5 /backends/lean/Base/Primitives/ArraySlice.lean | |
| parent | ebf2ba2fda2a5f8e0a63f4cb6761291c9b501fab (diff) | |
Add builtins for some checked ops such as checked_add
Diffstat (limited to 'backends/lean/Base/Primitives/ArraySlice.lean')
0 files changed, 0 insertions, 0 deletions