Unify

scalus.sir.SIRUnify.Unify
See theUnify companion object
trait Unify[T]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

def apply(left: T, right: T, env: Env): UnificationResult[T]