pub fn infer_types(
expr: &VerifyExpr,
) -> Result<HashMap<String, VerifyType>, TypeError>Expand description
Infer types for all variables in a VerifyExpr.
Returns a map from variable name to inferred type. Returns TypeError if a variable is used with conflicting types.