Function vstd::std_specs::option::take

source · 
pub exec fn take<T>(option: &mut Option<T>) -> Option<T>
Expand description
ensures
t == old(option),
*option is None,