∀ (toBaseRuleSet : Aesop.BaseRuleSet) (simpTheorems : Lean.Meta.SimpTheorems) (simprocs : Lean.Meta.Simprocs),
  sizeOf { toBaseRuleSet := toBaseRuleSet, simpTheorems := simpTheorems, simprocs := simprocs } =
    1 + sizeOf toBaseRuleSet + sizeOf simpTheorems + sizeOf simprocs