/** Fonction maximum, max( AstList<Exp> ) */
public class ExpFmax extends Exp {
  public AstList<Exp> args;
  public ExpFmax(AstList<Exp> args) { super(args); this.args = args; }
}