hax-lib-0.3.5
- hax-lib 0.3.5
- Permalink
- Docs.rs crate page
- Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- franziskuskiefer
- github:cryspen:tools
- Dependencies
- hax-lib-macros =0.3.5 normal optional
  num-bigint ^0.4 normal
  num-traits ^0.2 normal
- Versions
- 28.57% of the crate is documented
Platform
Feature flags

docs.rs

Rust

forall

hax_lib0.3.5

In hax_lib::prop::constructors

hax_lib::prop::constructors

Function forall

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