gravitino.name_identifier¶
Classes
|
A name identifier is a sequence of names separated by dots. |
Back to top