23.1.26.1 Instruction mm

Synopsys:

mm

Given a value, push 1 on the stack if the value is mapped. Push 0 otherwise.

Stack: ( VAL -- VAL INT )