Move Verifier Ast out of sbv-transformation
The following steps should be able to be done in sequence without breaking any package in between
-
create new package -
add package to every dependent of sbv-translate -
move definitions from DataTypes (re-export from old module) -
fix imports to point to new module name (outside of sbv-transformation)
Edited by Bennet Bleßmann