Expand description
Provide the Rust types that implement an in-memory representation of the the SDML Grammar.
Modules§
- Provides types for model checking.
- Provides the capability to walk the in-memory model of an SDML module.
Structs§
- The source location information from the tree-sitter
Node
type. The location is stored as a start and end position, where the positions are byte indices.
Traits§
- This trait is implemented by types that have a distinct /body/ type.
- This trait is implemented by types that have a unique name.
- This trait is implemented by types that have a distinct, but optional, body type.