-
Sven Keidel authored
This allows to implement fixpoint combinators specific to the abstract domain of the analysis. Before all fixpoint combinators had to be parametric over domain and codomain.
This allows to implement fixpoint combinators specific to the abstract domain of the analysis. Before all fixpoint combinators had to be parametric over domain and codomain.