prio2

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

Givens

Givens

given ctx_Quantity_Eq[V, U](using e: Eq[V]): Eq[Quantity[V, U]]