package jif.ast;

/** An immutable representation of the Jif <code>endorse</code> expression. 
 *  <p>Grammar: <code>endorse(expression, label_to, label_from)</code> </p>
 */
public interface EndorseExpr extends DowngradeExpr {
}
