There is a pdf of presentation in the link... Pattern types or liquid types or dependent types are a way to express a subset of a type. E.g. type NonNull

There is a pdf of presentation in the link... Pattern types or liquid types or dependent types are a way to express a subset of a type. E.g. type NonNull = usize is 1.. type PokerNonFaceCard = u8 is 2..11