Added static types

I put this within the type section, but I'm not sure if it should go here. It has a broader use. Should it get its own section?

1 files changed, 20 insertions, 0 deletions

diff --git a/doc/astspec.txt b/doc/astspec.txt
index 6b64e5b91..ef0c91bb8 100644
--- a/doc/astspec.txt
+++ b/doc/astspec.txt
@@ -878,6 +878,26 @@ AST:
     # ...
   )
 
+Static types, like ``static[int]``, use ``nnkIdent`` wrapped in 
+``nnkStaticTy``.
+
+Concrete syntax:
+
+.. code-block:: nim
+  type A[T: static[int]] = object
+
+AST:
+
+.. code-block:: nim
+  # ... within nnkGenericParams
+  nnkIdentDefs(
+    nnkIdent(!"T"),
+    nnkStaticTy(
+      nnkIdent(!"int")
+    ),
+    nnkEmpty()
+  )
+  # ...
 
 Procedure declaration
 ---------------------