diff options
Diffstat (limited to 'src/spec_analysis.mli')
| -rw-r--r-- | src/spec_analysis.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/spec_analysis.mli b/src/spec_analysis.mli index b111f6f0..b77434e7 100644 --- a/src/spec_analysis.mli +++ b/src/spec_analysis.mli @@ -79,6 +79,8 @@ val is_within_machine64 : typ -> nexp_range list -> triple *) val top_sort_defs : tannot ast -> tannot ast +val infer_effects : string -> tannot ast -> tannot ast + (** Return the set of mutable variables assigned to in the given AST. *) val assigned_vars : 'a exp -> IdSet.t val assigned_vars_in_fexps : 'a fexp list -> IdSet.t |