hax_lib::prop::constructors

Function exists

Source 
pub fn exists<A, F: Fn(A) -> Prop>(_pred: F) -> Prop