diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-11-18 10:31:54 +0100 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-11-18 14:56:11 +0100 |
| commit | ec621bf060b723db53f51c68741f4e7e0a3f11e3 (patch) | |
| tree | 227862cc7197cf0679596e9cf029fc30577de162 /typing/types.ml | |
| parent | 000795890e1d018474506cc08f84767288bcb4c3 (diff) | |
| download | ocaml-ec621bf060b723db53f51c68741f4e7e0a3f11e3.tar.gz | |
add Types.Variance.eq
Diffstat (limited to 'typing/types.ml')
| -rw-r--r-- | typing/types.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/types.ml b/typing/types.ml index baa8a83986..06a278bc35 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -125,6 +125,7 @@ module Variance = struct let union v1 v2 = v1 lor v2 let inter v1 v2 = v1 land v2 let subset v1 v2 = (v1 land v2 = v1) + let eq (v1 : t) v2 = (v1 = v2) let set x b v = if b then v lor single x else v land (lnot (single x)) let mem x = subset (single x) |