avail/avail.interpreter.levelTwoSimple/L2SimpleTranslator/restrictions

restrictions

val restrictions: MutableList<TypeRestriction>

The types of the registers at this point.