Module Pool

module Pool: sig .. end

module type NamePool = sig .. end

module MakeNamePool: 
functor (H : Hashtbl.HashedType) -> NamePool  with type name = H.t