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
(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright © 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)

module type T = sig
  type memory

  type data

  type global

  type elem

  type table

  type extern_func

  type 'a choice

  type t = extern_func Link_env.t

  val get_memory : t -> int -> memory choice

  val get_func : t -> int -> Kind.func

  val get_table : t -> int -> table choice

  val get_elem : t -> int -> elem

  val get_data : t -> int -> data choice

  val get_global : t -> int -> global choice

  val get_extern_func : t -> int -> extern_func

  val drop_elem : elem -> unit

  val drop_data : data -> unit
end