小编he1*_*boy的帖子

以标准方式，我对这样的列表进行归纳

• 批准是为了lst
• 证明为x::lst

但我想要：

• 批准是为了lst
• 证明为lst ++ x::nil

x对我来说，在列表中的位置很重要。

我试图写这样的东西，但没有成功。