include module type of struct include DeclareType(Externtype_T) endinclude module type of struct include DeclareOwn(Externtype_T) endThe base WASM objects, declared in wasm.h as WASM_DECLARE_OWN.
type t = DeclareOwn(Externtype_T).tThe C unique (abstract) base type for the structure. the structure type is therefore t structure.
val t : t Ctypes.structure Ctypes.typThe Ctypes definition of the C structure.
This structure maintains an ownership status. See also WasmerBindings.OwnableObject.
include module type of struct include OwnableObject(DeclareType(Externtype_T).{O}4) endOwnable objects are the basic structure that maintains an ownership state on C objects.
The owning structure type.
val make_new : unit -> sMake a new owning structure from a new pointer.
val make_from_raise :
DeclareOwn(Externtype_T).{O}4.t Ctypes.ptr ->
object_state ->
sMake a new owning structure from a pointer. See also WasmerBindings.OwnableObject.make_from_unsafe.
val make_from_unsafe :
DeclareOwn(Externtype_T).{O}4.t Ctypes.ptr ->
object_state ->
sMake a new owning structure from a pointer. Does not raise an exception if NULL is given. See also WasmerBindings.OwnableObject.make_from_raise.
val make_from_raise_data :
DeclareOwn(Externtype_T).{O}4.t Ctypes.ptr ->
object_state ->
DeclareOwn(Externtype_T).{O}4.d ->
sMake a new owning structure from a pointer, with an additional data. See also WasmerBindings.OwnableObject.make_from_unsafe_data.
val make_from_unsafe_data :
DeclareOwn(Externtype_T).{O}4.t Ctypes.ptr ->
object_state ->
DeclareOwn(Externtype_T).{O}4.d ->
sMake a new owning structure from a pointer, with an additional data. Does not raise an exception if NULL is given. See also WasmerBindings.OwnableObject.make_from_raise_data.
val get_state : s -> object_stateReturns the current ownership state.
val lose_ownership : s -> unitSets the current ownership state to WasmerBindings.object_state.State_PassedAway. Ignores the current ownership.
val grab_ownership : s -> DeclareOwn(Externtype_T).{O}4.t Ctypes.ptrgrab_ownership self gives the ownership of the pointed object to the caller code. It is equivalent to let p = get_ptr self in lose_ownership self; p, but with additional checks for the current ownership.
val gain_ownership_back : s -> DeclareOwn(Externtype_T).{O}4.t Ctypes.ptrDeletes the object if required, then sets the ownership to WasmerBindings.object_state.State_Owned and returns the pointer. This is only to be used in own-out function arguments in the C API or equivalent.
val is_null : s -> boolReturns Ctypes.is_null on the underlying pointer, ignoring the current ownership state.
val get_ptr : s -> DeclareOwn(Externtype_T).{O}4.t Ctypes.ptrReturns the underlying pointer, requiring a sufficient ownership state.
val get_ptr_const : s -> DeclareOwn(Externtype_T).{O}4.t Ctypes.ptrReturns the underlying pointer, requiring a sufficient ownership state.
val get_ptr_givenaway : s -> DeclareOwn(Externtype_T).{O}4.t Ctypes.ptrInherently unsafe function that returns a given-away pointer.
val delete : s -> unitFrees the underlying pointer. A side effect is to mark the object as given away.
module V = DeclareType(Externtype_T).Vmodule Vec = DeclareType(Externtype_T).Vecval kind : s -> Externkind.ocamlval of_functype : Functype.s -> sval of_globaltype : Globaltype.s -> sval of_tabletype : Tabletype.s -> sval of_memorytype : Memorytype.s -> sval to_functype : s -> Functype.sval to_globaltype : s -> Globaltype.sval to_tabletype : s -> Tabletype.sval to_memorytype : s -> Memorytype.sval of_functype_const : Functype.s -> sval of_globaltype_const : Globaltype.s -> sval of_tabletype_const : Tabletype.s -> sval of_memorytype_const : Memorytype.s -> sval to_functype_const : s -> Functype.sval to_globaltype_const : s -> Globaltype.sval to_tabletype_const : s -> Tabletype.sval to_memorytype_const : s -> Memorytype.s