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

given_Unify_Case

scalus.sir.SIRUnify.given_Unify_Case
object given_Unify_Case extends Unify[Case]

Attributes

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

Members list

Value members

Concrete methods

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