withQuantifier

open override fun withQuantifier(newQuantifier: K3SearchInstrQuantifier): K3SearchInstr(source)