@[inline]
Similar to find?
, but p
can return FindStep.done
to interrupt the search on subterms.
Remark: Differently from find?
, we do not invoke p
for partial applications of an application.
Similar to find?
, but p
can return FindStep.done
to interrupt the search on subterms.
Remark: Differently from find?
, we do not invoke p
for partial applications of an application.