@type t() :: %Theoria.Kernel.Differential.Timings{
  artifact_replay_ms: non_neg_integer(),
  check_ms: non_neg_integer(),
  defeq_ms: non_neg_integer(),
  generated_artifact_ms: non_neg_integer(),
  generated_term_ms: non_neg_integer(),
  indexed_artifact_ms: non_neg_integer(),
  infer_ms: non_neg_integer(),
  normalize_ms: non_neg_integer(),
  rejection_ms: non_neg_integer(),
  replay_ms: non_neg_integer(),
  theorem_ms: non_neg_integer(),
  total_ms: non_neg_integer()
}