Commit f2814134 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-10-11 17:04:48 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-11 17:04:48+00:00
parent e5c74ddb
......@@ -49,30 +49,36 @@ module I = struct
let any_record = { empty with record = any.record }
let cup x y = {
times = Boolean.cup x.times y.times;
arrow = Boolean.cup x.arrow y.arrow;
record= Boolean.cup x.record y.record;
ints = Intervals.cup x.ints y.ints;
atoms = Atoms.cup x.atoms y.atoms;
strs = Strings.cup x.strs y.strs;
}
let cap x y = {
times = Boolean.cap x.times y.times;
record= Boolean.cap x.record y.record;
arrow = Boolean.cap x.arrow y.arrow;
ints = Intervals.cap x.ints y.ints;
atoms = Atoms.cap x.atoms y.atoms;
strs = Strings.cap x.strs y.strs;
}
let diff x y = {
times = Boolean.diff x.times y.times;
arrow = Boolean.diff x.arrow y.arrow;
record= Boolean.diff x.record y.record;
ints = Intervals.diff x.ints y.ints;
atoms = Atoms.diff x.atoms y.atoms;
strs = Strings.diff x.strs y.strs;
}
let cup x y =
if x = y then x else {
times = Boolean.cup x.times y.times;
arrow = Boolean.cup x.arrow y.arrow;
record= Boolean.cup x.record y.record;
ints = Intervals.cup x.ints y.ints;
atoms = Atoms.cup x.atoms y.atoms;
strs = Strings.cup x.strs y.strs;
}
let cap x y =
if x = y then x else {
times = Boolean.cap x.times y.times;
record= Boolean.cap x.record y.record;
arrow = Boolean.cap x.arrow y.arrow;
ints = Intervals.cap x.ints y.ints;
atoms = Atoms.cap x.atoms y.atoms;
strs = Strings.cap x.strs y.strs;
}
let diff x y =
if x = y then empty else {
times = Boolean.diff x.times y.times;
arrow = Boolean.diff x.arrow y.arrow;
record= Boolean.diff x.record y.record;
ints = Intervals.diff x.ints y.ints;
atoms = Atoms.diff x.atoms y.atoms;
strs = Strings.diff x.strs y.strs;
}
let neg x = diff any x
let equal e a b =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment