Skip to content

Commit a0679a4

Browse files
committed
[sil.rst] Use consistent white space margin around boxes in ascii figure.
1 parent 4786a67 commit a0679a4

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

docs/SIL.rst

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1729,19 +1729,19 @@ call this the lattice of "Ownership Kinds" and each individual value an
17291729

17301730
We can graphically represent the lattice via a diagram like the following::
17311731

1732-
+----+
1733-
+-------- |None| -----------+
1734-
| +----+ |
1732+
+------+
1733+
+-------- | None | ---------+
1734+
| +------+ |
17351735
| | |
17361736
v v v ^
17371737
+-------+ +-----+------+ +---------+ |
17381738
| Owned | | Guaranteed | | Unowned | +--- Value Ownership Kinds and
17391739
+-------+ +-----+------+ +---------+ Ownership Constraints
17401740
| | |
17411741
| v | +--- Only Ownership Constraints
1742-
| +---+ | |
1743-
+--------->|Any|<-----------+ v
1744-
+---+
1742+
| +-----+ | |
1743+
+-------->| Any |<----------+ v
1744+
+-----+
17451745

17461746
One moves down the lattice by performing a "meet" operation::
17471747

0 commit comments

Comments
 (0)