HasProblemBase

class HasProblemBase(base1: Type, base2: Type, argStr: String)(using `x$4`: Context) extends Realizability
class Object
trait Matchable
class Any

Value members

Inherited methods

Inherited from
Realizability

Inherited fields

val msg: String
Inherited from
Realizability