libspecr-0.1.29
- libspecr 0.1.29
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- RalfJung
- memoryleak47
- Dependencies
- gccompat-derive ^0.1.2 normal
  im ^15.1.0 normal
  num-bigint ^0.4 normal
  num-integer ^0.1.45 normal
  num-traits ^0.2.15 normal
  rand ^0.8.5 normal
- Versions
- 100% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

libspecr0.1.29

Function libspecr::predict

pub fn predict<T>(_f: impl Fn(T) -> bool) -> Nondet<T>

Expand description

The predict function from the minirust spec. See Non-determinism.