Module Ocamlary.Dep4

module type T = sig ... end
module type S = sig ... end
module X : T