func_code: def minimum(l):
      a = l[0]
      if len(l) == 1:
          return l[0]
      if a >= minimum(l[:-1]):
          return minimum(l[:-1])
annotation: def minimum(l):
      a = l[0]
      if len(l) == 1:
          return l[0]
      if a >= minimum(l[1:]):
          return minimum(l[1:])
      return a
  