MemoKey

final class MemoKey
The key used to memoize already-traversed nodes when resolving substitutions
class Object
trait Matchable
class Any

Value members

Methods

final override def hashCode: Int
Definition Classes
Any
final override def equals(other: Any): Boolean
Definition Classes
Any
final override def toString: String
Definition Classes
Any