vstd::prelude

Function erased_ghost_value

pub fn erased_ghost_value<S, T>(_: S) -> T