RefinementMethods

Extension methods of Refinement

Extension methods of Refinement

Extensions

Extensions

extension (self: Refinement)
def name: String