| Modifier and Type | Field and Description |
|---|---|
static module_name |
module_name |
| Constructor and Description |
|---|
module_name() |
| Modifier and Type | Method and Description |
|---|---|
static java.lang.String |
listToModuleName(java.lang.Object list,
Translator tr) |
void |
scanForm(Pair form,
ScopeExp defs,
Translator tr) |
getName, getSymbol, print, rewrite, rewriteForm, scanForDefinitions, setName, setNamepublic static final module_name module_name
public void scanForm(Pair form, ScopeExp defs, Translator tr)
public static java.lang.String listToModuleName(java.lang.Object list,
Translator tr)