diff options
Diffstat (limited to 'compiler/InterpreterProjectors.mli')
| -rw-r--r-- | compiler/InterpreterProjectors.mli | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/compiler/InterpreterProjectors.mli b/compiler/InterpreterProjectors.mli index a6d8bd5c..602125c6 100644 --- a/compiler/InterpreterProjectors.mli +++ b/compiler/InterpreterProjectors.mli @@ -11,9 +11,19 @@ open InterpreterBorrowsCore Apply a proj_borrows on a shared borrow. Note that when projecting over shared values, we generate {!V.abstract_shared_borrows}, not {!V.avalue}s. + + Parameters: + [regions] + [ancestor_regions] + [see] + [original_sv_ty] *) val apply_proj_loans_on_symbolic_expansion : - T.RegionId.Set.t -> V.symbolic_expansion -> T.rty -> V.typed_avalue + T.RegionId.Set.t -> + T.RegionId.Set.t -> + V.symbolic_expansion -> + T.rty -> + V.typed_avalue (** Convert a symbolic expansion *which is not a borrow* to a value *) val symbolic_expansion_non_borrow_to_value : |