TypeTools[GetType] - ユーザ定義の型の定義を取り出す
使い方
GetType(typename)
パラメータ
typename - 名前
|
説明
|
|
•
|
型 typename に関する定義が返されます。
|
•
|
この関数は、 TypeTools[AddType] を用いて既に登録されている型の定義を、取り出す目的だけに使用が可能です。プログラムに組み込まれている型の取り出しには使用できません。
|
|
|
例
|
|
>
|
TypeTools[AddType]( tff, '{identical(true),identical(false),identical(FAIL)}' );
TypeTools[GetType]( tff );
|
| (2.1) |
>
|
TypeTools[AddType]( integer7, t->evalb(t::integer and irem(t,7)=0) );
TypeTools[GetType]( integer7 );
|
| (2.2) |
| (2.3) |
|
|