Module rvalue

Functions

assume_scalar_range 🔒

Emits an assume call that imm’s value is within the known range of scalar.

transmute_scalar 🔒

Transmutes a single scalar value imm from from_scalar to to_scalar.