diff options
Diffstat (limited to 'compiler/InterpreterPaths.mli')
| -rw-r--r-- | compiler/InterpreterPaths.mli | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/InterpreterPaths.mli b/compiler/InterpreterPaths.mli index faa68688..f1c481ca 100644 --- a/compiler/InterpreterPaths.mli +++ b/compiler/InterpreterPaths.mli @@ -13,13 +13,13 @@ type access_kind = Read | Write | Move updates the environment (by ending borrows, expanding symbolic values, etc.) until it manages to fully access the provided place. *) -val update_ctx_along_read_place : Meta.meta -> config -> access_kind -> place -> cm_fun +val update_ctx_along_read_place : config -> Meta.meta -> access_kind -> place -> cm_fun (** Update the environment to be able to write to a place. See {!update_ctx_along_read_place}. *) -val update_ctx_along_write_place : Meta.meta -> config -> access_kind -> place -> cm_fun +val update_ctx_along_write_place : config -> Meta.meta -> access_kind -> place -> cm_fun (** Read the value at a given place. @@ -74,7 +74,7 @@ val compute_expanded_bottom_adt_value : that the place is *inside* a borrow, if we end the borrow, we won't be able to reinsert the value back). *) -val drop_outer_loans_at_lplace : Meta.meta -> config -> place -> cm_fun +val drop_outer_loans_at_lplace : config -> Meta.meta -> place -> cm_fun (** End the loans at a given place: read the value, if it contains a loan, end this loan, repeat. @@ -85,7 +85,7 @@ val drop_outer_loans_at_lplace : Meta.meta -> config -> place -> cm_fun when moving values, we can't move a value which contains loans and thus need to end them, etc. *) -val end_loans_at_place : Meta.meta -> config -> access_kind -> place -> cm_fun +val end_loans_at_place : config -> Meta.meta -> access_kind -> place -> cm_fun (** Small utility. @@ -96,4 +96,4 @@ val end_loans_at_place : Meta.meta -> config -> access_kind -> place -> cm_fun place. This value should not contain any outer loan (and we check it is the case). Note that this value is very likely to contain ⊥ subvalues. *) -val prepare_lplace : Meta.meta -> config -> place -> (typed_value -> m_fun) -> m_fun +val prepare_lplace : config -> Meta.meta -> place -> (typed_value -> m_fun) -> m_fun |