diff options
| author | Son HO | 2024-05-24 14:16:37 +0200 |
|---|---|---|
| committer | GitHub | 2024-05-24 14:16:37 +0200 |
| commit | c6c9e351546a723e62cc21579b2359dba3bfb56f (patch) | |
| tree | 74ed652b8862d1dde24ccd65b6c29503ea3db35c /compiler/InterpreterExpressions.mli | |
| parent | e669de58b71fd68642cfacf1a2e3cbd1c5b2f4fe (diff) | |
| parent | 69ff150ede10b7d24f9777298e8ca3de163c33e1 (diff) | |
Merge pull request #175 from AeneasVerif/afromher/meta
Rename meta into span
Diffstat (limited to '')
| -rw-r--r-- | compiler/InterpreterExpressions.mli | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/InterpreterExpressions.mli b/compiler/InterpreterExpressions.mli index 049cee95..feb641d1 100644 --- a/compiler/InterpreterExpressions.mli +++ b/compiler/InterpreterExpressions.mli @@ -20,7 +20,7 @@ open InterpreterPaths *) val access_rplace_reorganize_and_read : config -> - Meta.meta -> + Meta.span -> bool -> access_kind -> place -> @@ -38,7 +38,7 @@ val access_rplace_reorganize_and_read : *) val eval_operand : config -> - Meta.meta -> + Meta.span -> operand -> eval_ctx -> typed_value * eval_ctx * (eval_result -> eval_result) @@ -46,7 +46,7 @@ val eval_operand : (** Evaluate several operands at once. *) val eval_operands : config -> - Meta.meta -> + Meta.span -> operand list -> eval_ctx -> typed_value list * eval_ctx * (eval_result -> eval_result) @@ -60,10 +60,10 @@ val eval_operands : *) val eval_rvalue_not_global : config -> - Meta.meta -> + Meta.span -> rvalue -> eval_ctx -> (typed_value, eval_error) result * eval_ctx * (eval_result -> eval_result) (** Evaluate a fake read (update the context so that we can read a place) *) -val eval_fake_read : config -> Meta.meta -> place -> cm_fun +val eval_fake_read : config -> Meta.span -> place -> cm_fun |