vstd::prelude

Function tracked_exec_borrow

pub fn tracked_exec_borrow<'a, A>(_a: &'a A) -> &'a Tracked<A>