Module type Nametab.NAMETREE

type elt
type t
val empty : t
val push : visibility -> Libnames.full_path -> elt -> t -> t
val locate : Libnames.qualid -> t -> elt
val find : Libnames.full_path -> t -> elt
val remove : Libnames.full_path -> t -> t
val exists : Libnames.full_path -> t -> bool
val full_path : Libnames.qualid -> t -> Libnames.full_path
val shortest_qualid_gen : ?loc:Loc.t -> (Names.Id.t -> bool) -> Libnames.full_path -> t -> Libnames.qualid
val shortest_qualid : ?loc:Loc.t -> Names.Id.Set.t -> Libnames.full_path -> t -> Libnames.qualid
val find_prefixes : Libnames.qualid -> t -> elt list
val match_prefixes : Libnames.qualid -> t -> elt list