Kdiverse1.fct

initialise-binding initialise-storing initialise-giving finalise-failing finalise-throwing scope
  (collateral (bind
    ("main",
     allocate-variable (functions
       (tuples ((values)*),
        values)))),
   sequential (assign
     (bound ("main"),
      function closure (scope
        (match
          (given,
           tuple ()),
         handle-return (scope
           (bind
             ("x",
              allocate-initialised-variable
                (values,
                 decimal-natural ("1"))),
            print (checked integer-divide
              (give
                (bound ("x"),
                 sequential
                   (assign
                     (given,
                      integer-add
                        (assigned (given),
                         1)),
                    assigned (given))),
               checked integer-divide
                 (give
                   (bound ("x"),
                    sequential
                      (assign
                        (given,
                         integer-add
                           (assigned (given),
                            1)),
                       assigned (given))),
                  assigned (bound ("x")))),
            "\n")))))),
   apply
     (assigned (bound ("main")),
      tuple ())))