Function spec_unwrapCopy item path

pub open spec fn spec_unwrap<T, E: Debug>(result: Result<T, E>) -> T

result is Ok,

{ result->Ok_0 }