mirror of
https://github.com/zama-ai/concrete.git
synced 2026-01-13 23:08:14 -05:00
1.2 KiB
1.2 KiB
'TypeInference' Dialect
TypeInference dialect A dialect for debugging type inference
Operation definition
TypeInference.propagate_downward (::mlir::concretelang::TypeInference::PropagateDownwardOp)
Causes the type of the operand to be forwarded upon type inference.
Operands:
| Operand | Description |
|---|---|
| «unnamed» | any type |
Results:
| Result | Description |
|---|---|
| «unnamed» | any type |
TypeInference.propagate_upward (::mlir::concretelang::TypeInference::PropagateUpwardOp)
Causes the type of the result to be forwarded to the operands upon type inference.
Operands:
| Operand | Description |
|---|---|
| «unnamed» | any type |
Results:
| Result | Description |
|---|---|
| «unnamed» | any type |
TypeInference.unresolved_conflict (::mlir::concretelang::TypeInference::UnresolvedConflictOp)
Represents an unresolved conflict
Operands:
| Operand | Description |
|---|---|
| «unnamed» | any type |
Results:
| Result | Description |
|---|---|
| «unnamed» | any type |