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