Odoc_info.Name
Representation of element names.
val depth : t -> int
Return the depth of the name, i.e. the number of levels to the root. Example : depth "Toto.Tutu.name"
= 3
.
Take two names n1 and n2 = n3.n4 and return n4 if n3=n1 and n1<>"" or else n2.