From 39a100f95d00fb723be0b618d5bce93ee0f79646 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Thu, 11 Nov 2021 07:17:23 +0100 Subject: [PATCH] [spec] Add reference types to overview --- document/core/intro/overview.rst | 3 +++ 1 file changed, 3 insertions(+) diff --git a/document/core/intro/overview.rst b/document/core/intro/overview.rst index 351f1ed2db..4b7ec06525 100644 --- a/document/core/intro/overview.rst +++ b/document/core/intro/overview.rst @@ -23,6 +23,9 @@ This language is structured around the following concepts. Instead, integers are interpreted by respective operations as either unsigned or signed in two’s complement representation. + Finally, values can consist of opaque *references* that represent pointers towards different sorts of entities. + Unlike with other types, their size or representation is not observable. + .. _instruction: **Instructions**