push-after ( ch state -- state ) (original) (raw)
push-after ( ch state -- state )
Vocabulary
unicode.normalize.private
Inputs
ch | an object |
---|---|
state | an object |
Outputs
state | an object |
---|
Definition
: push-after ( ch state -- state ) [ ?push ] change-after ;
inline