# '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