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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright © 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)
module type T = sig
type t
type concrete
type boolean
type f32
type f64
val zero : t
val clz : t -> t
val ctz : t -> t
val popcnt : t -> t
val add : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val div : t -> t -> t
val unsigned_div : t -> t -> t
val rem : t -> t -> t
val unsigned_rem : t -> t -> t
val logand : t -> t -> t
val logor : t -> t -> t
val logxor : t -> t -> t
val shl : t -> t -> t
val shr_s : t -> t -> t
val shr_u : t -> t -> t
val rotl : t -> t -> t
val rotr : t -> t -> t
val eq_concrete : t -> concrete -> boolean
val eq : t -> t -> boolean
val ne : t -> t -> boolean
val lt : t -> t -> boolean
val gt : t -> t -> boolean
val lt_u : t -> t -> boolean
val gt_u : t -> t -> boolean
val le : t -> t -> boolean
val ge : t -> t -> boolean
val le_u : t -> t -> boolean
val ge_u : t -> t -> boolean
val trunc_f32_s : f32 -> t Result.t
val trunc_f32_u : f32 -> t Result.t
val trunc_f64_s : f64 -> t Result.t
val trunc_f64_u : f64 -> t Result.t
val trunc_sat_f32_s : f32 -> t
val trunc_sat_f32_u : f32 -> t
val trunc_sat_f64_s : f64 -> t
val trunc_sat_f64_u : f64 -> t
val extend_s : int -> t -> t
end