push

Contents

push#

async tierkreis.pyruntime.python_builtin.push(vec: list[a], item: a) _PushOut[a][source]#

Adds an input element onto an input Vec to give an output Vec.