push!

A macro.

Exported from

Definition

function macro

Sequence-Utilities, written by Matthias Hölzl, provides common or oft-used operations performed on <sequence>s.