advancedresearch/prop

Naming of successor function

bvssvni opened this issue · 0 comments

bvssvni commented

Suggestion:

FSucc for struct, Succ<N> for type alias

This design is similar as for addition and multiplication #1438