Op

public class Op {
  Op(User_function function, boolean commute) {...}

  void finalize() {...}

  ...
}