Merge pull request #331 from KisaragiEffective/feat/types/option

KisaragiEffective · Dec 20, 2023 · c8786df · c8786df
2 parents 55c9879 + b215de1
commit c8786df
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/package/origlang-typesystem-model/src/lib.rs b/package/origlang-typesystem-model/src/lib.rs
@@ -83,6 +83,8 @@ pub enum Type {
     /// value of this type is never dereferenced.
     #[display(fmt = "&mut {_0}")]
     RefMut(Box<Self>),
+    /// indicates that value may not present at memory location.
+    Option(Box<Self>)
 }
 
 impl Type {