Generated with

gapt/gapt/gapt.expr/preExpr/Mismatch

Mismatch

gapt.expr.preExpr.Mismatch

case class Mismatch(t1: Type, t2: Type, assg: Assg) extends UnificationError

Attributes

Source: preExpr.scala
Graph
Supertypes: trait Serializable

trait Product

trait Equals

trait UnificationError

class Object

trait Matchable

class Any
Show all

Members list

Value members

Inherited methods

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:: Product
Source: Product.scala

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns: in the default implementation, an Iterator[Any]
Inherited from:: Product
Source: Product.scala

In this article

Generated with