Functor Identifier.Make

module Make: 
functor (U : sig
end) -> sig .. end

type name 

type t = name 

val register : string -> name

val print : name -> string

val equal : name -> name -> bool

val compare : name -> name -> int

val hash : name -> int

module Map: GMap.S  with type key = name

val memoize : (name -> 'a) -> name -> 'a