Functions ========= Body expression ~~~~~~~~~~~~~~~ :: int sum(int a, int b) = a + b