{ %NORUN }

program tw30030;

{$mode delphi}

type
  TAcl<K, R, M> = Class
  End;

  TAssertion<K, R, M> = Function(Acl: TAcl<K, R, M>): Boolean Of Object;

begin

end.