有序单向链表的合并
合并两条有序单向链表，并使新链表仍然是一个有序单向链表。 （验证时间约 482sec）
[Back to Index]
验证特点：有序单向链表，内置谓词\list
标注说明：函数前条件：h1指向长为m的有序单向链表，h2指向长为n的有序单向链表；
函数后条件：返回值指向长为m+n的有序单向链表。
程序样例 
合并两条有序单向链表，并使新链表仍然是一个有序单向链表。 （验证时间约 482sec）
验证特点：有序单向链表，内置谓词\list
标注说明：函数前条件：h1指向长为m的有序单向链表，h2指向长为n的有序单向链表；
函数后条件：返回值指向长为m+n的有序单向链表。
程序样例