/**
 * 
 */
package edu.udel.cis.vsl.civl.model.IF.expression;

/**
 * This expression is only used in an ensures clause of a function contract to
 * refer to the returned value.
 * 
 * @author zirkel
 * 
 */
public interface ResultExpression extends Expression {

}
