001package org.clafer.ast;
002
003/**
004 *
005 * @author jimmy
006 */
007public interface AstVar {
008
009    /**
010     * Returns the name of the variable. Two variables with the same name are still different
011     * variables. The name is simply for readability.
012     * 
013     * @return the name of the variable
014     */
015    String getName();
016}