Mismatch
gapt.expr.preExpr.Mismatch
case class Mismatch(t1: Type, t2: Type, assg: Assg) extends UnificationError
Attributes
- Source
- preExpr.scala
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait UnificationErrorclass Objecttrait Matchableclass Any
Members list
In this article