∀ {pu : Lean.Compiler.LCNF.Purity} (fn : Lean.Name) (args : Array (Lean.Compiler.LCNF.Arg pu))
  (h : autoParam (pu = Lean.Compiler.LCNF.Purity.impure) Lean.Compiler.LCNF.LetValue._auto_15),
  sizeOf (Lean.Compiler.LCNF.LetValue.pap fn args h) = 1 + sizeOf fn + sizeOf args + sizeOf h