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
(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright © 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)
open Types
(** named export *)
type export =
{ name : string
; id : int
}
(** named exports of a module *)
type exports =
{ global : export list
; mem : export list
; table : export list
; func : export list
}
type global =
{ typ : binary global_type (* TODO: init : binary+const expr*)
; init : binary expr
; id : string option
}
type data_mode =
| Data_passive
(* TODO: Data_active binary+const expr*)
| Data_active of int * binary expr
type data =
{ id : string option
; init : string
; mode : data_mode
}
type elem_mode =
| Elem_passive
(* TODO: Elem_active binary+const expr*)
| Elem_active of int option * binary expr
| Elem_declarative
type elem =
{ id : string option
; typ : binary ref_type (* TODO: init : binary+const expr*)
; init : binary expr list
; mode : elem_mode
}
type custom =
| Uninterpreted of string
| From_annot of binary Annot.annot
type modul =
{ id : string option
; types : binary rec_type array
; global : (global, binary global_type) Runtime.t array
; table : (binary table, binary table_type) Runtime.t array
; mem : (mem, limits) Runtime.t array
; func : (binary func, binary block_type) Runtime.t array
(* TODO: switch to func_type *)
; elem : elem array
; data : data array
; exports : exports
; start : int option
; custom : custom list
}
let empty_modul =
{ id = None
; types = [||]
; global = [||]
; table = [||]
; mem = [||]
; func = [||]
; elem = [||]
; data = [||]
; exports = { global = []; mem = []; table = []; func = [] }
; start = None
; custom = []
}