module Namespace: sig .. end
sig
end
module MakeNamespace: functor (I : sig type name val print : name -> string module Map: GMap.S with type key = nameend) -> Namespace with type name = I.name
functor (
I
:
type name
val print : name -> string
name -> string
module Map: GMap.S with type key = name
GMap.S
with type key = name
) ->
Namespace
with type name = I.name