Tp x rjv ref 1,1,1 let nextp = p+1 in p : Tp x T ref 1,0,1, nextp :tjvxT refi,o,o let next = *nextp in p : Tp x T ref 1,0,1, nextp : T x T ref 1,0,0 , next ...
確定! 回上一頁