UnificationSuccess
scalus.sir.SIRUnify.UnificationSuccess
case class UnificationSuccess[T](env: Env, unificator: T) extends UnificationResult[T]
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait UnificationResult[T]class Objecttrait Matchableclass Any
Members list
In this article