Function vstd::std_specs::clone::ex_char_clone

source ·
pub exec fn ex_char_clone(c: &char) -> res : char
Expand description
ensures
res == c,