given_Unify_String

scalus.sir.SIRUnify.Unify.given_Unify_String
object given_Unify_String extends Unify[String]

Attributes

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

Members list

Value members

Concrete methods

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