TipSmtConstantDeclaration
gapt.formats.tip.parser.TipSmtConstantDeclaration
case class TipSmtConstantDeclaration(name: String, keywords: Seq[TipSmtKeyword], typ: TipSmtType) extends TipSmtCommand
Attributes
- Source
- ast.scala
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait TipSmtCommandclass Objecttrait Matchableclass Any
Members list
In this article