这里有两段代码,我认为是相同的,除了第二段有更多的行,然后它应该： fun move_ul {i:nat} ( p: int(i) , ms: list0(Int) ): list0(Int) = if p - 5 &g…