Module Hashtbl_intf.Key

module type S = sig ... end
type 'a t = (module S with type t = 'a)