1#![expect(
9 clippy::redundant_pub_crate,
10 reason = "internal modules use crate visibility for sibling boundaries while staying unexported"
11)]
12
13pub(crate) mod catalog;
14pub(crate) mod database;
15pub(crate) mod error;
16pub(crate) mod id;
17pub(crate) mod projection;
18pub(crate) mod query;
19pub(crate) mod state;
20pub(crate) mod storage;
21pub(crate) mod traversal;
22pub(crate) mod value;
23
24pub use crate::{
25 catalog::{
26 Catalog, GraphProjectionDefinition, HypergraphProjectionDefinition, IndexDefinition,
27 IndexEntry, LabelDefinition, ProjectionDefinition, ProjectionEntry, PropertyFamily,
28 PropertyKeyDefinition, RelationTypeDefinition, RoleDefinition,
29 },
30 database::{
31 CatalogSummary, Database, DatabaseStatus, IndexLookup, ReadPin, ReadTransaction,
32 WriteTransaction,
33 },
34 error::DbError,
35 id::{
36 CheckpointGeneration, CommitSeq, ElementId, IncidenceId, IndexId, LabelId, ProjectionId,
37 PropertyKeyId, RelationId, RelationTypeId, RoleId, TransactionId,
38 },
39 projection::{
40 GraphProjection, HypergraphProjection, ProjectionElementId, ProjectionIncidenceId,
41 ProjectionRelationId,
42 },
43 query::{PreparedQuery, QueryLanguage, QueryResult, QueryRow, QueryValue},
44 state::{ElementRecord, IncidenceRecord, PropertySubject, RelationRecord},
45 traversal::{TraversalDirection, TraversalOptions, TraversalResult, TraversalRow},
46 value::{PropertyType, PropertyValue},
47};
48
49#[cfg(kani)]
50mod proofs;