Function vstd::std_specs::option::take

pub exec fn take<T>(option: &mut Option<T>) -> t : Option<T>

Expand description

ensures

t == old(option),

*option is None,

Function vstd::std_specs::option::takeCopy item path