pub fn solve(
  db_state: state.DbState,
  type_: ast.TemporalType,
  time: Int,
  op: ast.TemporalOp,
  variable: String,
  entity_p: ast.Part,
  clauses: List(ast.BodyClause),
  ctx: dict.Dict(String, fact.Value),
  solve_with_derived: fn(
    state.DbState,
    ast.BodyClause,
    dict.Dict(String, fact.Value),
    set.Set(fact.Datom),
    option.Option(Int),
    option.Option(Int),
  ) -> #(
    List(dict.Dict(String, fact.Value)),
    option.Option(dict.Dict(String, List(internal.StorageChunk))),
  ),
) -> List(dict.Dict(String, fact.Value))