Lang.ModuleTypeSubstitution
type t = {
id : Paths.Identifier.ModuleType.t;
doc : Comment.docs;
manifest : ModuleType.expr;
}