Inline `app` in `Assoc`

runtimeverification / k

K Framework Tools 7.0

BSD 3-Clause "New" or "Revised" License

430 stars 141 forks source link

Closed tothtamas28 closed 1 day ago

tothtamas28 commented 6 days ago

This allows type-safe traversal of Assoc using top_down and bottom_up.