NameDeclaration.java

package org.whole.lang.firstorderlogic.model;

/** 
 * @generator Whole
 */
public interface NameDeclaration extends IFirstOrderLogicEntity, Declaration {
	public Name getName();

	public void setName(Name name);

	public Type getType();

	public void setType(Type type);

	public Path getModelBinding();

	public void setModelBinding(Path modelBinding);
}