Index Instructions

The index instructions have the following graphical representations:

• switch_on_term Const, Struct, List, Nil, Var:
  The type n means switching on the type of the nth argument (see section 11.1).
• switch_on_constant N, T:
  where the hash table T has the N entries c1, c2, ..., cN; the else label will be explained in section 11.3
• switch_on_structure N, T:
  where the hash table T has the N entries s1, s2, ..., sN