def tmp(x): return 0 if x < 5 else tmp(x-1)
def tmp(x : var_type) -> return_type: pass def tmp(x : int) -> int: return x + 5
def f(x): """ x : int .... """