# `Beaver.MLIR.Transform.Schedule.Constraint`

An exported `transform.smt.constrain_params` operation.

# `t`

```elixir
@type t() :: %Beaver.MLIR.Transform.Schedule.Constraint{
  guards: [Beaver.MLIR.Transform.Schedule.Choice.guard()],
  ir: String.t(),
  operands: non_neg_integer(),
  path: [term()],
  results: non_neg_integer()
}
```