Module Hashtbl_intf


module Hashtbl_intf: sig .. end
map t f returns new table with bound values replaced by f applied to the bound values

module type HashedType = sig .. end
module type Types = sig .. end
module Gen: 
functor (T : Types) -> sig .. end
module type S = sig .. end
module type S2 = sig .. end
module type Gen = sig .. end
module Check_S: 
functor (M : S) -> M
module Check_S2: 
functor (M : S2) -> M