mirror of
https://github.com/luxfhe/docs.git
synced 2026-10-30 18:13:39 +00:00
1.2 KiB
1.2 KiB
'TypeInference' Dialect
TypeInference dialect A dialect for debugging type inference
Operation definition
TypeInference.propagate_downward (::mlir::toruslang::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::toruslang::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::toruslang::TypeInference::UnresolvedConflictOp)
Represents an unresolved conflict
Operands:
| Operand | Description |
|---|---|
| «unnamed» | any type |
Results:
| Result | Description |
|---|---|
| «unnamed» | any type |