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).
An extractor class to create and pattern match with syntax
RefinedType(parents, decls)Here,parentsis the list of parent types of the class, anddeclsis the scope containing all declarations in the class.