class
HasProblemBounds
extends
Realizability
Constructors
HasProblemBounds
(
typ:
SingleDenotation
)
HasProblemBounds
(
implicit
ctx:
Context
)
Members
private implicit
val
ctx
: Context
private
val
typ
: SingleDenotation