Function overload [in Terra] works similar to C, just define a Terra function twice:
terra add(a : int, b : int) return a + b end terra add(a : int, b : int, c : int) return a + b + c end add:printpretty() -- should list 2 definitions for "add"