2 ms·Refinement Types… thats the phrase I was looking for. Thanks!by quickthrower2 4y agoRefinement Types… thats the phrase I was looking for. Thanks!