∀ (total configParsing ruleSetConstruction search ruleSelection script forwardState : Aesop.Nanos)
  (scriptGenerated : Option Aesop.ScriptGenerated) (ruleStats : Array Aesop.RuleStats)
  (goalStats : Array Aesop.GoalStats),
  sizeOf
      { total := total, configParsing := configParsing, ruleSetConstruction := ruleSetConstruction, search := search,
        ruleSelection := ruleSelection, script := script, forwardState := forwardState,
        scriptGenerated := scriptGenerated, ruleStats := ruleStats, goalStats := goalStats } =
    1 + sizeOf total + sizeOf configParsing + sizeOf ruleSetConstruction + sizeOf search + sizeOf ruleSelection +
              sizeOf script +
            sizeOf forwardState +
          sizeOf scriptGenerated +
        sizeOf ruleStats +
      sizeOf goalStats