Constructors

ExistsAccumulator ( p: Type => Boolean , forceLazy: Boolean )

ExistsAccumulator ( implicit ctx: Context )

Members

[+] private implicit val ctx : Context

[+] private val forceLazy : Boolean

[+] private val p : Type => Boolean

[+] def apply ( x: Boolean , tp: Type ) : R

[+] override def stopAtStatic : Boolean