diff options
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 |