Commit 1eec5c7

committed

Refactor traverseProjection path reconstruction

1 parent 4e2462e commit 1eec5c7Copy full SHA for 1eec5c7

3 files changed

kmir/src
- kmir/kdist/mir-semantics/rt
  - data.md
- tests/integration
  - data/prove-rs/show
    - niche-enum.main.expected
  - test_integration.py

Comments

(0)