RefinementMethods

Extension methods of Refinement

Source
Quotes.scala

Extensions

Extensions

extension (self: Refinement)