001    package nl.cwi.sen1.tide.tool.support;
002    
003    public interface ExprFormat
004    {
005      String format(Expr expr);
006    }