merge ( from to merge quot -- ) (original) (raw)

merge ( from to merge quot -- )

Vocabulary
sorting.private

Inputs

from	an object
to	an object
merge	an object
quot	an object

Outputs
None

Definition

USING: kernel ;

IN: sorting.private

: merge ( from to merge quot -- )
[ [ merging ] keep ] dip (merge) ; inline