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
b0775274
Commit
b0775274
authored
Jul 03, 2015
by
POTTIER Francois
Browse files
Added [CompletedNatWitness.to_int].
parent
f5fd06e5
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/CompletedNatWitness.ml
View file @
b0775274
...
...
@@ -103,3 +103,11 @@ let print conv p =
String
.
concat
" "
(
List
.
map
conv
(
Seq
.
elements
xs
))
|
Infinity
->
"infinity"
let
to_int
p
=
match
p
with
|
Finite
(
i
,
_
)
->
i
|
Infinity
->
max_int
src/CompletedNatWitness.mli
View file @
b0775274
...
...
@@ -27,3 +27,4 @@ val add_cutoff: (* cutoff: *) int -> 'a t -> (int -> 'a t) -> 'a t
val
until_finite
:
'
a
t
->
(
unit
->
'
a
t
)
->
'
a
t
val
print
:
(
'
a
->
string
)
->
'
a
t
->
string
val
to_int
:
'
a
t
->
int
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