Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
7b4b4fb2
Commit
7b4b4fb2
authored
Sep 22, 2021
by
Guillaume Melquiond
Browse files
Fix some typos.
parent
5dc4ee09
Changes
2
Hide whitespace changes
Inline
Side-by-side
stdlib/ieee_float.mlw
View file @
7b4b4fb2
...
@@ -94,8 +94,10 @@ module GenericFloat
...
@@ -94,8 +94,10 @@ module GenericFloat
function min t t : t
function min t t : t
function max t t : t
function max t t : t
(** Minimum and Maximum
(** Minimum and Maximum
Note that we have to follow IEEE-754 and SMTLIB here. Two things to
Note that we have to follow IEEE-754 and SMTLIB here. Two things to
note in particular:
note in particular:
1) min(-0, 0) is either 0 or -0, there is a choice
1) min(-0, 0) is either 0 or -0, there is a choice
2) if either argument is NaN then the other argument is returned
2) if either argument is NaN then the other argument is returned
...
...
stdlib/mach/int.mlw
View file @
7b4b4fb2
...
@@ -27,11 +27,11 @@ end
...
@@ -27,11 +27,11 @@ end
(** {2 Machine integers}
(** {2 Machine integers}
Bounded integers, typically n-bit signed and unsigned integers, go
Bounded integers, typically n-bit signed and unsigned integers, go
here. We first introduce a generic theory
[
Bounded_int
]
of bounded
here. We first introduce a generic theory
`
Bounded_int
`
of bounded
integers, with minimal and maximal values (resp.
[
min
]
and
[
max
]
).
integers, with minimal and maximal values (resp.
`
min
`
and
`
max
`
).
Then we instantiate it to get 32-bit and 64-bit signed and unsigned integers
Then we instantiate it to get 32-bit and 64-bit signed and unsigned integers
(
[
Int32
]
,
[
UInt32
]
,
[
Int64
]
, and
[
UInt64
]
) as well as 31-bit and 63-bit signed
(
`
Int32
`
,
`
UInt32
`
,
`
Int64
`
, and
`
UInt64
`
) as well as 31-bit and 63-bit signed
integers (
[
Int31
]
and
[
Int63
]
) to be used in OCaml programs.
integers (
`
Int31
`
and
`
Int63
`
) to be used in OCaml programs.
*)
*)
...
...
Write
Preview
Supports
Markdown
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