Yes, it's actually quite easy: +: (int<N>, int<N>) -> int<N+1> // or (int<N>, bi...

		Joker_vD 9 months ago \| parent \| context \| favorite \| on: My first verified imperative program Yes, 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<2N>` etc. Those are the actual types of those arithmetic operations.