hax_lib::prop::constructors

Function forall

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