gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.expr/preExpr/UnificationError

UnificationError

gapt.expr.preExpr.UnificationError
sealed trait UnificationError

Attributes

Source
preExpr.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Mismatch
class OccursCheck

Members list

Value members

Abstract methods

def assg: Assg

Attributes

Source
preExpr.scala
Generated with