gnat-0.1.4
Platform
Feature flags

docs.rs

Rust

gnat 0.1.4

Type-level numbers without extra bounds

Crate
Source
Builds
Feature flags

..
__mac
array
condty
expr
__mac.rs
array.rs
condty.rs
const_fmt.rs
consts.rs
expr.rs
internals.rs
lib.rs
maxint.rs
nat_api.rs
uimpl.rs
utils.rs

pub mod arr;
pub mod cond;
pub mod lit;
pub use gnat_proc as proc;