public BindingMode getBindingMode(ModeCheckContext context) {
if (context.isBound(this)) {
return Factory.makeBound();
} else {
return Factory.makeFree();
}
}
public BindingMode getBindingMode(ModeCheckContext context) {
BindingMode bm = getArg().getBindingMode(context);
if (bm.isBound()) {
return bm;
}
return Factory.makePartiallyBound();
}
protected Type getType(TypeEnv env) throws TypeModeError {
return Factory.makeSubAtomicType(Factory.makeTypeConstructor(String.class));
}
