Function vstd::std_specs::clone::ex_ghost_clone

pub exec fn ex_ghost_clone<T>(b: &Ghost<T>) -> Ghost<T>

res == b,