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