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