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

val make : unit -> namespace