peano-axioms

peano-axioms 是一个基于皮亚诺公理扩展的类型级算术的crate。

示例

use peano_axioms::{One, Two, Three, Six, Product};

assert_eq!(Product::<Two, Three>::VALUE, Six::VALUE);
assert_eq!(Difference::<Three, Two>::VALUE, One::VALUE);

// Fails to compile
// assert_eq!(Difference::<Two, Three>::VALUE, One::VALUE);

lib.rs:

基于皮亚诺公理扩展的类型级数字。