UnificationFailure
scalus.sir.SIRUnify.UnificationFailure
case class UnificationFailure[S](path: List[String], left: S, right: S) extends UnificationResult[Nothing]
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait UnificationResult[Nothing]class Objecttrait Matchableclass Any
Members list
In this article