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