Refinement

object Refinement
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[C, A, B] = Refinement[A, B] { type Constraint = C; }