Member predicate EnsureSplitting::EnsureSplitType::isSplitForEntryCompletion
Holds if this split type matches entry into an ensure
block with completion c
.
predicate isSplitForEntryCompletion(Completion c)
Holds if this split type matches entry into an ensure
block with completion c
.
predicate isSplitForEntryCompletion(Completion c)