trestle_by_example/src/common/Main.m3


MODULE Main;
IMPORT Trestle, VBT;
FROM Picture IMPORT StampVBT;

BEGIN
  Trestle.Install(StampVBT);
  Trestle.AwaitDelete(StampVBT);
END Main.

interface Picture is in: