Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
7840da0e
Commit
7840da0e
authored
Jul 07, 2015
by
POTTIER Francois
Browse files
Added [CompletedNatWitness.compare].
parent
3807b162
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/CompletedNatWitness.ml
View file @
7840da0e
...
...
@@ -17,6 +17,17 @@ let equal p1 p2 =
|
_
,
_
->
false
let
compare
p1
p2
=
match
p1
,
p2
with
|
Finite
(
i1
,
_
)
,
Finite
(
i2
,
_
)
->
if
i1
<
i2
then
-
1
else
if
i1
=
i2
then
0
else
1
|
Infinity
,
Infinity
->
0
|
Finite
_
,
Infinity
->
-
1
|
Infinity
,
Finite
_
->
1
let
bottom
=
Infinity
...
...
src/CompletedNatWitness.mli
View file @
7840da0e
...
...
@@ -12,6 +12,8 @@ val bottom: 'a t
val
equal
:
'
a
t
->
'
b
t
->
bool
val
is_maximal
:
'
a
t
->
bool
val
compare
:
'
a
t
->
'
b
t
->
int
val
epsilon
:
'
a
t
val
singleton
:
'
a
->
'
a
t
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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