pub fn diff(
  db_state: state.DbState,
  from_tx: Int,
  to_tx: Int,
) -> List(fact.Datom)

pub fn entity_history(
  db_state: state.DbState,
  eid: fact.EntityId,
) -> List(fact.Datom)

pub fn explain(clauses: List(ast.BodyClause)) -> String

pub fn filter_by_time(
  datoms: List(fact.Datom),
  tx_limit: option.Option(Int),
  valid_limit: option.Option(Int),
) -> List(fact.Datom)

pub fn pull(
  db_state: state.DbState,
  eid: fact.EntityId,
  pattern: List(ast.PullItem),
) -> query_types.PullResult

pub fn pull_result_to_value(
  res: query_types.PullResult,
) -> fact.Value

pub fn run(
  db_state: state.DbState,
  query: ast.Query,
  rules: List(ast.Rule),
  as_of_tx: option.Option(Int),
  as_of_valid: option.Option(Int),
) -> query_types.QueryResult

pub fn solve_cognitive(
  db_state: state.DbState,
  concept: ast.Part,
  context: ast.Part,
  threshold: Float,
  engram_var: String,
  ctx: dict.Dict(String, fact.Value),
  as_of_tx: option.Option(Int),
  as_of_valid: option.Option(Int),
) -> List(dict.Dict(String, fact.Value))

pub fn traverse(
  db_state: state.DbState,
  start_id: Int,
  expr: List(query_types.TraversalStep),
  max_depth: Int,
) -> Result(List(fact.Value), String)