Function melior::dialect::ods::shape::assuming

pub fn assuming<'c>(
    context: &'c Context,
    results: &[Type<'c>],
    witness: Value<'c, '_>,
    do_region: Region<'c>,
    location: Location<'c>
) -> AssumingOperation<'c>

Creates an assuming operation.