-- DefsImplB.cedar

DIRECTORY
  Defs: TYPE USING [];

DefsImplB: PROGRAM EXPORTS Defs~{

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