sig
  type 'a sref
  type 'a sref_descr
  val sref : Netmcore.res_id -> 'a -> 'a Netmcore_ref.sref
  val assign : 'a Netmcore_ref.sref -> 'a -> unit
  val deref_ro : 'a Netmcore_ref.sref -> 'a
  val deref_p : 'a Netmcore_ref.sref -> ('a -> 'b) -> 'b
  val deref_c : 'a Netmcore_ref.sref -> 'a
  val heap : 'a Netmcore_ref.sref -> Obj.t Netmcore_heap.heap
  val descr_of_sref : 'a Netmcore_ref.sref -> 'a Netmcore_ref.sref_descr
  val sref_of_descr :
    Netmcore.res_id -> 'a Netmcore_ref.sref_descr -> 'a Netmcore_ref.sref
end