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

More accurate descriptions for lg2 and width in book appendix.

Browse Source 
Fixes #931.
This commit is contained in:
Brian Huffman 2020-10-13 10:53:32 -07:00
parent e08cac3828
commit a23267fe3d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/Syntax.md
View File

@ -138,8 +138,8 @@ Operator Meaning
`%` Modulus
`%^` Ceiling modulus (`%` rounded up)
`^^` Exponentiation
`lg2` Logarithm (base 2)
`width` Width (`lg2` rounded up)
`lg2` Ceiling logarithm (base 2)
`width` Bit width (equal to `lg2(n+1)`)
`max` Maximum
`min` Minimum