< 降序=0,整数 F,整数 T> 有序一(F&f,T&t){
常式(降序){
(f>=t);
}{
(f<=t);
}
}

< 降序=0,整数 F,整数 G,整数...T>
有序(F&f,G&g,T&...t){
常式 I=型长...(T);
i=有序一<降序>(f,g);
常式(I==0){
i;
}{
(!i) ; 有序<降序>(g,t...);
}
}//有一个非该类型,就是假,无序的..