Expand description
Constraint-based type inference for VerifyExpr.
Walks the expression tree, collects type constraints from operators, unifies constraints per variable, detects conflicts, and propagates bitvector widths.
Enums§
Functions§
- infer_
types - Infer types for all variables in a VerifyExpr.