Closed Delja closed 4 years ago
Add a way to type an AExpr individually.
AExpr
In my case this method is used in order to type expressions provided for the old() in ensures contract.
old()
tests are broken. can't merge :(
Add a way to type an
AExpr
individually.In my case this method is used in order to type expressions provided for the
old()
in ensures contract.