結果 : define abstract data type example