deptypes-0.2.1
- deptypes 0.2.1
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- lyphyser
- Dependencies
- derive-where ^1.2.7 normal
  generativity ^1.0.0 normal
  generics2 ^0.3.3 normal
  num-traits ^0.2.14 normal
  paste ^1.0.6 normal
- Versions
- 30.28% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Pred

deptypes0.2.1

In deptypes::int

Function Pred

pub fn Pred<A: Term>(a: Value<A>) -> Value<Pred<A>>where
    A::Type: ConstOps + Default + CheckedAdd + One + CheckedSub,