-- DefsImplA.cedar

DIRECTORY
  Defs: TYPE USING [],
  DefsA: TYPE USING [];

DefsImplA: PROGRAM EXPORTS Defs, DefsA~{

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