From 3269e37ef3d129c33a3b8fead95be328c574b3e1 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sat, 25 Nov 2023 23:15:00 -0800
Subject: [PATCH] Add some convenience exports to Syntax.elm

---
 src/Bergamot/Syntax.elm | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/Bergamot/Syntax.elm b/src/Bergamot/Syntax.elm
index 15cc4fe..01cafbc 100644
--- a/src/Bergamot/Syntax.elm
+++ b/src/Bergamot/Syntax.elm
@@ -1,4 +1,4 @@
-module Bergamot.Syntax exposing (Term(..))
+module Bergamot.Syntax exposing (Term(..), instantiate, emptyInstantiationState, unify, emptyUnificationState)
 
 import Set exposing (Set)
 import Dict exposing (Dict)
@@ -21,6 +21,8 @@ type alias InstantiationState =
     , vars : Dict Metavariable UnificationVar
     }
 
+emptyInstantiationState = { counter = 0, vars = Dict.empty }
+
 metavariable : Metavariable -> InstantiationState -> (UnificationVar, InstantiationState)
 metavariable mv is =
     case Dict.get mv is.vars of
@@ -54,6 +56,8 @@ type alias UnificationInfo =
 
 type alias UnificationState = Dict UnificationVar UnificationInfo
 
+emptyUnificationState = Dict.empty
+
 reconcile : Set UnificationVar -> Maybe (Term UnificationVar) -> UnificationState -> UnificationState
 reconcile eq mt us =
     let newValue = { equivalence = eq, term = mt }