Help for this page
exception Change ... else (coin :: change (coin::coins) (amt-coin)) handle Change => change coins amt
change [5,2] 16