given_Unify_Decl

scalus.sir.SIRUnify.given_Unify_Decl
object given_Unify_Decl extends Unify[Decl]

Attributes

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

Members list

Value members

Concrete methods

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