diff options
author | Aymeric Fromherz | 2024-05-30 13:01:06 +0200 |
---|---|---|
committer | Aymeric Fromherz | 2024-05-30 13:01:06 +0200 |
commit | 9a860ae3ac5f0fdd4430ba39315456c0396e55e7 (patch) | |
tree | 40b3e7d4fd4ecf8fa3cd4a5ba02d0d5bedaa5588 /compiler/Assumed.ml | |
parent | ce8614be6bd96c51756bf5922b5dfd4c59650dd4 (diff) |
More lisible sign for proj_right pretty-printing
Diffstat (limited to 'compiler/Assumed.ml')
0 files changed, 0 insertions, 0 deletions