;;;
;;; Lisp code generated by Aldor from file "fact.as".
;;;

(in-package "FOAM-USER")

(declare-prog (|C0-fact-fact|) ((|e1| |Env|)))

(declare-prog (|C1-fact-fact| |Word|) ((|P0-n| |Word|) (|e1| |Env|)))

(declare-prog
  (|C2-fact-axextend-init| |Word|)
  ((|P0-idx| |SInt|) (|e1| |Env|)))

(declare-type |G-fact| |Clos|)

(declare-type |G-fact_fact_024557424| |Clos|)

(defspecials |G-fact_fact_024557424|)

(|DDecl|
  |Struct-fact-5|
  (|PositiveInteger-0| |Word|)
  (>-1 |Clos|)
  (<=-2 |Clos|)
  (*-3 |Clos|)
  (\1-4 |Word|)
  (\--5 |Clos|)
  (|dom-6| |Word|)
  (\-7 |Bool|))

(defprog
  ((|C0-fact-fact|) ((|e1| |Env|)))
  ((t0 |Clos|) (|l0| |Level|) (|e0| |Env|))
  (setq |l0| (|MakeLevel| |MAKE-Struct-fact-5| |Struct-fact-5|))
  (setq |e0| (|MakeEnv| |e1| |l0|))
  (|CCall| |G-runtime|)
  (setq |G-fact| |G-noOperation|)
  (setq t0 (|Clos| |e0| |C2-fact-axextend-init|))
  (setq |G-fact_fact_024557424| (|Clos| |e0| |C1-fact-fact|))
  (|SetLex| |Struct-fact-5--7| 7 |l0| (the |Bool| nil))
  (|SetLex|
    |Struct-fact-5-PositiveInteger-0|
    0
    |l0|
    (|CCall| |G-rtLazyDomFrInit| t0 (the |SInt| 0)))
  (|SetLex|
    |Struct-fact-5-dom-6|
    6
    |l0|
    (|Lex| |Struct-fact-5-PositiveInteger-0| 0 |l0|))
  (|SetLex|
    |Struct-fact-5-1-4|
    4
    |l0|
    (|CCall|
      |G-lazyGetExport!|
      (|Lex| |Struct-fact-5-dom-6| 6 |l0|)
      (the |SInt| 200090)
      (the |SInt| 965468232)))
  (|SetLex|
    |Struct-fact-5-<=-2|
    2
    |l0|
    (|CCall|
      |G-stdGetWordWordRetWord0|
      (|CCall|
        |G-rtDelayedGetExport!|
        (|Lex| |Struct-fact-5-dom-6| 6 |l0|)
        (the |SInt| 51492427)
        (the |SInt| 475275506))))
  (|SetLex|
    |Struct-fact-5->-1|
    1
    |l0|
    (|CCall|
      |G-stdGetWordWordRetWord0|
      (|CCall|
        |G-rtDelayedGetExport!|
        (|Lex| |Struct-fact-5-dom-6| 6 |l0|)
        (the |SInt| 200103)
        (the |SInt| 475275506))))
  (|SetLex|
    |Struct-fact-5-*-3|
    3
    |l0|
    (|CCall|
      |G-stdGetWordWordRetWord0|
      (|CCall|
        |G-rtDelayedGetExport!|
        (|Lex| |Struct-fact-5-dom-6| 6 |l0|)
        (the |SInt| 200083)
        (the |SInt| 669744030))))
  (|SetLex|
    |Struct-fact-5---5|
    5
    |l0|
    (|CCall|
      |G-stdGetWordWordRetWord0|
      (|CCall|
        |G-rtDelayedGetExport!|
        (|Lex| |Struct-fact-5-dom-6| 6 |l0|)
        (the |SInt| 200086)
        (the |SInt| 669744030))))
  (block-return |C0-fact-fact| ()))

(defprog
  ((|C1-fact-fact| |Word|) ((|P0-n| |Word|) (|e1| |Env|)))
  ((|T0-res| |Word|) (t1 |Word|) (|l1| |Level|))
  (setq |l1| (|EnvLevel| |e1|))
  (tagbody
    (when
      (|CCall|
        (|Lex| |Struct-fact-5-<=-2| 2 |l1|)
        |P0-n|
        (|CCall| |G-lazyForceImport| (|Lex| |Struct-fact-5-1-4| 4 |l1|)))
      (go |Lab0|))
    (setq
      |T0-res|
      (|CCall| |G-lazyForceImport| (|Lex| |Struct-fact-5-1-4| 4 |l1|)))
    |Lab2|
    (when
      (|CCall|
        (|Lex| |Struct-fact-5->-1| 1 |l1|)
        |P0-n|
        (|CCall| |G-lazyForceImport| (|Lex| |Struct-fact-5-1-4| 4 |l1|)))
      (go |Lab6|))
    (setq t1 |T0-res|)
    |Lab1|
    (block-return |C1-fact-fact| t1)
    |Lab6|
    (setq
      |T0-res|
      (|CCall| (|Lex| |Struct-fact-5-*-3| 3 |l1|) |T0-res| |P0-n|))
    (setq
      |P0-n|
      (|CCall|
        (|Lex| |Struct-fact-5---5| 5 |l1|)
        |P0-n|
        (|CCall| |G-lazyForceImport| (|Lex| |Struct-fact-5-1-4| 4 |l1|))))
    (go |Lab2|)
    |Lab0|
    (setq
      t1
      (|CCall| |G-lazyForceImport| (|Lex| |Struct-fact-5-1-4| 4 |l1|)))
    (go |Lab1|)))

(defprog
  ((|C2-fact-axextend-init| |Word|) ((|P0-idx| |SInt|) (|e1| |Env|)))
  ((|l1| |Level|))
  (setq |l1| (|EnvLevel| |e1|))
  (tagbody
    (when (|Lex| |Struct-fact-5--7| 7 |l1|) (go |Lab0|))
    (|SetLex| |Struct-fact-5--7| 7 |l1| (the |Bool| t))
    (|CCall| |G-axextend|)
    |Lab0|
    (block-return
      |C2-fact-axextend-init|
      |G-axextend_PositiveInteger_1026115927|)))

(setq |G-fact| (|Clos| nil |C0-fact-fact|))

(setq |G-fact_fact_024557424| nil)

(file-imports
  '((|G-axextend| "axextend" |initializer| "")
      (|G-stdGetWordWordRetWord0| "stdGetWordWordRetWord0" 0 "")
      (|G-rtDelayedGetExport!| "rtDelayedGetExport!" 0 "")
      (|G-lazyForceImport| "lazyForceImport" 0 "")
      (|G-lazyGetExport!| "lazyGetExport!" 0 "")
      (|G-rtLazyDomFrInit| "rtLazyDomFrInit" 0 "")
      (|G-axextend_PositiveInteger_1026115927|
        "PositiveInteger"
        1026115927
        "axextend")
      (|G-runtime| "runtime" |initializer| "")
      (|G-noOperation| "noOperation" 0 "")))

(file-exports
  '((|G-fact_fact_024557424| "fact" 24557424 "fact")
      (|G-fact| "fact" |initializer| "")))