diff options
Diffstat (limited to 'compiler/InterpreterPaths.mli')
| -rw-r--r-- | compiler/InterpreterPaths.mli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/InterpreterPaths.mli b/compiler/InterpreterPaths.mli index 260f07bf..c266e7ae 100644 --- a/compiler/InterpreterPaths.mli +++ b/compiler/InterpreterPaths.mli @@ -100,4 +100,8 @@ val end_loans_at_place : config -> Meta.meta -> access_kind -> place -> cm_fun case). Note that this value is very likely to contain ⊥ subvalues. *) val prepare_lplace : - config -> Meta.meta -> place -> (typed_value -> m_fun) -> m_fun + config -> + Meta.meta -> + place -> + eval_ctx -> + typed_value * eval_ctx * (eval_result -> eval_result) |