Function vstd::std_specs::clone::ex_bool_clone

source · 
pub exec fn ex_bool_clone(b: &bool) -> res : bool
Expand description
ensures
res == b,