Module type Nametab.UserName
val equal : t -> t -> boolval to_string : t -> stringval repr : t -> Names.Id.t * Names.module_ident list
Nametab.UserNameval equal : t -> t -> boolval to_string : t -> stringval repr : t -> Names.Id.t * Names.module_ident list