-- DefsA.cedar

DefsA: DEFINITIONS~{
  Proc: PROC[INT] RETURNS[INT];
  }.