Directive1[T] =
Directive[Tuple1[T]] Directive1[Tuple2[M,N]]= Directive[Tuple1[Tuple2[M,N]]] =
Directive[Tuple2[M,N]] Directive1[Tuple3[M,N,G]]= ... =
Directive[Tuple3[M,N,G]] Directive1[Tuple4[M1,M2,M3,M4]]= ... =
Directive[Tuple4[M1,M2,M3,M4]] ... Directive1[Unit]= Directive0
来源: http://www.cnblogs.com/tiger-xc/p/7722924.html