They can be used e.g. as the basis of record types , synonym types and abstract types . Defining record types A record type is basically an algebraic data ...
確定! 回上一頁