pub fn cstr_require<'c>(
context: &'c Context,
result: Type<'c>,
pred: Value<'c, '_>,
msg: StringAttribute<'c>,
location: Location<'c>
) -> CstrRequireOperation<'c>
Expand description
Creates a cstr_require
operation.
pub fn cstr_require<'c>(
context: &'c Context,
result: Type<'c>,
pred: Value<'c, '_>,
msg: StringAttribute<'c>,
location: Location<'c>
) -> CstrRequireOperation<'c>
Creates a cstr_require
operation.