Module Resolved.Type
val of_ident : Identifier.Path.Type.t -> tval equal : t -> t -> boolval hash : t -> intval identifier : t -> Identifier.Path.Type.tval rebase : Identifier.Signature.t -> t -> tval equal_identifier : Identifier.Path.Type.t -> t -> bool