--------------------------------------------------------------------------
-- node Sum returns the sum of all values of X up to the current instant
--------------------------------------------------------------------------

node Sum( X : int ) returns ( S : int );

let
  S =  X -> pre S + X;
tel