aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Namespace.mli
blob: 394e44a1a1cc6e1b282d04822ac3971233c3238f (plain) (blame)
1
2
3
4
5
6
7
8
class namespace : object
  inherit Protocols.Handle.obj
  inherit Protocols.Directory.implementation
  inherit Protocols.Registry.implementation
  method destroy : unit
end

val make : unit -> Protocols.Handle.t