functor (X : sig  end->
  sig
    type t
    exception AlreadyExists of string
    val make : string -> Namespace.Make.t
    val extend : string -> string -> Namespace.Make.t
    val extend2 : string -> string -> string -> Namespace.Make.t
    val extend3 : string -> string -> string -> string -> Namespace.Make.t
    val get : Namespace.Make.t -> string
  end