Lattice TOP ⊤ XCTRL ⊤ :ctrl TOP->XCTRL INT_TOP ⊤ :int TOP->INT_TOP TUPLE_TOP ⊤ :tuple TOP->TUPLE_TOP BOT ⊥ CTRL ⊥ :ctrl XCTRL->CTRL CTRL->BOT INT_MIN -n INT_TOP->INT_MIN INT_MINDOTS ... INT_TOP->INT_MINDOTS INT_MINUS -1 INT_TOP->INT_MINUS INT_ZERO 0 INT_TOP->INT_ZERO INT_PLUS 1 INT_TOP->INT_PLUS INT_MAXDOTS ... INT_TOP->INT_MAXDOTS INT_MAX +n INT_TOP->INT_MAX INT_BOT ⊥ :int INT_BOT->BOT INT_MIN->INT_BOT INT_MINDOTS->INT_BOT INT_MINUS->INT_BOT INT_ZERO->INT_BOT INT_PLUS->INT_BOT INT_MAXDOTS->INT_BOT INT_MAX->INT_BOT TUPLE1 tuple type TUPLE_TOP->TUPLE1 TUPLE2 tuple type type TUPLE_TOP->TUPLE2 TUPLEN tuple type ... type TUPLE_TOP->TUPLEN TUPLE_BOT ⊥ :tuple TUPLE_BOT->BOT TUPLE1->TUPLE_BOT TUPLE2->TUPLE_BOT TUPLEN->TUPLE_BOT