Plasma GitLab Archive
Projects Blog Knowledge

sig
  type 't sref
  type 't sref_descr
  val sref : Netmcore.res_id -> '-> 'Netmcore_ref.sref
  val assign : 'Netmcore_ref.sref -> '-> unit
  val deref_ro : 'Netmcore_ref.sref -> 't
  val deref_p : 'Netmcore_ref.sref -> ('-> 'a) -> 'a
  val deref_c : 'Netmcore_ref.sref -> 't
  val heap : 'Netmcore_ref.sref -> Stdlib.Obj.t Netmcore_heap.heap
  val descr_of_sref : 'Netmcore_ref.sref -> 'Netmcore_ref.sref_descr
  val sref_of_descr :
    Netmcore.res_id -> 'Netmcore_ref.sref_descr -> 'Netmcore_ref.sref
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml