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