package jif.extension;

import jif.ast.JifExt;

/** The Jif extension of the <code>ProcedureDecl</code> node. 
 * 
 *  @see polyglot.ast.ProcedureDecl
 *  @see jif.types.JifProcedureInstance
 */
public interface JifProcedureDeclExt extends JifExt {
}
