-- Defs.cedar

Defs: DEFINITIONS~{
  Op: PROC[INT] RETURNS[INT];
  Action: PROC[INT, INT];
  }.