2 ms·How ignorant am I, and how do I formally specify that in my code? (2016)1 points by lkrubner 7y ago