3 ms·

If you have an int32 or less you can!

• jaggederest 4mo ago
  And you'll rapidly return to proofs when your "function input" is something like a sequence of, say, ieee floating point numbers coming over the wire of possibly unbounded length. State machines with proofs that all the cases are handled are great.