-- DefsClient.cedar         
   
DIRECTORY
  Defs: TYPE USING [Op];

DefsClient: PROGRAM IMPORTS DefsImpl: Defs~{

  i: INT;
  i ← DefsImpl.Op[737];
  
  }.