2 ms·Indeed. That's the way to reason about correctness of opaque functions.by gpderetta 3y agoIndeed. That's the way to reason about correctness of opaque functions.