pub fn apply_constraint<'c>(
    context: &'c Context,
    args: &[Value<'c, '_>],
    true_dest: &Block<'c>,
    false_dest: &Block<'c>,
    _name: StringAttribute<'c>,
    location: Location<'c>
) -> ApplyConstraintOperation<'c>
Expand description

Creates an apply_constraint operation.