chiark / gitweb /
New function TYPE-EQUAL-P