DEFINITION MODULE test ;

PROCEDURE IsSomeThing (a) : BOOLEAN;

END test.