Add TODO for removing additional int types

Pi-Squared-Inc · Oct 21, 2024 · 5d2a9ed · 5d2a9ed
1 parent 0c6f064
commit 5d2a9ed
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/rust-semantics/representation.md b/rust-semantics/representation.md
@@ -27,6 +27,8 @@ module RUST-VALUE-SYNTAX
                     | i64(MInt{64})
                     | u64(MInt{64})
                     | u128(MInt{128})
+                    // TODO: u160 and u256 are not real Rust types, remove them
+                    // after the demo.
                     | u160(MInt{160})
                     | u256(MInt{256})
                     | tuple(ValueList)