Uses of Class
orc.ast.simple.expression.Def

Packages that use Def

orc.ast.extended.declaration.def
orc.ast.simple.expression

Uses of Def in orc.ast.extended.declaration.def

Methods in orc.ast.extended.declaration.def that return Def

Def	AggregateDef.simplify()

Uses of Def in orc.ast.simple.expression

Fields in orc.ast.simple.expression with type parameters of type Def

java.util.List<Def>

DeclareDefs.defs

Methods in orc.ast.simple.expression that return Def

Def	Def.subMap(java.util.Map<FreeVariable,? extends Argument> m)
Def	Def.subst(Argument a, FreeVariable x)
Def	Def.subst(Type T, FreeTypeVariable X)

Methods in orc.ast.simple.expression that return types with arguments of type Def

static java.util.List<Def>	Def.substAll(java.util.List<Def> defs, Argument a, FreeVariable x)
static java.util.List<Def>	Def.substAll(java.util.List<Def> defs, Type T, FreeTypeVariable X)

Method parameters in orc.ast.simple.expression with type arguments of type Def

static java.util.List<Def>	Def.convertAll(java.util.List<Def> ds, Env<Variable> vars, Env<TypeVariable> typevars) Convenience method, to apply convert to a list of defs.
static java.util.List<Def>	Def.substAll(java.util.List<Def> defs, Argument a, FreeVariable x)
static java.util.List<Def>	Def.substAll(java.util.List<Def> defs, Type T, FreeTypeVariable X)

Constructors in orc.ast.simple.expression with parameters of type Def

Catch(Def handlerDef, Expression tryBlock)

Constructor parameters in orc.ast.simple.expression with type arguments of type Def

DeclareDefs(java.util.List<Def> defs, Expression body)