package ContainerExample;

import FVisitor.FVisitor;


class Increment extends ElementSum{
    public Increment(int t){ super(t); }
    public Increment after(Object o, FVisitor vis){
        return new Increment(((Increment)vis).sum+1);
    }
}