libretto/libretto.impl/Unique

Unique

trait Unique[F[_]]
class Object
trait Matchable
class Any
trait Variable[Var, VarSet]

Value members

Abstract methods

def testEqual[A, B](a: F[A], b: F[B]): Option[A =:= B]