Explore our full range of subscriptions.For individuals
第一百零九条 海上旅客运输的运输期间，自旅客登船时起至旅客离船时止。客票票价含接送费用的，运输期间包括承运人经水路将旅客从岸上接到船上和从船上送到岸上的时间，但是不包括旅客在港站内、码头上或者在港口其他设施内的时间。，详情可参考新收录的资料
。关于这个话题，新收录的资料提供了深入分析
Added Section 9.5.1.
type nat = Succ of nat | Zero，详情可参考新收录的资料
Go to technology