Can't find 'Pure' trait's definition

In the file : llvm-project/mlir/examples/toy/Ch2/include/toy/Ops.td the operation constant is defined as:

def ConstantOp : Toy_Op<"constant", [Pure]> {...........}

However, in the file : llvm-project/mlir/include/mlir/IR/OpBase.td I can’t find the definition of the trait ‘Pure’. Where can I find the definition of this trait?

Thanks.

1 Like