package tarau.jinni;
import java.util.Enumeration;
import java.util.Vector;

abstract public class Sink extends Fluent {

  public Sink(Prog p) {
    super(p);
  }
  
  abstract public int putElement(Term T);
  
  public Term collect() {
    return null;
  }
}
