rustre_core

Function enclosing_file_of_root

Source
pub fn enclosing_file_of_root(
    engine: TrackedMut<'_, Engine<'_>>,
    root: Root,
) -> FileId
Expand description

Returns the FileId that contains a given Root