Resolved.Signature
type t = [
| `Root of root
| `Subst of Path.Resolved.ModuleType.t * Module.t
| `Alias of Path.Resolved.Module.t * Module.t
| `Module of t * Names.ModuleName.t
| `OpaqueModule of Module.t
]