indenter (English, noun)
expansion: indenter (plural indenters)
Senses:
glosses: A device or software program or routine that indents.
glosses: A tool or device used to make a physical impression or indentation.
Forms:
form: indenters
tags: plural