GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-22 11:27:44 +03:00
Code Issues Projects Releases Wiki Activity

formatting

Browse Source
This commit is contained in:
Henry Blanchette 2022-08-30 11:47:55 -07:00
parent 9cd2aea936
commit 97e7c05e6e
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tests/constraint-guards/constant.cry
View File

@ -1,11 +1,10 @@
isZero : {n} Bit
isZero
| n == 0 => True
| () => False
isZero | n == 0 => True
| () => False
isFin : {n} Bit
isFin | fin n => True
| () => False
| () => False
idTypeNum : {n} Integer
idTypeNum | fin n => `n