Function ghost_exec

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