EmptyEquationSystemTracer

An empty listener which does nothing.

class Object
trait Matchable
class Any

Value members

Inherited methods

@elidable(TRACING)
def afterEvaluation(rho: U => V, u: U, res: V): Unit
@elidable(TRACING)
def beforeEvaluation(rho: U => V, u: U): Unit
@elidable(TRACING)
def boxEvaluation(rho: U => V, u: U, res: V, boxed: V): Unit