3 ms·imp. But only if it imperatively imports the implication operator.by ksherlock 1y agoimp. But only if it imperatively imports the implication operator.