From 7733752dd8c153c48263609087794f5199ef37d2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 13 Feb 2024 00:31:39 +0100
Subject: Fix some issues with the loops

---
 compiler/InterpreterLoopsMatchCtxs.mli | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'compiler/InterpreterLoopsMatchCtxs.mli')

diff --git a/compiler/InterpreterLoopsMatchCtxs.mli b/compiler/InterpreterLoopsMatchCtxs.mli
index 5f69b8d3..d6f89ed6 100644
--- a/compiler/InterpreterLoopsMatchCtxs.mli
+++ b/compiler/InterpreterLoopsMatchCtxs.mli
@@ -137,6 +137,21 @@ val match_ctxs :
  *)
 val ctxs_are_equivalent : ids_sets -> eval_ctx -> eval_ctx -> bool
 
+(** Reorganize a target context so that we can match it with a source context
+    (remember that the source context is generally the fixed point context,
+    which results from joins during which we ended the loans which
+    were introduced during the loop iterations).
+
+   **Parameters**:
+   - [config]
+   - [loop_id]
+   - [fixed_ids]
+   - [src_ctx]
+
+ *)
+val prepare_match_ctx_with_target :
+  config -> LoopId.id -> ids_sets -> eval_ctx -> cm_fun
+
 (** Match a context with a target context.
 
     This is used to compute application of loop translations: we use this
-- 
cgit v1.2.3