-
Heiko Becker authored
This involved making some more invariants explicit, like let-bindings preserving the analysis result for variable bindings, similarly for types.
7f62e7d7
This involved making some more invariants explicit, like let-bindings preserving the analysis result for variable bindings, similarly for types.