Module Owi.Concrete_table

runtime table

type table = Concrete_value.ref_value array
type t = {
  1. id : int;
  2. label : string option;
  3. limits : Types.limits;
  4. typ : Types.simplified Types.ref_type;
  5. mutable data : table;
}
val get : t -> int -> Concrete_value.ref_value
val set : t -> int -> Concrete_value.ref_value -> unit
val size : t -> int
val update : t -> table -> unit
val init : ?label:string -> Types.simplified Types.table_type -> t
val max_size : t -> int option
val grow : t -> int32 -> Concrete_value.ref_value -> unit
val fill : t -> int32 -> int32 -> Concrete_value.ref_value -> unit
val copy : t_src:t -> t_dst:t -> src:int32 -> dst:int32 -> len:int32 -> unit