Plasma GitLab Archive
Projects Blog Knowledge

sig
  type ('a, 'b) sarray
  type ('a, 'b) sarray_descr
  val create :
    Netmcore.res_id -> 'a array -> '-> ('a, 'b) Netmcore_array.sarray
  val make :
    Netmcore.res_id -> int -> '-> '-> ('a, 'b) Netmcore_array.sarray
  val init :
    Netmcore.res_id ->
    int -> (int -> 'a) -> '-> ('a, 'b) Netmcore_array.sarray
  val grow : ('a, 'b) Netmcore_array.sarray -> int -> '-> unit
  val set : ('a, 'b) Netmcore_array.sarray -> int -> '-> unit
  val get_ro : ('a, 'b) Netmcore_array.sarray -> int -> 'a
  val get_p : ('a, 'b) Netmcore_array.sarray -> int -> ('-> 'c) -> 'c
  val get_c : ('a, 'b) Netmcore_array.sarray -> int -> 'a
  val length : ('a, 'b) Netmcore_array.sarray -> int
  val header : ('a, 'b) Netmcore_array.sarray -> 'b
  val deref : ('a, 'b) Netmcore_array.sarray -> 'a array
  val heap : ('a, 'b) Netmcore_array.sarray -> Obj.t Netmcore_heap.heap
  val descr_of_sarray :
    ('a, 'b) Netmcore_array.sarray -> ('a, 'b) Netmcore_array.sarray_descr
  val sarray_of_descr :
    Netmcore.res_id ->
    ('a, 'b) Netmcore_array.sarray_descr -> ('a, 'b) Netmcore_array.sarray
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml