pub fn intr_assume<'c>(
context: &'c Context,
cond: Value<'c, '_>,
location: Location<'c>
) -> AssumeOperation<'c>
Expand description
Creates an intr.assume
operation.
pub fn intr_assume<'c>(
context: &'c Context,
cond: Value<'c, '_>,
location: Location<'c>
) -> AssumeOperation<'c>
Creates an intr.assume
operation.