docs
API
Generated with
docs/scalus/scalus.sir/SIRUnify/TypeVarSyntaxUnify

TypeVarSyntaxUnify

scalus.sir.SIRUnify.TypeVarSyntaxUnify
object TypeVarSyntaxUnify extends Unify[TypeVar]

Attributes

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

Members list

Value members

Concrete methods

def apply(left: TypeVar, right: TypeVar, env: Env): UnificationResult[TypeVar]
Generated with