Skip to main content

luaur_analysis/methods/
refinement_key_arena_empty.rs

1use crate::records::refinement_key_arena::RefinementKeyArena;
2
3impl RefinementKeyArena {
4    pub fn empty(&self) -> bool {
5        self.allocator.empty()
6    }
7}