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

(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright © 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)

module type T = sig
  type 'a get_ref =
    | Null
    | Ref_value of 'a
    | Type_mismatch

  module Extern : sig
    type t

    val cast : t -> 'x Type.Id.t -> 'x option
  end

  (* TODO; make this private and even opaque at some point *)
  type t =
    | Extern of Extern.t option
    | Func of Kind.func option

  val pp : Format.formatter -> t -> unit

  val null : Text.heap_type -> t

  val func : Kind.func -> t

  val extern : 'x Type.Id.t -> 'x -> t

  val is_null : t -> Bool.t

  val get_func : t -> Kind.func get_ref

  val get_extern : t -> 'x Type.Id.t -> 'x get_ref
end