/***********************************************************************
 *
 * File        : SyntaxElement.java
 * Author      : Tyrel Datwyler
 *
 * Description : See Declaration.java for a discussion.
 *
 ***********************************************************************/

package TauIL.absyn;

// import java.io.OutputStream;
// import java.io.IOException;

public interface SyntaxElement extends AbstractSyntax {
    //    abstract protected void writeInstDef(OutputStream out) throws IOException;
}
