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