class C

  operation P (x: D);
  ...

end

...


var a: C;
    b: D;
begin
  a.P(b)
end