Module Identifier.NonSrc

type t = t_pv id
val hash : t -> int
val equal : ([< t_pv ] id as 'a) -> 'a -> bool