∀ {pu : Lean.Compiler.LCNF.Purity} (var : Lean.FVarId) (i : Lean.Compiler.LCNF.CtorInfo) (updateHeader : Bool)
  (args : Array (Lean.Compiler.LCNF.Arg pu))
  (h : autoParam (pu = Lean.Compiler.LCNF.Purity.impure) Lean.Compiler.LCNF.LetValue._auto_19),
  sizeOf (Lean.Compiler.LCNF.LetValue.reuse var i updateHeader args h) =
    1 + sizeOf var + sizeOf i + sizeOf updateHeader + sizeOf args + sizeOf h