object CheckRealizable
Realizability status
- Companion:
- class
Type members
Classlikes
class HasProblemField(fld: SingleDenotation, problem: Realizability)(using x$3: Context) extends Realizability
class ProblemInUnderlying(tp: Type, problem: Realizability)(using x$3: Context) extends Realizability