∀ (typeDiscrTreeKeys? : Option (Array Lean.Meta.DiscrTree.Key)) (index : Aesop.SlotIndex)
  (premiseIndex : Aesop.PremiseIndex) (deps common : Std.HashSet Aesop.PremiseIndex)
  (forwardDeps : Array Aesop.PremiseIndex),
  sizeOf
      { typeDiscrTreeKeys? := typeDiscrTreeKeys?, index := index, premiseIndex := premiseIndex, deps := deps,
        common := common, forwardDeps := forwardDeps } =
    1 + sizeOf typeDiscrTreeKeys? + sizeOf index + sizeOf premiseIndex + sizeOf deps + sizeOf common +
      sizeOf forwardDeps