prio2

class prio2
class Object
trait Matchable
class Any
class prio1
object deltaquantity.type

Givens

Givens

given ctx_DeltaQuantity_Eq[V, U, B](using e: Eq[V]): Eq[DeltaQuantity[V, U, B]]