-- DefsImpl.cedar

DIRECTORY
  Defs: TYPE USING [];

DefsImpl: PROGRAM EXPORTS Defs~{

  Op: PUBLIC PROC[x: INT] RETURNS[INT] ~ {RETURN[x-5]};
  
  }.