Plasma GitLab Archive
Projects Blog Knowledge

sig
  type 'a heap
  type 'a descr
  val create_heap : Netmcore.res_id -> int -> '-> 'Netmcore_heap.heap
  val minimum_size : '-> int
  val root : 'Netmcore_heap.heap -> 'a
  val descr_of_heap : 'Netmcore_heap.heap -> 'Netmcore_heap.descr
  val heap_of_descr :
    Netmcore.res_id -> 'Netmcore_heap.descr -> 'Netmcore_heap.heap
  type mutator
  val modify : 'Netmcore_heap.heap -> (Netmcore_heap.mutator -> 'b) -> 'b
  val add : Netmcore_heap.mutator -> '-> 'a
  val add_uniform_array : Netmcore_heap.mutator -> int -> '-> 'a array
  val add_init_array :
    Netmcore_heap.mutator -> int -> (int -> 'a) -> 'a array
  val add_some : Netmcore_heap.mutator -> '-> 'a option
  val pin : Netmcore_heap.mutator -> '-> unit
  val copy : '-> 'a
  val with_value : 'Netmcore_heap.heap -> (unit -> 'b) -> ('-> 'c) -> 'c
  val with_value_2 :
    'Netmcore_heap.heap -> (unit -> 'b * 'c) -> ('b * '-> 'd) -> 'd
  val with_value_3 :
    'Netmcore_heap.heap ->
    (unit -> 'b * 'c * 'd) -> ('b * 'c * '-> 'e) -> 'e
  val with_value_4 :
    'Netmcore_heap.heap ->
    (unit -> 'b * 'c * 'd * 'e) -> ('b * 'c * 'd * '-> 'f) -> 'f
  val with_value_5 :
    'Netmcore_heap.heap ->
    (unit -> 'b * 'c * 'd * 'e * 'f) -> ('b * 'c * 'd * 'e * '-> 'g) -> 'g
  val with_value_n :
    'Netmcore_heap.heap -> (unit -> 'b list) -> ('b list -> 'c) -> 'c
  val destroy : 'Netmcore_heap.heap -> unit
  val gc : 'Netmcore_heap.heap -> unit
  val debug_info : 'Netmcore_heap.heap -> string
  module Debug : sig val enable : bool Pervasives.ref end
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml