[Refactor] Add HIR helpers

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless

Apache License 2.0

6 stars 2 forks source link

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

This adds some commonly needed HIR helpers to make some queries less verbose.