pub fn do_handle_transact(
  state: state.DbState,
  facts: List(#(fact.Eid, String, fact.Value)),
  valid_time: option.Option(Int),
  op: fact.Operation,
  reply: process.Subject(Result(state.DbState, String)),
  compute_next_state: fn(
    state.DbState,
    List(#(fact.Eid, String, fact.Value)),
    option.Option(Int),
    fact.Operation,
  ) -> Result(#(state.DbState, List(fact.Datom)), String),
) -> actor.Next(state.DbState, msg)

pub fn recover_state(state: state.DbState) -> state.DbState