/** * How far the session's todo list has come: completed items over all. */ export type TodoProgress = { done: number total: number }