pub fn solve(
  ctx: dict.Dict(String, fact.Value),
  var: String,
  func: ast.AggFunc,
  target_var: String,
  solver: solver_context.SolverContext,
  clauses: List(ast.BodyClause),
  nested_solve: fn(
    solver_context.SolverContext,
    List(ast.BodyClause),
    List(dict.Dict(String, fact.Value)),
  ) -> #(
    List(dict.Dict(String, fact.Value)),
    option.Option(dict.Dict(String, List(internal.StorageChunk))),
  ),
) -> #(
  List(dict.Dict(String, fact.Value)),
  option.Option(dict.Dict(String, List(internal.StorageChunk))),
)