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

Remove redundant word "Size" in table of built-in type-level operators.

Browse Source 
We have decided to avoid the term "size type" in favor of
"numeric type" (#597), and the word is uninformative in this
context anyway.
This commit is contained in:
Brian Huffman 2020-10-13 10:39:25 -07:00
parent f54f2ffee4
commit e08cac3828
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
docs/Syntax.md
View File

@ -130,18 +130,18 @@ the numeric types used to specify the sizes of sequences.
Operator Meaning
-------- -------------------------
`+` Size addition
`-` Size subtraction
`*` Size multiplication
`/` Size division
`/^` Size ceiling division (`/` rounded up)
`%` Size modulus
`%^` Size ceiling modulus (`%` rounded up)
`^^` Size exponentiation
`lg2` Size logarithm (base 2)
`width` Size width (`lg2` rounded up)
`max` Size maximum
`min` Size minimum
`+` Addition
`-` Subtraction
`*` Multiplication
`/` Division
`/^` Ceiling division (`/` rounded up)
`%` Modulus
`%^` Ceiling modulus (`%` rounded up)
`^^` Exponentiation
`lg2` Logarithm (base 2)
`width` Width (`lg2` rounded up)
`max` Maximum
`min` Minimum
Table: Type-level operators