From fc2a42fa2c721ee8ed2395df7bdc0c02a94d0a3a Mon Sep 17 00:00:00 2001
From: Kisaragi Marine <kisaragi.effective@gmail.com>
Date: Sun, 15 Oct 2023 23:19:10 +0900
Subject: [PATCH] feat(type-system): add pointer type

---
 package/origlang-typesystem-model/src/lib.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/package/origlang-typesystem-model/src/lib.rs b/package/origlang-typesystem-model/src/lib.rs
index 20c88ffc..ea777bf5 100644
--- a/package/origlang-typesystem-model/src/lib.rs
+++ b/package/origlang-typesystem-model/src/lib.rs
@@ -68,6 +68,10 @@ pub enum Type {
     Tuple(DisplayTupleType),
     #[display(fmt = "{_0}")]
     Record(DisplayRecordType),
+    #[display(fmt = "*const {_0}")]
+    Ref(Box<Self>),
+    #[display(fmt = "*mut {_0}")]
+    RefMut(Box<Self>)
 }
 
 impl Type {