indenter

Noun

 * 1) A device or program that indents
 * an XML indenter
 * a diamond indenter
 * 1) A tool or device used to make a physical impression or indentation

Translations

 * Italian: indentatore