Function prusti_contracts::forall

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

Universal quantifier.

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