HasProblemField

class HasProblemField(fld: SingleDenotation, problem: Realizability)(using `x$3`: Context) extends Realizability
class Object
trait Matchable
class Any

Value members

Inherited methods

Inherited from
Realizability

Inherited fields

val msg: String
Inherited from
Realizability