3 ms·
it is a refinement type over the base number type, where the predicate constrains the number to lie in an interval e.g. { x:Int8 | 1 ≤ x ≤ 12 }
by evertedsphere 2y ago
it is a refinement type over the base number type, where the predicate constrains the number to lie in an interval
e.g. { x:Int8 | 1 ≤ x ≤ 12 }