∀ (ruleStates : Lean.PHashMap Aesop.RuleName Aesop.RuleState)
  (hyps : Lean.PHashMap Lean.FVarId (Lean.PArray (Aesop.RuleName × Aesop.PremiseIndex)))
  (patSubsts : Lean.PHashMap Aesop.PatSubstSource (Lean.PArray (Aesop.RuleName × Aesop.Substitution))),
  sizeOf { ruleStates := ruleStates, hyps := hyps, patSubsts := patSubsts } =
    1 + sizeOf ruleStates + sizeOf hyps + sizeOf patSubsts