4 ms·
https://en.wikipedia.org/wiki/Refinement_type https://en.wikipedia.org/wiki/Refinement_type
by raincole 11mo ago
https://en.wikipedia.org/wiki/Refinement_type https://en.wikipedia.org/wiki/Refinement_type
- robertlagrant 11mo agoThank you - I didn't know it had a name. But I'm not surprised it came from ML.