TypedAST dbody = new IntegerConstant(Integer.parseInt(str.getSrcString().trim()));
newv.setBody(new DeclSequence(Arrays.asList(new DefDeclaration("getValue", new Arrow(Unit.getInstance(), Int.getInstance()), new ArrayList<>(), dbody, false))));
return newv;
};
HasParser inner = new HasParser() {
@Override
public ExtParser getParser() {
return parseri;
}
};