Function vstd::std_specs::smart_ptrs::rc_new

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