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
:
sig
type name
val print : name -> string
name -> string
module Map: GMap.S with type key = name
GMap.S
with type key = name
end
) ->
Namespace
with type name = I.name
sig (* See [parsing/Identifier]. *) type name val print: name -> string module Map : GMap.S with type key = name end