/**
*/
package net.certware.argument.language.l;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Ground Arithmetic Term</b></em>'.
* <!-- end-user-doc -->
*
*
* @see net.certware.argument.language.l.LPackage#getGroundArithmeticTerm()
* @model
* @generated
*/
public interface GroundArithmeticTerm extends GroundTerm
{
} // GroundArithmeticTerm