function extendsFrom input TypeName className; input TypeName baseClassName; output Boolean res; end extendsFrom;