The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
Asserts an operation on two operands.
Invokes the asynchronous call on the operands, producing a future.
Calls the operands into the declared type.
i.e. call transfer r0.owner 0u64 r1.amount into r1 r2;
Casts the operands into the declared type.
Commits the operand into the declared type.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
Hashes the operand into the declared type.
The implementation of the binary operation.
Computes an equality operation on two operands, and stores the outcome in destination.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
Computes whether signature is valid for the given address and message.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
The implementation of the binary operation.
Compute the absolute value of first, checking for overflow/underflow, and storing the outcome in destination.
Compute the absolute value of first, wrapping around at the boundary of the type, and storing the outcome in destination.
Adds first with second, storing the outcome in destination.
Adds first with second, wrapping around at the boundary of the type, and storing the outcome in destination.
Performs a bitwise and on first and second, storing the outcome in destination.
Asserts two operands are equal to each other.
Asserts two operands are not equal to each other.
A binary literal operation.
The cast instruction.
The cast.lossy instruction.
BHP256 is a collision-resistant function that processes inputs in 256-bit chunks.
BHP512 is a collision-resistant function that processes inputs in 512-bit chunks.
BHP768 is a collision-resistant function that processes inputs in 768-bit chunks.
BHP1024 is a collision-resistant function that processes inputs in 1024-bit chunks.
Pedersen64 is a collision-resistant function that processes inputs in 64-bit chunks.
Pedersen128 is a collision-resistant function that processes inputs in 128-bit chunks.
Divides first by second, storing the outcome in destination.
Divides first by second, wrapping around at the boundary of the type, storing the outcome in destination.
Doubles first, storing the outcome in destination.
Computes whether first is greater than second as a boolean, storing the outcome in destination.
Computes whether first is greater than or equal to second as a boolean, storing the outcome in destination.
BHP256 is a collision-resistant hash function that processes inputs in 256-bit chunks.
BHP512 is a collision-resistant hash function that processes inputs in 512-bit chunks.
BHP768 is a collision-resistant hash function that processes inputs in 768-bit chunks.
BHP1024 is a collision-resistant hash function that processes inputs in 1024-bit chunks.
Keccak256 is a cryptographic hash function that outputs a 256-bit digest.
Keccak384 is a cryptographic hash function that outputs a 384-bit digest.
Keccak512 is a cryptographic hash function that outputs a 512-bit digest.
Poseidon2 is a cryptographic hash function that processes inputs in 2-field chunks.
Poseidon4 is a cryptographic hash function that processes inputs in 4-field chunks.
Poseidon8 is a cryptographic hash function that processes inputs in 8-field chunks.
Pedersen64 is a collision-resistant hash function that processes inputs in 64-bit chunks.
Pedersen128 is a collision-resistant hash function that processes inputs in 128-bit chunks.
Poseidon2 is a cryptographic hash function that processes inputs in 2-field chunks.
Poseidon4 is a cryptographic hash function that processes inputs in 4-field chunks.
Poseidon8 is a cryptographic hash function that processes inputs in 8-field chunks.
SHA3-256 is a cryptographic hash function that outputs a 256-bit digest.
SHA3-384 is a cryptographic hash function that outputs a 384-bit digest.
SHA3-512 is a cryptographic hash function that outputs a 512-bit digest.
Computes the multiplicative inverse of first, storing the outcome in destination.
Computes whether first equals second as a boolean, storing the outcome in destination.
Computes whether first does not equals second as a boolean, storing the outcome in destination.
Computes whether first is less than second as a boolean, storing the outcome in destination.
Computes whether first is less than or equal to second as a boolean, storing the outcome in destination.
Computes the result of first mod second, storing the outcome in the destination.
Multiplies first and second, storing the outcome in destination.
Multiplies first and second, wrapping around at the boundary of the type, storing the outcome in destination.
Returns false if first and second are true, storing the outcome in destination.
Negates first, storing the outcome in destination.
Returns true if neither first nor second is true, storing the outcome in destination.
Flips each bit in the representation of first, storing the outcome in destination.
Performs a bitwise or on first and second, storing the outcome in destination.
Raises first to the power of second, storing the outcome in destination.
Raises first to the power of second, wrapping around at the boundary of the type, storing the outcome in destination.
Divides first by second, storing the remainder in destination.
Divides first by second, wrapping around at the boundary of the type, storing the remainder in destination.
Shifts first left by second bits, storing the outcome in destination.
Shifts first left by second bits, continuing past the boundary of the type, storing the outcome in destination.
Shifts first right by second bits, storing the outcome in destination.
Shifts first right by second bits, continuing past the boundary of the type, storing the outcome in destination.
Squares first, storing the outcome in destination.
Computes the square root of first, storing the outcome in destination.
Computes first - second, storing the outcome in destination.
Computes first - second, wrapping around at the boundary of the type, and storing the outcome in destination.
Selects first, if condition is true, otherwise selects second, storing the result in destination.
A ternary literal operation.
A unary literal operation.
Performs a bitwise xor on first and second, storing the outcome in destination.