RefinementMethods

Extension methods of Refinement

Source:
Quotes.scala

Extensions

Extensions

extension (self: Refinement)