scalar.ceildivui¶
Unsigned integer division, rounding toward positive infinity.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | — |
| Traits | Pure |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | lhs |
integer |
required | — |
| Operand | rhs |
integer |
required | — |
| Result | result |
integer |
required | — |
Verification constraints¶
SameType(lhs, rhs, result)