push-r ( obj -- )
Stack effect inference implementation

Prev:

push-literal ( obj -- )

Vocabulary
stack-checker.backend

Inputs

obj

an object

Outputs
None

Definition

USING: sequences stack-checker.state ;

IN: stack-checker.backend

: push-r ( obj -- ) meta-r push ;