sig
type mutex_type = [ `Errorcheck | `Normal | `Recursive ]
type mutex
val dummy : unit -> Netmcore_mutex.mutex
val create :
Netmcore_heap.mutator ->
Netmcore_mutex.mutex_type -> Netmcore_mutex.mutex
val lock : Netmcore_mutex.mutex -> unit
val unlock : Netmcore_mutex.mutex -> unit
val destroy : Netmcore_mutex.mutex -> unit
end