diff --git a/AstSemantics.md b/AstSemantics.md
index bc21c3de..7062a8ff 100644
--- a/AstSemantics.md
+++ b/AstSemantics.md
@@ -219,7 +219,7 @@ page size. To determine page size, a nullary `page_size` operation is provided.
 
  * `resize_memory` : grow or shrink linear memory by a given delta which
     must be a multiple of `page_size`
- * `page_size` : nullary constant function returning page size
+ * `page_size` : nullary constant function returning page size in bytes
 
 Also as stated [above](AstSemantics.md#linear-memory), linear memory is
 contiguous, meaning there are no "holes" in the linear address space. After the
@@ -227,6 +227,13 @@ MVP, there are [future features](FutureFeatures.md#finer-grained-control-over-me
 proposed to allow setting protection and creating mappings within the
 contiguous linear memory.
 
+The result type of `page_size` is `int32` for wasm32 and `int64` for wasm64.
+The result value of `page_size` is an unsigned integer which is a power of 2.
+
+(Note that the `page_size` value need not reflect the actual internal page size
+of the implementation; it just needs to be a value suitable for use with
+`resize_memory`)
+
 ## Local variables
 
 Each function has a fixed, pre-declared number of local variables which occupy a single