const docs

Author: Mohammad Fawaz

documentation/language/02_structure.md

@@ -64,7 +64,6 @@ The following must be declared inside the scope of a program in a Leo file:
 The following must be declared outside the scope of a program in a Leo file:
 
 - imports
-- constants
 - struct types
 - helper `fn` definitions
 - `final fn` definitions
@@ -91,21 +90,42 @@ program _foo.aleo;  // invalid
 
 ### Constant
 
-A constant is declared as `const {name}: {type} = {expression};`.  
-Constants are immutable and must be assigned a value when declared.  
-Constants can be declared in the global scope or in a local function scope.
+A constant is declared as `const {name}: {type} = {expression};`.
+Constants are immutable, and the right-hand side must be an expression evaluatable at compile time.
+
+Constants can be declared in three scopes:
+
+- **Global scope** (outside all program blocks): accessible anywhere in the file.
+- **Program scope** (inside a `program` block, outside any function): accessible within that program.
+- **Local scope** (inside a function body): accessible only within that function.
 
 ```leo
-const FOO: u8 = 1u8;
+const MAX: u64 = 100u64;           // global constant
 
 program foo.aleo {
-    fn bar() -> u8 {
-        const BAR: u8 = 2u8;
-        return FOO + BAR;
+    const MULTIPLIER: u64 = 2u64;  // program-scope constant
+
+    fn compute(x: u64) -> u64 {
+        const OFFSET: u64 = 5u64;  // local constant
+        return x * MULTIPLIER + OFFSET;
     }
 }
 ```
 
+**Supported types:** All integer types (`u8`, `u16`, `u32`, `u64`, `u128`, `i8`, `i16`, `i32`, `i64`, `i128`), `bool`, `field`, `group`, `scalar`, `address`, and tuples, arrays, and structs composed of these types.
+
+**Compile-time expressions:** The right-hand side of a constant declaration must be evaluatable at compile time. Valid right-hand sides include:
+- Literal values (e.g., `42u32`, `true`, `1field`)
+- References to previously declared constants
+- Arithmetic, bitwise, and comparison expressions over constants (e.g., `MAX * 2u64`, `!FLAG`)
+- Tuple, array, and struct expressions whose components are themselves compile-time constants
+
+```leo
+const BASE: u32 = 10u32;
+const LIMIT: u32 = BASE * 5u32;   // expression over constants
+const PAIR: (u32, bool) = (LIMIT, true);   // tuple constant
+```
+
 ### Import
 
 You can import dependencies that are downloaded to the `imports` directory.