Function vstd::prelude::ghost_exec

pub fn ghost_exec<A>(_a: A) -> Ghost<A>