----------------------------------------------------------------------
-- node Fact, returns the sequence of all factorial numbers,
--            starting from 1!
----------------------------------------------------------------------

node Fact() returns ( F : int );
var N : int;
let
  N = 1 -> pre N + 1 ;
  F = 1 -> pre F * N ;
tel