delhi-syntax-0.1.4
- delhi-syntax 0.1.4
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- 29 July 2026
- Links
- Repository
- crates.io
- Source
- Owners
- vasanthsarathy
- Dependencies
- Versions
- 100% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

AtomId

delhi_syntax0.1.4

In delhi_syntax::formula

delhi_syntax::formula

Type Alias AtomId

pub type AtomId = u32;

Expand description

Index of a ground atomic proposition.