Odoc_info.NameRepresentation of element names.
val depth : t -> intReturn 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.