2 ms·I think this is just refinement types. You wouldn't so much ban the stdlib as need to wrap it.by staticassertion 7y agoI think this is just refinement types. You wouldn't so much ban the stdlib as need to wrap it.