bi.weakestpre imports a module from program_logic
bi.weakestpre
imports program_logic.language
, which is a layering violation. We should somehow fix this, either by breaking the dependency or by moving one of the two modules to the other side.
bi.weakestpre
imports program_logic.language
, which is a layering violation. We should somehow fix this, either by breaking the dependency or by moving one of the two modules to the other side.