// This file was generated by DAJ from program.cd.

import edu.neu.ccs.demeter.*;

class Binder {
  Clause_List clauses;
  Binder() { }
  Binder(Clause_List clauses) {
    this.clauses = clauses;
  }
}