An alternative constructor that passes in the synthetic classs symbol that backs the refined type.
An alternative constructor that passes in the synthetic classs symbol that backs the refined type. (Normally, a fresh class symbol is created automatically).
The constructor/deconstructor for
RefinedTypeinstances.