let
cardinal a b =
F
.i_add
F
.i_one (
F
.i_sub b a)