Function prusti_contracts::exists

source · 
pub fn exists<T, F>(_trigger_set: T, _closure: F) -> bool
Expand description

Existential quantifier.

This is a Prusti-internal representation of the exists syntax.