Identifier.DataType
type t
= Paths_types.Identifier.datatype
val equal : t -> t -> bool
val hash : t -> int