Changeset 2c8946b for doc

Timestamp:

May 23, 2024, 5:18:27 PM (6 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

dc74231

Parents:

fbc84ca

Message:

Various whitespace and intentation updates.

File:

• doc/proposals/autogen.md (modified) (1 diff)

doc/proposals/autogen.md

@@ -46 +46 @@
 
 Results in the following autogenerated expands to:
-    forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
+        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
         void ?{}(Cell(T)&);
-    forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
+        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
         void ?{}(Cell(T)&, Cell(T));
-    forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
+        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
         void ^?{}(Cell(T)&);
-    forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
+        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
         void ?=?(Cell(T)&, Cell(T));
-    forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
+        forall(T* | { T ?=?(T&, T); void ?{}(T&); void ?{}(T&, T); void ^?{}(T&); })
         void ?{}(Cell(T)&, T);
 
 If these assertions were reduced to the minimial required assertions the result would instead look something like the:
-    forall(T* | { void ?{}(T&); })
+        forall(T* | { void ?{}(T&); })
         void ?{}(Cell(T)&);
-    forall(T* | { void ?{}(T&, T); })
+        forall(T* | { void ?{}(T&, T); })
         void ?{}(Cell(T)&, Cell(T));
-    forall(T* | { void ^?{}(T&); })
+        forall(T* | { void ^?{}(T&); })
         void ^?{}(Cell(T)&);
-    forall(T* | { T ?=?(T&, T); })
+        forall(T* | { T ?=?(T&, T); })
         void ?=?(Cell(T)&, Cell(T));
-    forall(T* | { void ?{}(T&, T); })
+        forall(T* | { void ?{}(T&, T); })
         void ?{}(Cell(T)&, T);