Module Pxp_core_types

module A : sig ... end
module type S = sig ... end
module I : S