Skip to content
  • Robbert Krebbers's avatar
    Clean up exports in `heap_lang`. · 9a81a9a9
    Robbert Krebbers authored
    - Export `total_weakestpre` in `lifting` already, like we do for `weakestpre`.
    - Do not export modules that are already exported by exported modules.
    9a81a9a9