Comment on My first verified imperative programparentComments−Joker_vD1yYes, it's actually quite easy: +: (int<N>, int<N>) -> int<N+1> // or (int<N>, bit) as the return type *: (int<N>, int<N>) -> int<2*N> etc. Those are the actual types of those arithmetic operations.
Comments
Yes, it's actually quite easy:
etc. Those are the actual types of those arithmetic operations.