Function engine_device_ctx 

pub fn engine_device_ctx<E>(engine: &E) -> &EngineDeviceCtx<E>
where
    E: StarkEngine,