diff options
| author | Brian Campbell | 2017-10-25 12:25:42 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-10-25 12:25:42 +0100 |
| commit | fd70c99777002114be5d14a89f169f6e239b9cac (patch) | |
| tree | 3e3472a89298f4e04fa3d56acebb900eb2f6201d /src/ast_util.mli | |
| parent | 63e6dc9ac7effde553cd446cc737a0ec28c5f39d (diff) | |
| parent | c4fafd80d816fd06a4091c217c43e232ac9a8706 (diff) | |
Merge branch 'experiments' into mono-experiments
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index 7e4c9fa0..abadd759 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -194,6 +194,10 @@ module IdSet : sig include Set.S with type elt = id end +module BESet : sig + include Set.S with type elt = base_effect +end + module KidSet : sig include Set.S with type elt = kid end @@ -226,5 +230,7 @@ val is_order_inc : order -> bool val has_effect : effect -> base_effect_aux -> bool +val effect_set : effect -> BESet.t + val tyvars_of_nexp : nexp -> KidSet.t val tyvars_of_typ : typ -> KidSet.t |