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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright © 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)
module Choice = Concrete_choice
module Memory = Concrete_memory
module Value = Concrete_value
type extern_func = Concrete_extern_func.extern_func
open Concrete_value
let syscall_faccessat (_ : i32) (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t =
assert false
let emscripten_date_now () : f64 Choice.t = assert false
let emscripten_get_now_is_monotonic () : i32 Choice.t = assert false
let emscripten_get_now () : f64 Choice.t = assert false
let syscall_fchmod (_ : i32) (_ : i32) : i32 Choice.t = assert false
let syscall_chmod (_ : i32) (_ : i32) : i32 Choice.t = assert false
let syscall_fchown32 (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t = assert false
let syscall_fcntl64 (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t = assert false
let syscall_openat (_ : i32) (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t =
assert false
let syscall_ioctl (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t = assert false
let syscall_fstat64 (_ : i32) (_ : i32) : i32 Choice.t = assert false
let syscall_stat64 (_ : i32) (_ : i32) : i32 Choice.t = assert false
let syscall_newfstatat (_ : i32) (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t =
assert false
let syscall_lstat64 (_ : i32) (_ : i32) : i32 Choice.t = assert false
let syscall_ftruncate64 (_ : i32) (_ : i64) : i32 Choice.t = assert false
let syscall_getcwd (_ : i32) (_ : i32) : i32 Choice.t = assert false
let syscall_mkdirat (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t = assert false
let tzset_js (_ : i32) (_ : i32) (_ : i32) (_ : i32) : unit Choice.t =
assert false
let localtime_js (_ : i64) (_ : i32) : unit Choice.t = assert false
let munmap_js (_ : i32) (_ : i32) (_ : i32) (_ : i32) (_ : i32) (_ : i64) :
i32 Choice.t =
assert false
let mmap_js (_ : i32) (_ : i32) (_ : i32) (_ : i32) (_ : i64) (_ : i32) (_ : i32)
: i32 Choice.t =
assert false
let syscall_readlinkat (_ : i32) (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t =
assert false
let syscall_rmdir (_ : i32) : i32 Choice.t = assert false
let syscall_unlinkat (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t = assert false
let syscall_utimensat (_ : i32) (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t =
assert false
let emscripten_resize_heap (_ : i32) : i32 Choice.t = assert false
let env_extern_module =
let open Concrete_extern_func in
let open Concrete_extern_func.Syntax in
let functions =
[ ( "__syscall_faccessat"
, Extern_func (i32 ^-> i32 ^-> i32 ^-> i32 ^->. i32, syscall_faccessat) )
; ("emscripten_date_now", Extern_func (unit ^->. f64, emscripten_date_now))
; ( "_emscripten_get_now_is_monotonic"
, Extern_func (unit ^->. i32, emscripten_get_now_is_monotonic) )
; ("emscripten_get_now", Extern_func (unit ^->. f64, emscripten_get_now))
; ("__syscall_fchmod", Extern_func (i32 ^-> i32 ^->. i32, syscall_fchmod))
; ("__syscall_chmod", Extern_func (i32 ^-> i32 ^->. i32, syscall_chmod))
; ( "__syscall_fchown32"
, Extern_func (i32 ^-> i32 ^-> i32 ^->. i32, syscall_fchown32) )
; ( "__syscall_fcntl64"
, Extern_func (i32 ^-> i32 ^-> i32 ^->. i32, syscall_fcntl64) )
; ( "__syscall_openat"
, Extern_func (i32 ^-> i32 ^-> i32 ^-> i32 ^->. i32, syscall_openat) )
; ( "__syscall_ioctl"
, Extern_func (i32 ^-> i32 ^-> i32 ^->. i32, syscall_ioctl) )
; ("__syscall_fstat64", Extern_func (i32 ^-> i32 ^->. i32, syscall_fstat64))
; ("__syscall_stat64", Extern_func (i32 ^-> i32 ^->. i32, syscall_stat64))
; ( "__syscall_newfstatat"
, Extern_func (i32 ^-> i32 ^-> i32 ^-> i32 ^->. i32, syscall_newfstatat)
)
; ("__syscall_lstat64", Extern_func (i32 ^-> i32 ^->. i32, syscall_lstat64))
; ( "__syscall_ftruncate64"
, Extern_func (i32 ^-> i64 ^->. i32, syscall_ftruncate64) )
; ("__syscall_getcwd", Extern_func (i32 ^-> i32 ^->. i32, syscall_getcwd))
; ( "__syscall_mkdirat"
, Extern_func (i32 ^-> i32 ^-> i32 ^->. i32, syscall_mkdirat) )
; ( "_tzset_js"
, Extern_func (i32 ^-> i32 ^-> i32 ^-> i32 ^->. unit, tzset_js) )
; ("_localtime_js", Extern_func (i64 ^-> i32 ^->. unit, localtime_js))
; ( "_munmap_js"
, Extern_func
(i32 ^-> i32 ^-> i32 ^-> i32 ^-> i32 ^-> i64 ^->. i32, munmap_js) )
; ( "_mmap_js"
, Extern_func
(i32 ^-> i32 ^-> i32 ^-> i32 ^-> i64 ^-> i32 ^-> i32 ^->. i32, mmap_js)
)
; ( "__syscall_readlinkat"
, Extern_func (i32 ^-> i32 ^-> i32 ^-> i32 ^->. i32, syscall_readlinkat)
)
; ("__syscall_rmdir", Extern_func (i32 ^->. i32, syscall_rmdir))
; ( "__syscall_unlinkat"
, Extern_func (i32 ^-> i32 ^-> i32 ^->. i32, syscall_unlinkat) )
; ( "__syscall_utimensat"
, Extern_func (i32 ^-> i32 ^-> i32 ^-> i32 ^->. i32, syscall_utimensat) )
; ( "emscripten_resize_heap"
, Extern_func (i32 ^->. i32, emscripten_resize_heap) )
]
in
{ Extern.Module.functions; func_type = Concrete_extern_func.extern_type }
let fd_close (_ : i32) : i32 Choice.t = assert false
let fd_write (_ : i32) (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t =
assert false
let fd_read (_ : i32) (_ : i32) (_ : i32) (_ : i32) : i32 Choice.t =
assert false
let fd_sync (_ : i32) : i32 Choice.t = assert false
let environ_sizes_get (_ : i32) (_ : i32) : i32 Choice.t = assert false
let environ_get (_ : i32) (_ : i32) : i32 Choice.t = assert false
let fd_seek (_ : i32) (_ : i64) (_ : i32) (_ : i32) : i32 Choice.t =
assert false
let fd_fdstat_get (_ : i32) (_ : i32) : i32 Choice.t = assert false
let wasi_snapshot_preview1_extern_module =
let open Concrete_extern_func in
let open Concrete_extern_func.Syntax in
let functions =
[ ("fd_close", Extern_func (i32 ^->. i32, fd_close))
; ("fd_write", Extern_func (i32 ^-> i32 ^-> i32 ^-> i32 ^->. i32, fd_write))
; ("fd_read", Extern_func (i32 ^-> i32 ^-> i32 ^-> i32 ^->. i32, fd_read))
; ("fd_sync", Extern_func (i32 ^->. i32, fd_sync))
; ( "environ_sizes_get"
, Extern_func (i32 ^-> i32 ^->. i32, environ_sizes_get) )
; ("environ_get", Extern_func (i32 ^-> i32 ^->. i32, environ_get))
; ("fd_seek", Extern_func (i32 ^-> i64 ^-> i32 ^-> i32 ^->. i32, fd_seek))
; ("fd_fdstat_get", Extern_func (i32 ^-> i32 ^->. i32, fd_fdstat_get))
]
in
{ Extern.Module.functions; func_type = Concrete_extern_func.extern_type }