From 7bf8a3a2da777745c1ac3f4f6a7bf826c4a81039 Mon Sep 17 00:00:00 2001
From: Andreas Stadelmeier <andi@paulus.haus>
Date: Thu, 8 Feb 2024 10:49:03 +0100
Subject: [PATCH] Add Trim method

---
 unify.tex | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/unify.tex b/unify.tex
index b3a0e97..fb94092 100644
--- a/unify.tex
+++ b/unify.tex
@@ -444,6 +444,25 @@ Their upper and lower bounds are fresh type variables.
       \end{array}
       $
     \\\\
+    \rulename{Trim}
+    & 
+    $
+    \begin{array}[c]{@{}ll}
+    \begin{array}[c]{l}
+        \wildcardEnv \vdash 
+        C \cup \, \set{ \wctype{\Delta,\Delta'}{C}{\ol{S}} \lessdot \type{T} } \\ 
+      \hline
+      \vspace*{-0.4cm}\\
+        \wildcardEnv \vdash 
+        C \cup \, \set{ \wctype{\Delta}{C}{\ol{S}} \lessdot \type{T} } \\  
+    \end{array}
+     %\quad \ol{Y} = \textit{fresh}(\ol{X})
+     \quad \begin{array}[c]{l}
+      \text{fv}(\ol{S}) \cap \Delta' = \emptyset
+      \end{array}
+    \end{array}
+    $
+  \\\\
 %         \rulename{Adopt}
 %         & $
 %         \begin{array}[c]{@{}ll}