From e4dc3273f201ae741637b626998637cce973546b Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Fri, 2 Oct 2026 13:04:34 -0700 Subject: First pass README updates --- chapter10b/docs/lattice.svg | 154 ++++++++++++++++++++++---------------------- 1 file changed, 77 insertions(+), 77 deletions(-) (limited to 'chapter10b/docs/lattice.svg') diff --git a/chapter10b/docs/lattice.svg b/chapter10b/docs/lattice.svg index a11452b9..ff554601 100644 --- a/chapter10b/docs/lattice.svg +++ b/chapter10b/docs/lattice.svg @@ -4,11 +4,11 @@ - + Lattice - + cluster_control @@ -26,21 +26,21 @@ cluster_struct - -Struct -named collection of named scalar types + +Struct +named collection of named scalar types cluster_memory - -Memory -precise alias slices + +Memory +precise alias slices cluster_tuple - -Tuple -collection of types + +Tuple +collection of types @@ -101,26 +101,26 @@ MEM_TOP - -⊤:mem + +⊤:mem TOP->MEM_TOP - - + + TUPLE_TOP - -⊤:tuple + +⊤:tuple TOP->TUPLE_TOP - - + + @@ -416,27 +416,27 @@ STRUCT_S2 - -s2 -x: int, y: *s1 + +s2 +x: int, y: int STRUCT_TOP->STRUCT_S2 - - + + STRUCT_MORE - -… + +… STRUCT_TOP->STRUCT_MORE - - + + @@ -469,152 +469,152 @@ STRUCT_S2->STRUCT_BOT - - + + STRUCT_MORE->STRUCT_BOT - - + + MEM_ALIAS2 - -MEM#2 + +MEM#2 MEM_TOP->MEM_ALIAS2 - - + + MEM_ALIAS3 - -MEM#3 + +MEM#3 MEM_TOP->MEM_ALIAS3 - - + + MEM_MORE - -… + +… MEM_TOP->MEM_MORE - - + + MEM_BOT - -⊥:mem + +⊥:mem MEM_BOT->BOT - - + + MEM_ALIAS2->MEM_BOT - - + + MEM_ALIAS3->MEM_BOT - - + + MEM_MORE->MEM_BOT - - + + TUPLE1 - -(type) + +(type) TUPLE_TOP->TUPLE1 - - + + TUPLE2 - -(type, type) + +(type, type) TUPLE_TOP->TUPLE2 - - + + TUPLEN - -(type, …) + +(type, …) TUPLE_TOP->TUPLEN - - + + TUPLE_BOT - -⊥:tuple + +⊥:tuple TUPLE_BOT->BOT - - + + TUPLE1->TUPLE_BOT - - + + TUPLE2->TUPLE_BOT - - + + TUPLEN->TUPLE_BOT - - + + -- cgit v1.2.3