indenter

noun — 2 senses

indenter

noun

Etymology From indent + -er.

1

A device or software program or routine that indents.

  • an XML indenter
  • a diamond indenter
2

A tool or device used to make a physical impression or indentation.

Derived terms
nanoindenter
Related terms
indentor

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.