package oops;
import oops.parser.GoalAdapter;
import ck.Node;

public class term extends GoalAdapter {
  public static class minus extends GoalAdapter {
    public Object reduce () {
      return new Node.Minus((Number)result);
    }
  }
}