diff options
Diffstat (limited to 'src/ast_util.ml')
| -rw-r--r-- | src/ast_util.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index 63726304..396d72a3 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -1196,6 +1196,11 @@ let equal_effects e1 e2 = | Effect_aux (Effect_set base_effs1, _), Effect_aux (Effect_set base_effs2, _) -> BESet.compare (BESet.of_list base_effs1) (BESet.of_list base_effs2) = 0 +let subseteq_effects e1 e2 = + match e1, e2 with + | Effect_aux (Effect_set base_effs1, _), Effect_aux (Effect_set base_effs2, _) -> + BESet.subset (BESet.of_list base_effs1) (BESet.of_list base_effs2) + let rec kopts_of_nexp (Nexp_aux (nexp,_)) = match nexp with | Nexp_id _ |