From b294639a5cbd2a51fc5bb5e55e0c386ee568ca8c Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz
Date: Fri, 24 May 2024 13:28:12 +0200
Subject: Rename meta into span

---
 compiler/InterpreterProjectors.mli | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'compiler/InterpreterProjectors.mli')

diff --git a/compiler/InterpreterProjectors.mli b/compiler/InterpreterProjectors.mli
index 17569ac8..43cdc09d 100644
--- a/compiler/InterpreterProjectors.mli
+++ b/compiler/InterpreterProjectors.mli
@@ -15,7 +15,7 @@ open Contexts
     [original_sv_ty]: shouldn't have erased regions
 *)
 val apply_proj_loans_on_symbolic_expansion :
-  Meta.meta ->
+  Meta.span ->
   RegionId.Set.t ->
   RegionId.Set.t ->
   symbolic_expansion ->
@@ -24,7 +24,7 @@ val apply_proj_loans_on_symbolic_expansion :
 
 (** Convert a symbolic expansion *which is not a borrow* to a value *)
 val symbolic_expansion_non_borrow_to_value :
-  Meta.meta -> symbolic_value -> symbolic_expansion -> typed_value
+  Meta.span -> symbolic_value -> symbolic_expansion -> typed_value
 
 (** Convert a symbolic expansion *which is not a shared borrow* to a value.
 
@@ -33,7 +33,7 @@ val symbolic_expansion_non_borrow_to_value :
     during a symbolic expansion.
   *)
 val symbolic_expansion_non_shared_borrow_to_value :
-  Meta.meta -> symbolic_value -> symbolic_expansion -> typed_value
+  Meta.span -> symbolic_value -> symbolic_expansion -> typed_value
 
 (** Auxiliary function to prepare reborrowing operations (used when
     applying projectors).
@@ -49,7 +49,7 @@ val symbolic_expansion_non_shared_borrow_to_value :
  *)
 val prepare_reborrows :
   config ->
-  Meta.meta ->
+  Meta.span ->
   bool ->
   (BorrowId.id -> BorrowId.id) * (eval_ctx -> eval_ctx)
 
@@ -104,7 +104,7 @@ val prepare_reborrows :
       then we interpret the borrow [l] as belonging to region [r]
 *)
 val apply_proj_borrows :
-  Meta.meta ->
+  Meta.span ->
   bool ->
   eval_ctx ->
   (BorrowId.id -> BorrowId.id) ->
@@ -125,7 +125,7 @@ val apply_proj_borrows :
  *)
 val apply_proj_borrows_on_input_value :
   config ->
-  Meta.meta ->
+  Meta.span ->
   eval_ctx ->
   RegionId.Set.t ->
   RegionId.Set.t ->
-- 
cgit v1.2.3