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: