diff options
| author | Thomas Bauereiss | 2019-02-07 21:05:41 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-02-07 21:05:41 +0000 |
| commit | f397a40e6cf98b685dd15dfcd4ea2c9524cbfad7 (patch) | |
| tree | 69bd2ce0e8ea7dc8691432ef56f194fe420405a0 /src/ast_util.ml | |
| parent | 6fffd6ef54ab33441d08f40f56f27daa9c5b333e (diff) | |
Replace equality check for declared effects by subset check
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 _ |