Skip to content

Commit

Permalink
Update language-specification.md
Browse files Browse the repository at this point in the history
  • Loading branch information
smolkaj committed May 6, 2024
1 parent 23ee5e7 commit 2afa175
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/language-specification.md
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ table:
| ternary | k::value | bit\<W\> | masked-off bits are zero: `value & !mask == 0`
| | k::mask | bit\<W\> |
| optional | k::value | bit\<W\> | masked-off bits are zero: `value & !mask == 0`
| | k::mask | bit\<W\> | wildcad or exact match: `mask == -1 \|\| mask == 0`
| | k::mask | bit\<W\> | wildcard or exact match: `mask == -1 \|\| mask == 0`
| lpm | k::value | bit\<W\> | masked-off bits are zero:`value & !prefix_mask == 0`<br> where `prefix_mask` is a `W`-bit vector whose upper `prefix_length` bits are 1 and the lower bits are 0
| | k::prefix_length | int | `0 <= prefix_length && prefix_length <= W`
| range | k::low | bit\<W\> | `low < high \|\| (low == 0 & high == 0)`
Expand Down

0 comments on commit 2afa175

Please sign in to comment.