У Вас же сказано:
> -- ilovb писал(а):
> WITH f: StdCFrames.Frame DO f.Restore(l, t, r, b) END
Соответственно f здесь уже имеет тип StdCFrames.Frame (смотрите определение оператора WITH), и вызывается StdCFrames.Frame.Restore.
Собственно говоря StdCFrames.Frame тоже абстрактный тип, но если посмотреть внимательно, можно увидеть в модуле StdCFrames вот такие строчки:
## Код:
```
VAR
   dir-, stdDir-: Directory;
...
PROCEDURE SetDir* (d: Directory);
```

Значит где-то должен быть модуль, предоставляющий фабрику и реализующий все контролы. Такой модуль есть - это HostCFrames (из подсистемы Host, что логично). Вот там всё WinApi и спрятано. То есть в указанном примере вызывается на самом деле HostCFrames.VectorField.Restore (правда нет такого стандартного контрола - VectorField)