Refinement Types

Refinement Types are a language feature.

A type endowed with a predicate which is assumed to hold for any element of the refined type.

the Refinement Types Wikipedia page
Have a question about Refinement Types not answered here? Open an issue explaining what you need.
Edit this page

Languages with Refinement Types include Raku

subset Color of Any where Color | CMYK_Color;