scalar.bitcast¶
Bitwise reinterpretation between scalar types with the same bit count. No numeric conversion is performed.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | executable |
| Traits | Pure |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | input |
scalar |
required | — |
| Result | result |
scalar |
required | — |
Verification constraints¶
TotalBitCountEqual(input, result)