extra binder
nounDefinition of extra binder
: one that produces extra bindings — compare extra entry 1 sense 2
1