Docs.rs
  • peano-axioms-0.1.0
    • peano-axioms 0.1.0
    • Permalink
    • Docs.rs crate page
    • MIT
    • Links
    • Repository
    • crates.io
    • Source
    • Owners
    • Spartan2909
    • Dependencies
      • local-type-alias ^0.1.4 normal
    • Versions
    • 100% of the crate is documented
  • Platform
    • i686-pc-windows-msvc
    • i686-unknown-linux-gnu
    • x86_64-apple-darwin
    • x86_64-pc-windows-msvc
    • x86_64-unknown-linux-gnu
  • Feature flags
  • docs.rs
    • About docs.rs
    • Privacy policy
  • Rust
    • Rust website
    • The Book
    • Standard Library API Reference
    • Rust by Example
    • The Cargo Guide
    • Clippy Documentation

peano_axioms0.1.0

Crate Items

  • Macros
  • Structs
  • Traits
  • Type Aliases

List of all items

Structs

  • Fraction
  • Next
  • Prev
  • Zero

Traits

  • Abs
  • Exp
  • Gcd
  • Inverse
  • Lcm
  • Negative
  • NonNegative
  • NonPositive
  • NonZero
  • Positive
  • Reify
  • Sequence
  • Simplify
  • ToInt

Macros

  • rpn

Type Aliases

  • Absolute
  • Difference
  • Eight
  • Exponent
  • Five
  • Four
  • GreatestCommonDivisor
  • LeastCommonMultiple
  • Negation
  • Nine
  • One
  • Product
  • Quotient
  • Reciprocal
  • Remainder
  • Seven
  • Simplified
  • Six
  • Sum
  • Ten
  • Three
  • Two