Vocabulary
effects

Inputs
effect1an effect
effect2an effect


Outputs
?a boolean


Word description
Tests if effect1 is substitutable for effect2. What this means is that both stack effects change the stack height by the same amount, the first takes a smaller or equal number of inputs as the second, and either both or neither one terminate execution by throwing an error.

Definition