Make the constructors for Final public and update documentation.
I would like these constructors to return Self instead of Arc<Self>, because then the caller can choose how he wants to save the returned value. However, we would need to change the union bound code for that, which seems too invasive for now.
Make the constructors for
Finalpublic and update documentation.I would like these constructors to return
Selfinstead ofArc<Self>, because then the caller can choose how he wants to save the returned value. However, we would need to change the union bound code for that, which seems too invasive for now.