decorator: Python library - decorators </>