1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
@BEGIN_FROM_4_08_0@
include Bool
@END_FROM_4_08_0@
@BEGIN_BEFORE_4_08_0@
type t = bool =
| false
| true
let not = not
external (&&) : bool -> bool -> bool = "%sequand"
external (||) : bool -> bool -> bool = "%sequor"
let equal = ( = )
let compare = compare
let to_int b =
if b then 1
else 0
let to_float b =
if b then 1.
else 0.
let to_string = string_of_bool
@END_BEFORE_4_08_0@
@BEGIN_BEFORE_5_1_0@
let hash = Hashtbl.hash
let seeded_hash = Stdcompat__hashtbl.seeded_hash
@END_BEFORE_5_1_0@
|
