kawa.standard

Class define_unit

public class define_unit extends Syntax

Field Summary
static define_unitdefine_base_unit
static define_unitdefine_unit
Constructor Summary
define_unit(boolean base)
Method Summary
ExpressionrewriteForm(Pair form, Translator tr)
booleanscanForDefinitions(Pair st, Vector forms, ScopeExp defs, Translator tr)

Field Detail

define_base_unit

public static final define_unit define_base_unit

define_unit

public static final define_unit define_unit

Constructor Detail

define_unit

public define_unit(boolean base)

Method Detail

rewriteForm

public Expression rewriteForm(Pair form, Translator tr)

scanForDefinitions

public boolean scanForDefinitions(Pair st, Vector forms, ScopeExp defs, Translator tr)