Searched defs:FrameState (Results 1 – 1 of 1) sorted by relevance
60 pub struct FrameState { struct75 impl VisitTags for FrameState { implementation197 pub fn new_frame(&mut self, machine: &MiriMachine<'_, '_>) -> FrameState { in new_frame()