- let cup s t = match (s,t) with
- | Finite s, Finite t -> Finite (E.union s t)
- | CoFinite s, CoFinite t -> CoFinite ( E.inter s t)
- | Finite s, CoFinite t -> CoFinite (E.diff t s)
- | CoFinite s, Finite t-> CoFinite (E.diff s t)
-
- let cap s t = match (s,t) with
- | Finite s, Finite t -> Finite (E.inter s t)
- | CoFinite s, CoFinite t -> CoFinite (E.union s t)
- | Finite s, CoFinite t -> Finite (E.diff s t)
- | CoFinite s, Finite t-> Finite (E.diff t s)
+ let cup s t = match (s.Node.node,t.Node.node) with
+ | Finite s, Finite t -> finite (E.union s t)
+ | CoFinite s, CoFinite t -> cofinite ( E.inter s t)
+ | Finite s, CoFinite t -> cofinite (E.diff t s)
+ | CoFinite s, Finite t-> cofinite (E.diff s t)
+
+ let cap s t = match (s.Node.node,t.Node.node) with
+ | Finite s, Finite t -> finite (E.inter s t)
+ | CoFinite s, CoFinite t -> cofinite (E.union s t)
+ | Finite s, CoFinite t -> finite (E.diff s t)
+ | CoFinite s, Finite t-> finite (E.diff t s)