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 serde_map;
20pub(crate) mod state;
21pub(crate) mod storage;
22pub(crate) mod traversal;
23pub(crate) mod value;
24
25pub use crate::{
26 catalog::{
27 Catalog, GraphProjectionDefinition, HypergraphProjectionDefinition, IndexDefinition,
28 IndexEntry, LabelDefinition, ProjectionDefinition, ProjectionEntry, PropertyFamily,
29 PropertyKeyDefinition, RelationTypeDefinition, RoleDefinition,
30 },
31 database::{
32 CatalogSummary, Database, DatabaseStatus, IndexLookup, ReadPin, ReadTransaction,
33 WriteTransaction,
34 },
35 error::DbError,
36 id::{
37 CheckpointGeneration, CommitSeq, ElementId, IncidenceId, IndexId, LabelId, ProjectionId,
38 PropertyKeyId, RelationId, RelationTypeId, RoleId, TransactionId,
39 },
40 projection::{
41 GraphProjection, HypergraphProjection, ProjectionElementId, ProjectionIncidenceId,
42 ProjectionRelationId,
43 },
44 query::{PreparedQuery, QueryLanguage, QueryResult, QueryRow, QueryValue},
45 state::{ElementRecord, IncidenceRecord, PropertySubject, RelationRecord},
46 traversal::{TraversalDirection, TraversalOptions, TraversalResult, TraversalRow},
47 value::{PropertyType, PropertyValue},
48};
49
50#[cfg(kani)]
51mod proofs;