变量不能具有类型“void”

元<整...I,整...J>
常式 动 相转绝(序列<I...>a,序列<J...>b){
    断定(型长等(I,J));常式 整 K=取头(b);
    相转绝(序列<取头(a),K>(),去头(a),去头(b),序列<K>());
}//相对偏移转绝对,前面为多维,后面为相对偏移.

然后一直报变量不能具有类型“void”错误!
哎呀,说半天,就是搞忘记返回了.
只需要在最后一句加上中.真是,找半天,都找不着原因.
搞忘加中了.