push

fun push(prefix: String?, pos: Int): Stack(source)

Pushes a string constant and a pointer to a token's replacement position onto stack.