recursive function

sml recursive function example