新しい型 typename が型システムにインストールされます。

handler は、新しい型を記述する、手続きまたは構造化された型のいずれかです。

handler が手続きであるならば、handler(e::expression) のように呼び出されます。e が正しい型であれば true が返され、そうでなければ false が返されます。

TypeTools[AddType]( tff, '{identical(true),identical(false),identical(FAIL)}' );
type( FAIL, 'tff' );

type( [true,false], 'list(tff)' );

TypeTools[AddType]( integer7, t->evalb(t::integer and irem(t,7)=0) );
type( 4, 'integer7' );

type( 28, 'integer7' );