kawa.standard
public class define_unit extends Syntax
| Field Summary | |
|---|---|
| static define_unit | define_base_unit |
| static define_unit | define_unit |
| Constructor Summary | |
|---|---|
| define_unit(boolean base) | |
| Method Summary | |
|---|---|
| Expression | rewriteForm(Pair form, Translator tr) |
| boolean | scanForDefinitions(Pair st, Vector forms, ScopeExp defs, Translator tr) |