pop: Remove the top element from a stack

Description Usage Arguments Value

Description

Remove the top element from a stack

Usage

1

Arguments

stack

A non-empty stack

Value

A copy of stack where the first element has been removed


mailund/pmtypes documentation built on Jan. 31, 2020, 1:09 p.m.