First working compile of refactor to add explicit typing to declarations

and support untyped empty collections and `none`s

1 files changed, 1 insertions, 1 deletions

diff --git a/docs/tables.md b/docs/tables.md
index f0045ef7..83c80b2b 100644
--- a/docs/tables.md
+++ b/docs/tables.md
@@ -17,7 +17,7 @@ table := {"A"=10, "B"=20}
 Empty tables must specify the key and value types explicitly:
 
 ```tomo
-empty := {:Text=Int}
+empty : {Text=Int} = {}
 ```
 
 For type annotations, a table that maps keys with type `K` to values of type