Expansion.DeepEquality
module type SIG = sig ... end
module type MODTYPE = sig ... end
type foo
module M : sig ... end