双向链表的插入
插入一个新的节点到双向链表中指定的位置。（验证时间约 30sec）
[Back to Index]
验证特点：双向链表，内置谓词\dlist，幽灵循环语句
标注说明：函数前条件：p为空或者指向长为n的双向链表；
函数后条件：返回值指向长为n+1的双向链表。
程序样例 
插入一个新的节点到双向链表中指定的位置。（验证时间约 30sec）
验证特点：双向链表，内置谓词\dlist，幽灵循环语句
标注说明：函数前条件：p为空或者指向长为n的双向链表；
函数后条件：返回值指向长为n+1的双向链表。
程序样例