Fragment.Resolvedmodule Signature : sig ... endmodule Module : sig ... endmodule ModuleType : sig ... endmodule Type : sig ... endtype t = [ | `Root of root| `Subst of Path.Resolved.ModuleType.t * Module.t| `Alias of Path.Resolved.Module.t * Module.t| `Module of Signature.t * Names.ModuleName.t| `Module_type of Signature.t * Names.ModuleTypeName.t| `Type of Signature.t * Names.TypeName.t| `Class of Signature.t * Names.ClassName.t| `ClassType of Signature.t * Names.ClassTypeName.t| `OpaqueModule of Module.t ]val identifier : t -> Identifier.t