module Hashtbl_intf:sig..end
map t f returns new table with bound values replaced by
f applied to the bound valuesmodule type HashedType =sig..end
module type Types =sig..end
module Gen: module type S =sig..end
module type S2 =sig..end
module type Gen =sig..end
module Check_S: module Check_S2: