Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
24872f86
Commit
24872f86
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2003-03-22 23:08:40 by cvscast] Empty log message
Original author: cvscast Date: 2003-03-22 23:08:40+00:00
parent
f321c02d
Changes
1
Hide whitespace changes
Inline
Side-by-side
misc/bool.ml
View file @
24872f86
...
...
@@ -214,7 +214,8 @@ struct
split
x
(
simplify
p
[
i
])
i
(
simplify
n
[
i
])
let
rec
(
++
)
a
b
=
if
a
==
b
then
a
(* if equal a b then a *)
if
a
==
b
then
a
else
match
(
a
,
b
)
with
|
True
,
_
|
_
,
True
->
True
|
False
,
a
|
a
,
False
->
a
...
...
@@ -238,7 +239,8 @@ struct
is the invariant still inforced ? *)
let
rec
(
**
)
a
b
=
if
a
==
b
then
a
(* if equal a b then a *)
if
a
==
b
then
a
else
match
(
a
,
b
)
with
|
True
,
a
|
a
,
True
->
a
|
False
,
_
|
_
,
False
->
False
...
...
@@ -268,6 +270,7 @@ struct
|
Split
(
_
,
x
,
p
,
i
,
n
)
->
split
x
(
neg
(
i
++
p
))
False
(
neg
(
i
++
n
))
let
rec
(
//
)
a
b
=
(* if equal a b then False *)
if
a
==
b
then
False
else
match
(
a
,
b
)
with
|
False
,_
|
_
,
True
->
False
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment