this.vf = valueFactory;
this.tf = TypeFactory.getInstance();
}
public Result<IValue> typeToValue(Type t, IEvaluatorContext ctx) {
Environment env = ctx.getCurrentEnvt();
env.getStore().declareAbstractDataType(Factory.Type);
env.getStore().declareConstructor(Factory.Type_Reified);
TypeStore store = constructCompleteTypeStore(env);
Map<IConstructor, IConstructor> definitions = new HashMap<IConstructor, IConstructor>();
IConstructor symbol = reify(t, definitions, ctx, store);