given_Unify_SIR

scalus.sir.SIRUnify.given_Unify_SIR
object given_Unify_SIR extends Unify[SIR]

Unify two SIR expressions. Annotations are ignored during unification and can be different.

Attributes

Graph
Supertypes
trait Unify[SIR]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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