package jif.types;

import polyglot.types.LocalInstance;

/** Jif local instance. A wrapper of all the type information related
 *  to a local variable or a method argument. 
 */
public interface JifLocalInstance extends LocalInstance, JifVarInstance {
}
