module Ident : sig ... end
module Path : sig ... end
module Ctype : module type of struct include Ctype end
ctype.ml says:
module Types : sig ... end