inc_dec module

source

inc

 inc (x:int)

increment

function name in backticks, like inc, will automatically create hyperlink.

Code 
inc(1)
Code 
test_eq(inc(2), 3)

source

dec

 dec (x:int)

decrement