noun
A device or software program or routine that indents.
A tool or device used to make a physical impression or indentation.