From 41ae6269689e2b3cde9f7ac4227923d4085dceda Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Fri, 2 Oct 2026 16:21:02 -0700
Subject: More better layout ch10a,b,11

---
 chapter12/docs/lattice.gv | 25 ++++++++++++++++++++++---
 1 file changed, 22 insertions(+), 3 deletions(-)

(limited to 'chapter12/docs/lattice.gv')

diff --git a/chapter12/docs/lattice.gv b/chapter12/docs/lattice.gv
index f3b5051c..e8631cd5 100644
--- a/chapter12/docs/lattice.gv
+++ b/chapter12/docs/lattice.gv
@@ -118,9 +118,28 @@ digraph Lattice {
         node [fillcolor="#ffc0cb"];
         TUPLE_TOP [label="⊤:tuple"];
         TUPLE_BOT [label="⊥:tuple"];
-        TUPLE1 [label="(type)", shape=box];
-        TUPLE2 [label="(type, type)", shape=box];
-        TUPLEN [label="(type, …)", shape=box];
+        // Each black element stands for a recursively nested type lattice.
+        TUPLE1 [shape=plain, label=<
+            <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
+                <TR><TD BGCOLOR="#ffc0cb">tuple</TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR>
+            </TABLE>
+        >];
+        TUPLE2 [shape=plain, label=<
+            <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
+                <TR><TD BGCOLOR="#ffc0cb">tuple</TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR>
+            </TABLE>
+        >];
+        TUPLEN [shape=plain, label=<
+            <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
+                <TR><TD BGCOLOR="#ffc0cb">tuple</TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">…</FONT></TD></TR>
+                <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR>
+            </TABLE>
+        >];
         {rank=same; TUPLE1; TUPLE2; TUPLEN;}
         TUPLE1 -> TUPLE2 -> TUPLEN [style=invis];
         TUPLE_TOP -> {TUPLE1 TUPLE2 TUPLEN};
-- 
cgit v1.2.3