In a text editor, text folding is a mechanism that allows regions of text to be hidden, often replaced by a summary line of some sort. The intent is to allow the user to see a high-level overview of a document, with the ability to open up particular sections to see details if needed—a form of abstraction applied to text. Text folding is provided by most modern text editors, and is especially useful for editing computer programs, where it is typically used to hide the bodies of procedure or function definitions.