Function vstd::std_specs::smart_ptrs::box_new

source · 
pub exec fn box_new<T>(t: T) -> Box<T>
Expand description
ensures
v == t,