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)