Re-exports§
pub use data_access::LocalDataAccess;pub use ir::Annotation;pub use ir::Changeset;pub use ir::DetailBlock;pub use ir::DetailExample;pub use ir::Diagnostic;pub use ir::DiagnosticSeverity;pub use ir::DiffNode;pub use ir::ExtractHint;pub use ir::GlobalClaim;pub use ir::Segment;pub use ir::Side;pub use ir::Source;pub use ir::Summary;pub use ir::ValuePreview;pub use partition::disjoint_cover;pub use partition::Candidate;pub use partition::Coverage;pub use partition::IdentityExtractor;pub use partition::IdentityExtractorDescriptor;pub use partition::IdentityToken;pub use partition::PartitionMatch;pub use partition::TabularIdentityExtractor;pub use path::decompose_child;pub use path::escape_segment;pub use path::file_name;pub use path::member_child;pub use path::segments;pub use path::DECOMPOSE_SEP;pub use path::MEMBER_SEP;pub use correspondence::*;pub use traits::*;pub use types::*;
Modules§
- correspondence
- data_
access - ir
- partition
- JIT, format-owned partition identities for N↔M correspondence (CFM-72).
- path
- Logical-path construction and decomposition.
- plugin_
abi - C-ABI stable protocol for native renderer plugins.
- traits
- types
Macros§
- export_
plugin - Export a renderer plugin pack.