class HasProblemBounds
extends Realizability

Constructors

HasProblemBounds ( typ: SingleDenotation )
HasProblemBounds ( implicit ctx: Context )

Members

private implicit val ctx : Context
private val typ : SingleDenotation