let
iPlus1 ?(n=n) =
function
i
when
i=n
->
i
|
i
->
i+1