Function vstd::std_specs::smart_ptrs::arc_new

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