code: def assumes(*args):
      '''Stores a function's assumptions as an attribute.'''
      args = tuple(args)
  
      def decorator(func):
          func.assumptions = args
          return func
      return decoratof assumes(*args):
      '''Stores a function's assumptions as an attribute.'''
      args = tuple(args)
  
      def decorator(func):
          func.assumptions = args
          return func
      return decorator
docs: Stores a function's assumptions as an attribute.