Method lookup

src/fdmap.rs:60–62

(&self, index: SboxFd)

    #[pure]
    #[requires (index < MAX_SBOX_FDS )]
    pub fn lookup(&self, index: SboxFd) -> RuntimeResult<HostFd> {
        vec_checked_lookup(&self.m, index)
    }

    #[with_ghost_var(trace: &Trace)]
    #[external_calls(vec_checked_lookup)]