>  perhaps we could just provide a function:
>
>     $y = shared_clone($x);

What name should this function have?

    shared_clone()
    clone()
    shared_copy()
    copy()
    make_shared()

Or something else?

Reply via email to