(defun foo (a :Int) 0) (defun foo (s :Str) "Test") (defun bar () (foo 0)) --- def foo_int(a) ->int: return 0 def foo_str(s) ->str: return 'Test' def bar() ->int: return foo_int(0)