Module Uid.Gen_qualified

Same as Gen but also registers path information

Parameters

module _ : Style

Signature

include Id with type info = Path.t * MarkedString.info
type t
val map_info : (info -> info) -> t -> t
val compare : t -> t -> int
val equal : t -> t -> bool
val format : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
val id : t -> int

Returns the unique ID of the identifier

module Set : Stdlib.Set.S with type elt = t
module Map : Map.S with type key = t
val fresh : Path.t -> MarkedString.info -> t
val path : t -> Path.t
val get_info : t -> MarkedString.info
val base : t -> string

Returns only the base ident name, while to_string includes the path prefix

val hash : strip:Path.t -> t -> Hash.t

strip strips that prefix from the start of the path before hashing