package jif.ast;

/** An immutable representation of the Jif <code>endorse</code> statement. 
 *  <p>Grammar: <code>endorse(label_to, label_from) stmt</code> </p>
 */
public interface EndorseStmt extends DowngradeStmt {
}
