23.1.27.1 Instruction isa

Synopsys:

isa

Given a value and a type, push 1 on the stack if the value is of the given type. Push 0 otherwise.

Stack: ( VAL TYPE -- TYPE VAL INT )