gistfile1.txt

"Copyright (c) 2010-2015, Mark Tarver

All rights reserved.

Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:

1. Redistributions of source code must retain the above copyright notice,
this list of conditions and the following disclaimer.

2. Redistributions in binary form must reproduce the above copyright notice,
this list of conditions and the following disclaimer in the documentation
and/or other materials provided with the distribution.

3. Neither the name of the copyright holder nor the names of its contributors
may be used to endorse or promote products derived from this software without
specific prior written permission.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ''AS IS'' AND
ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
"

(defun shen.initialise-other () (do (set shen.*installing-kl* false) (do (set shen.*history* ()) (do (set shen.*tc* false) (do (set *property-vector* (shen.dict 20000)) (do (set shen.*process-counter* 0) (do (set shen.*varcounter* (vector 10000)) (do (set shen.*prologvectors* (vector 10000)) (do (set shen.*demodulation-function* (lambda X X)) (do (set shen.*macroreg* (cons shen.timer-macro (cons shen.cases-macro (cons shen.abs-macro (cons shen.put/get-macro (cons shen.compile-macro (cons shen.datatype-macro (cons shen.let-macro (cons shen.assoc-macro (cons shen.make-string-macro (cons shen.output-macro (cons shen.input-macro (cons shen.error-macro (cons shen.prolog-macro (cons shen.synonyms-macro (cons shen.nl-macro (cons shen.@s-macro (cons shen.defprolog-macro (cons shen.function-macro ()))))))))))))))))))) (do (set *macros* (cons (lambda X (shen.timer-macro X)) (cons (lambda X (shen.cases-macro X)) (cons (lambda X (shen.abs-macro X)) (cons (lambda X (shen.put/get-macro X)) (cons (lambda X (shen.compile-macro X)) (cons (lambda X (shen.datatype-macro X)) (cons (lambda X (shen.let-macro X)) (cons (lambda X (shen.assoc-macro X)) (cons (lambda X (shen.make-string-macro X)) (cons (lambda X (shen.output-macro X)) (cons (lambda X (shen.input-macro X)) (cons (lambda X (shen.error-macro X)) (cons (lambda X (shen.prolog-macro X)) (cons (lambda X (shen.synonyms-macro X)) (cons (lambda X (shen.nl-macro X)) (cons (lambda X (shen.@s-macro X)) (cons (lambda X (shen.defprolog-macro X)) (cons (lambda X (shen.function-macro X)) ()))))))))))))))))))) (do (set shen.*gensym* 0) (do (set shen.*tracking* ()) (do (set shen.*alphabet* (cons A (cons B (cons C (cons D (cons E (cons F (cons G (cons H (cons I (cons J (cons K (cons L (cons M (cons N (cons O (cons P (cons Q (cons R (cons S (cons T (cons U (cons V (cons W (cons X (cons Y (cons Z ()))))))))))))))))))))))))))) (do (set shen.*special* (cons @p (cons @s (cons @v (cons cons (cons lambda (cons let (cons where (cons set (cons open ())))))))))) (do (set shen.*extraspecial* (cons define (cons shen.process-datatype (cons input+ (cons defcc (cons shen.read+ (cons defmacro ()))))))) (do (set shen.*spy* false) (do (set shen.*datatypes* ()) (do (set shen.*alldatatypes* ()) (do (set shen.*shen-type-theory-enabled?* true) (do (set shen.*synonyms* ()) (do (set shen.*system* ()) (do (set shen.*maxcomplexity* 128) (do (set shen.*occurs* true) (do (set shen.*maxinferences* 1000000) (do (set *maximum-print-sequence-size* 20) (do (set shen.*catch* 0) (do (set shen.*call* 0) (do (set shen.*infs* 0) (do (set *hush* false) (do (set shen.*optimise* false) (do (set *version* "Shen 22.0") (do (if (not (bound? *home-directory*)) (set *home-directory* "") shen.skip) (do (if (not (bound? *sterror*)) (set *sterror* (value *stoutput*)) shen.skip) (do (shen.initialise_arity_table (cons abort (cons 0 (cons absvector? (cons 1 (cons absvector (cons 1 (cons adjoin (cons 2 (cons and (cons 2 (cons append (cons 2 (cons arity (cons 1 (cons assoc (cons 2 (cons boolean? (cons 1 (cons bound? (cons 1 (cons cd (cons 1 (cons close (cons 1 (cons compile (cons 3 (cons concat (cons 2 (cons cons (cons 2 (cons cons? (cons 1 (cons cn (cons 2 (cons declare (cons 2 (cons destroy (cons 1 (cons difference (cons 2 (cons do (cons 2 (cons element? (cons 2 (cons empty? (cons 1 (cons enable-type-theory (cons 1 (cons error-to-string (cons 1 (cons shen.interror (cons 2 (cons eval (cons 1 (cons eval-kl (cons 1 (cons explode (cons 1 (cons external (cons 1 (cons fail-if (cons 2 (cons fail (cons 0 (cons fix (cons 2 (cons findall (cons 5 (cons freeze (cons 1 (cons fst (cons 1 (cons gensym (cons 1 (cons get (cons 3 (cons get-time (cons 1 (cons address-> (cons 3 (cons <-address (cons 2 (cons <-vector (cons 2 (cons > (cons 2 (cons >= (cons 2 (cons = (cons 2 (cons hash (cons 2 (cons hd (cons 1 (cons hdv (cons 1 (cons hdstr (cons 1 (cons head (cons 1 (cons if (cons 3 (cons integer? (cons 1 (cons intern (cons 1 (cons identical (cons 4 (cons inferences (cons 0 (cons input (cons 1 (cons input+ (cons 2 (cons implementation (cons 0 (cons intersection (cons 2 (cons internal (cons 1 (cons it (cons 0 (cons kill (cons 0 (cons language (cons 0 (cons length (cons 1 (cons limit (cons 1 (cons lineread (cons 1 (cons load (cons 1 (cons < (cons 2 (cons <= (cons 2 (cons vector (cons 1 (cons macroexpand (cons 1 (cons map (cons 2 (cons mapcan (cons 2 (cons maxinferences (cons 1 (cons nl (cons 1 (cons not (cons 1 (cons nth (cons 2 (cons n->string (cons 1 (cons number? (cons 1 (cons occurs-check (cons 1 (cons occurrences (cons 2 (cons occurs-check (cons 1 (cons open (cons 2 (cons optimise (cons 1 (cons or (cons 2 (cons os (cons 0 (cons package (cons 3 (cons package? (cons 1 (cons port (cons 0 (cons porters (cons 0 (cons pos (cons 2 (cons print (cons 1 (cons profile (cons 1 (cons profile-results (cons 1 (cons pr (cons 2 (cons ps (cons 1 (cons preclude (cons 1 (cons preclude-all-but (cons 1 (cons protect (cons 1 (cons address-> (cons 3 (cons put (cons 4 (cons shen.reassemble (cons 2 (cons read-file-as-string (cons 1 (cons read-file (cons 1 (cons read-file-as-bytelist (cons 1 (cons read (cons 1 (cons read-byte (cons 1 (cons read-from-string (cons 1 (cons receive (cons 1 (cons release (cons 0 (cons remove (cons 2 (cons shen.require (cons 3 (cons reverse (cons 1 (cons set (cons 2 (cons simple-error (cons 1 (cons snd (cons 1 (cons specialise (cons 1 (cons spy (cons 1 (cons step (cons 1 (cons stinput (cons 0 (cons stoutput (cons 0 (cons sterror (cons 0 (cons string->n (cons 1 (cons string->symbol (cons 1 (cons string? (cons 1 (cons str (cons 1 (cons subst (cons 3 (cons sum (cons 1 (cons symbol? (cons 1 (cons systemf (cons 1 (cons tail (cons 1 (cons tl (cons 1 (cons tc (cons 1 (cons tc? (cons 0 (cons thaw (cons 1 (cons tlstr (cons 1 (cons track (cons 1 (cons trap-error (cons 2 (cons tuple? (cons 1 (cons type (cons 2 (cons return (cons 3 (cons undefmacro (cons 1 (cons unput (cons 3 (cons unprofile (cons 1 (cons unify (cons 4 (cons unify! (cons 4 (cons union (cons 2 (cons untrack (cons 1 (cons unspecialise (cons 1 (cons undefmacro (cons 1 (cons vector (cons 1 (cons vector? (cons 1 (cons vector-> (cons 3 (cons value (cons 1 (cons variable? (cons 1 (cons version (cons 0 (cons write-byte (cons 2 (cons write-to-file (cons 2 (cons y-or-n? (cons 1 (cons + (cons 2 (cons * (cons 2 (cons / (cons 2 (cons - (cons 2 (cons == (cons 2 (cons <e> (cons 1 (cons <!> (cons 1 (cons @p (cons 2 (cons @v (cons 2 (cons @s (cons 2 (cons preclude (cons 1 (cons include (cons 1 (cons preclude-all-but (cons 1 (cons include-all-but (cons 1 ()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (do (put (intern "shen") shen.external-symbols (cons ! (cons } (cons { (cons --> (cons <-- (cons && (cons : (cons ; (cons :- (cons := (cons _ (cons , (cons *language* (cons *implementation* (cons *stinput* (cons *stoutput* (cons *sterror* (cons *home-directory* (cons *version* (cons *maximum-print-sequence-size* (cons *macros* (cons *os* (cons *release* (cons *property-vector* (cons *port* (cons *porters* (cons *hush* (cons @v (cons @p (cons @s (cons <- (cons -> (cons <e> (cons <!> (cons == (cons = (cons >= (cons > (cons /. (cons =! (cons $ (cons - (cons / (cons * (cons + (cons <= (cons < (cons >> (cons y-or-n? (cons write-to-file (cons write-byte (cons where (cons when (cons warn (cons version (cons verified (cons variable? (cons value (cons vector-> (cons <-vector (cons vector (cons vector? (cons unspecialise (cons untrack (cons unit (cons shen.unix (cons union (cons unify (cons unify! (cons unput (cons unprofile (cons undefmacro (cons return (cons type (cons tuple? (cons true (cons trap-error (cons track (cons time (cons thaw (cons tc? (cons tc (cons tl (cons tlstr (cons tlv (cons tail (cons systemf (cons synonyms (cons symbol (cons symbol? (cons string->symbol (cons sum (cons subst (cons string? (cons string->n (cons stream (cons string (cons stinput (cons sterror (cons stoutput (cons step (cons spy (cons specialise (cons snd (cons simple-error (cons set (cons save (cons str (cons run (cons reverse (cons remove (cons release (cons read (cons receive (cons read-file (cons read-file-as-bytelist (cons read-file-as-string (cons read-byte (cons read-from-string (cons package? (cons put (cons preclude (cons preclude-all-but (cons ps (cons prolog? (cons protect (cons profile-results (cons profile (cons print (cons pr (cons pos (cons porters (cons port (cons package (cons output (cons out (cons os (cons or (cons optimise (cons open (cons occurrences (cons occurs-check (cons n->string (cons number? (cons number (cons null (cons nth (cons not (cons nl (cons mode (cons macroexpand (cons maxinferences (cons mapcan (cons map (cons make-string (cons load (cons loaded (cons list (cons lineread (cons limit (cons length (cons let (cons lazy (cons lambda (cons language (cons kill (cons is (cons intersection (cons inferences (cons intern (cons integer? (cons input (cons input+ (cons include (cons include-all-but (cons it (cons in (cons internal (cons implementation (cons if (cons identical (cons head (cons hd (cons hdv (cons hdstr (cons hash (cons get (cons get-time (cons gensym (cons function (cons fst (cons freeze (cons fix (cons file (cons fail (cons fail-if (cons fwhen (cons findall (cons false (cons enable-type-theory (cons explode (cons external (cons exception (cons eval-kl (cons eval (cons error-to-string (cons error (cons empty? (cons element? (cons do (cons difference (cons destroy (cons defun (cons define (cons defmacro (cons defcc (cons defprolog (cons declare (cons datatype (cons cut (cons cn (cons cons? (cons cons (cons cond (cons concat (cons compile (cons cd (cons cases (cons call (cons close (cons bind (cons bound? (cons boolean? (cons boolean (cons bar! (cons assoc (cons arity (cons abort (cons append (cons and (cons adjoin (cons <-address (cons address-> (cons absvector? (cons absvector ()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (value *property-vector*)) (do (set shen.*history* ()) (do (set shen.*step* false) (set shen.*empty-absvector* (absvector 0))))))))))))))))))))))))))))))))))))))))

(defun shen.initialise-signedfuncs () (do (set shen.*signedfuncs* ()) (do (set shen.*signedfuncs* (cons (cons absvector? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons adjoin (cons A (cons --> (cons (cons (cons list (cons A ())) (cons --> (cons (cons list (cons A ())) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons and (cons boolean (cons --> (cons (cons boolean (cons --> (cons boolean ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons shen.app (cons A (cons --> (cons (cons string (cons --> (cons (cons symbol (cons --> (cons string ()))) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons append (cons (cons list (cons A ())) (cons --> (cons (cons (cons list (cons A ())) (cons --> (cons (cons list (cons A ())) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons arity (cons A (cons --> (cons number ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons assoc (cons A (cons --> (cons (cons (cons list (cons (cons list (cons A ())) ())) (cons --> (cons (cons list (cons A ())) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons boolean? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons bound? (cons symbol (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons cd (cons string (cons --> (cons string ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons close (cons (cons stream (cons A ())) (cons --> (cons (cons list (cons B ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons cn (cons string (cons --> (cons (cons string (cons --> (cons string ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons compile (cons (cons A (cons shen.==> (cons B ()))) (cons --> (cons (cons A (cons --> (cons (cons (cons A (cons --> (cons B ()))) (cons --> (cons B ()))) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons cons? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons destroy (cons (cons A (cons --> (cons B ()))) (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons difference (cons (cons list (cons A ())) (cons --> (cons (cons (cons list (cons A ())) (cons --> (cons (cons list (cons A ())) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons do (cons A (cons --> (cons (cons B (cons --> (cons B ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons <e> (cons (cons list (cons A ())) (cons shen.==> (cons (cons list (cons B ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons <!> (cons (cons list (cons A ())) (cons shen.==> (cons (cons list (cons A ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons element? (cons A (cons --> (cons (cons (cons list (cons A ())) (cons --> (cons boolean ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons empty? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons enable-type-theory (cons symbol (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons external (cons symbol (cons --> (cons (cons list (cons symbol ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons error-to-string (cons exception (cons --> (cons string ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons explode (cons A (cons --> (cons (cons list (cons string ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons fail (cons --> (cons symbol ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons fail-if (cons (cons symbol (cons --> (cons boolean ()))) (cons --> (cons (cons symbol (cons --> (cons symbol ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons fix (cons (cons A (cons --> (cons A ()))) (cons --> (cons (cons A (cons --> (cons A ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons freeze (cons A (cons --> (cons (cons lazy (cons A ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons fst (cons (cons A (cons * (cons B ()))) (cons --> (cons A ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons function (cons (cons A (cons --> (cons B ()))) (cons --> (cons (cons A (cons --> (cons B ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons gensym (cons symbol (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons <-vector (cons (cons vector (cons A ())) (cons --> (cons (cons number (cons --> (cons A ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons vector-> (cons (cons vector (cons A ())) (cons --> (cons (cons number (cons --> (cons (cons A (cons --> (cons (cons vector (cons A ())) ()))) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons vector (cons number (cons --> (cons (cons vector (cons A ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons get-time (cons symbol (cons --> (cons number ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons hash (cons A (cons --> (cons (cons number (cons --> (cons number ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons head (cons (cons list (cons A ())) (cons --> (cons A ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons hdv (cons (cons vector (cons A ())) (cons --> (cons A ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons hdstr (cons string (cons --> (cons string ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons if (cons boolean (cons --> (cons (cons A (cons --> (cons (cons A (cons --> (cons A ()))) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons it (cons --> (cons string ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons implementation (cons --> (cons string ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons include (cons (cons list (cons symbol ())) (cons --> (cons (cons list (cons symbol ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons include-all-but (cons (cons list (cons symbol ())) (cons --> (cons (cons list (cons symbol ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons inferences (cons --> (cons number ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons shen.insert (cons A (cons --> (cons (cons string (cons --> (cons string ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons integer? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons internal (cons symbol (cons --> (cons (cons list (cons symbol ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons intersection (cons (cons list (cons A ())) (cons --> (cons (cons (cons list (cons A ())) (cons --> (cons (cons list (cons A ())) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons kill (cons --> (cons A ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons language (cons --> (cons string ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons length (cons (cons list (cons A ())) (cons --> (cons number ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons limit (cons (cons vector (cons A ())) (cons --> (cons number ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons load (cons string (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons map (cons (cons A (cons --> (cons B ()))) (cons --> (cons (cons (cons list (cons A ())) (cons --> (cons (cons list (cons B ())) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons mapcan (cons (cons A (cons --> (cons (cons list (cons B ())) ()))) (cons --> (cons (cons (cons list (cons A ())) (cons --> (cons (cons list (cons B ())) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons maxinferences (cons number (cons --> (cons number ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons n->string (cons number (cons --> (cons string ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons nl (cons number (cons --> (cons number ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons not (cons boolean (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons nth (cons number (cons --> (cons (cons (cons list (cons A ())) (cons --> (cons A ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons number? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons occurrences (cons A (cons --> (cons (cons B (cons --> (cons number ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons occurs-check (cons symbol (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons optimise (cons symbol (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons or (cons boolean (cons --> (cons (cons boolean (cons --> (cons boolean ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons os (cons --> (cons string ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons package? (cons symbol (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons port (cons --> (cons string ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons porters (cons --> (cons string ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons pos (cons string (cons --> (cons (cons number (cons --> (cons string ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons pr (cons string (cons --> (cons (cons (cons stream (cons out ())) (cons --> (cons string ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons print (cons A (cons --> (cons A ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons profile (cons (cons A (cons --> (cons B ()))) (cons --> (cons (cons A (cons --> (cons B ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons preclude (cons (cons list (cons symbol ())) (cons --> (cons (cons list (cons symbol ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons shen.proc-nl (cons string (cons --> (cons string ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons profile-results (cons (cons A (cons --> (cons B ()))) (cons --> (cons (cons (cons A (cons --> (cons B ()))) (cons * (cons number ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons protect (cons symbol (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons preclude-all-but (cons (cons list (cons symbol ())) (cons --> (cons (cons list (cons symbol ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons shen.prhush (cons string (cons --> (cons (cons (cons stream (cons out ())) (cons --> (cons string ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons ps (cons symbol (cons --> (cons (cons list (cons unit ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons read (cons (cons stream (cons in ())) (cons --> (cons unit ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons read-byte (cons (cons stream (cons in ())) (cons --> (cons number ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons read-file-as-bytelist (cons string (cons --> (cons (cons list (cons number ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons read-file-as-string (cons string (cons --> (cons string ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons read-file (cons string (cons --> (cons (cons list (cons unit ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons read-from-string (cons string (cons --> (cons (cons list (cons unit ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons release (cons --> (cons string ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons remove (cons A (cons --> (cons (cons (cons list (cons A ())) (cons --> (cons (cons list (cons A ())) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons reverse (cons (cons list (cons A ())) (cons --> (cons (cons list (cons A ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons simple-error (cons string (cons --> (cons A ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons snd (cons (cons A (cons * (cons B ()))) (cons --> (cons B ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons specialise (cons symbol (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons spy (cons symbol (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons step (cons symbol (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons stinput (cons --> (cons (cons stream (cons in ())) ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons sterror (cons --> (cons (cons stream (cons out ())) ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons stoutput (cons --> (cons (cons stream (cons out ())) ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons string? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons str (cons A (cons --> (cons string ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons string->n (cons string (cons --> (cons number ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons string->symbol (cons string (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons sum (cons (cons list (cons number ())) (cons --> (cons number ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons symbol? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons systemf (cons symbol (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons tail (cons (cons list (cons A ())) (cons --> (cons (cons list (cons A ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons tlstr (cons string (cons --> (cons string ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons tlv (cons (cons vector (cons A ())) (cons --> (cons (cons vector (cons A ())) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons tc (cons symbol (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons tc? (cons --> (cons boolean ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons thaw (cons (cons lazy (cons A ())) (cons --> (cons A ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons track (cons symbol (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons trap-error (cons A (cons --> (cons (cons (cons exception (cons --> (cons A ()))) (cons --> (cons A ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons tuple? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons undefmacro (cons symbol (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons union (cons (cons list (cons A ())) (cons --> (cons (cons (cons list (cons A ())) (cons --> (cons (cons list (cons A ())) ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons unprofile (cons (cons A (cons --> (cons B ()))) (cons --> (cons (cons A (cons --> (cons B ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons untrack (cons symbol (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons unspecialise (cons symbol (cons --> (cons symbol ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons variable? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons vector? (cons A (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons version (cons --> (cons string ()))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons write-to-file (cons string (cons --> (cons (cons A (cons --> (cons A ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons write-byte (cons number (cons --> (cons (cons (cons stream (cons out ())) (cons --> (cons number ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons y-or-n? (cons string (cons --> (cons boolean ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons > (cons number (cons --> (cons (cons number (cons --> (cons boolean ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons < (cons number (cons --> (cons (cons number (cons --> (cons boolean ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons >= (cons number (cons --> (cons (cons number (cons --> (cons boolean ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons <= (cons number (cons --> (cons (cons number (cons --> (cons boolean ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons = (cons A (cons --> (cons (cons A (cons --> (cons boolean ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons + (cons number (cons --> (cons (cons number (cons --> (cons number ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons / (cons number (cons --> (cons (cons number (cons --> (cons number ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons - (cons number (cons --> (cons (cons number (cons --> (cons number ()))) ())))) (value shen.*signedfuncs*))) (do (set shen.*signedfuncs* (cons (cons * (cons number (cons --> (cons (cons number (cons --> (cons number ()))) ())))) (value shen.*signedfuncs*))) (set shen.*signedfuncs* (cons (cons == (cons A (cons --> (cons (cons B (cons --> (cons boolean ()))) ())))) (value shen.*signedfuncs*))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

(defun shen.initialise-signedfunc-lambda-forms () (do (shen.set-lambda-form-entry (cons shen.type-signature-of-absvector? (lambda V4369 (lambda V4370 (lambda V4371 (shen.type-signature-of-absvector? V4369 V4370 V4371)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-adjoin (lambda V4379 (lambda V4380 (lambda V4381 (shen.type-signature-of-adjoin V4379 V4380 V4381)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-and (lambda V4389 (lambda V4390 (lambda V4391 (shen.type-signature-of-and V4389 V4390 V4391)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-shen.app (lambda V4399 (lambda V4400 (lambda V4401 (shen.type-signature-of-shen.app V4399 V4400 V4401)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-append (lambda V4409 (lambda V4410 (lambda V4411 (shen.type-signature-of-append V4409 V4410 V4411)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-arity (lambda V4419 (lambda V4420 (lambda V4421 (shen.type-signature-of-arity V4419 V4420 V4421)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-assoc (lambda V4429 (lambda V4430 (lambda V4431 (shen.type-signature-of-assoc V4429 V4430 V4431)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-boolean? (lambda V4439 (lambda V4440 (lambda V4441 (shen.type-signature-of-boolean? V4439 V4440 V4441)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-bound? (lambda V4449 (lambda V4450 (lambda V4451 (shen.type-signature-of-bound? V4449 V4450 V4451)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-cd (lambda V4459 (lambda V4460 (lambda V4461 (shen.type-signature-of-cd V4459 V4460 V4461)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-close (lambda V4469 (lambda V4470 (lambda V4471 (shen.type-signature-of-close V4469 V4470 V4471)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-cn (lambda V4479 (lambda V4480 (lambda V4481 (shen.type-signature-of-cn V4479 V4480 V4481)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-compile (lambda V4489 (lambda V4490 (lambda V4491 (shen.type-signature-of-compile V4489 V4490 V4491)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-cons? (lambda V4499 (lambda V4500 (lambda V4501 (shen.type-signature-of-cons? V4499 V4500 V4501)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-destroy (lambda V4509 (lambda V4510 (lambda V4511 (shen.type-signature-of-destroy V4509 V4510 V4511)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-difference (lambda V4519 (lambda V4520 (lambda V4521 (shen.type-signature-of-difference V4519 V4520 V4521)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-do (lambda V4529 (lambda V4530 (lambda V4531 (shen.type-signature-of-do V4529 V4530 V4531)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-<e> (lambda V4539 (lambda V4540 (lambda V4541 (shen.type-signature-of-<e> V4539 V4540 V4541)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-<!> (lambda V4549 (lambda V4550 (lambda V4551 (shen.type-signature-of-<!> V4549 V4550 V4551)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-element? (lambda V4559 (lambda V4560 (lambda V4561 (shen.type-signature-of-element? V4559 V4560 V4561)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-empty? (lambda V4569 (lambda V4570 (lambda V4571 (shen.type-signature-of-empty? V4569 V4570 V4571)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-enable-type-theory (lambda V4579 (lambda V4580 (lambda V4581 (shen.type-signature-of-enable-type-theory V4579 V4580 V4581)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-external (lambda V4589 (lambda V4590 (lambda V4591 (shen.type-signature-of-external V4589 V4590 V4591)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-error-to-string (lambda V4599 (lambda V4600 (lambda V4601 (shen.type-signature-of-error-to-string V4599 V4600 V4601)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-explode (lambda V4609 (lambda V4610 (lambda V4611 (shen.type-signature-of-explode V4609 V4610 V4611)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-fail (lambda V4619 (lambda V4620 (lambda V4621 (shen.type-signature-of-fail V4619 V4620 V4621)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-fail-if (lambda V4629 (lambda V4630 (lambda V4631 (shen.type-signature-of-fail-if V4629 V4630 V4631)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-fix (lambda V4639 (lambda V4640 (lambda V4641 (shen.type-signature-of-fix V4639 V4640 V4641)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-freeze (lambda V4649 (lambda V4650 (lambda V4651 (shen.type-signature-of-freeze V4649 V4650 V4651)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-fst (lambda V4659 (lambda V4660 (lambda V4661 (shen.type-signature-of-fst V4659 V4660 V4661)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-function (lambda V4669 (lambda V4670 (lambda V4671 (shen.type-signature-of-function V4669 V4670 V4671)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-gensym (lambda V4679 (lambda V4680 (lambda V4681 (shen.type-signature-of-gensym V4679 V4680 V4681)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-<-vector (lambda V4689 (lambda V4690 (lambda V4691 (shen.type-signature-of-<-vector V4689 V4690 V4691)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-vector-> (lambda V4699 (lambda V4700 (lambda V4701 (shen.type-signature-of-vector-> V4699 V4700 V4701)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-vector (lambda V4709 (lambda V4710 (lambda V4711 (shen.type-signature-of-vector V4709 V4710 V4711)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-get-time (lambda V4719 (lambda V4720 (lambda V4721 (shen.type-signature-of-get-time V4719 V4720 V4721)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-hash (lambda V4729 (lambda V4730 (lambda V4731 (shen.type-signature-of-hash V4729 V4730 V4731)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-head (lambda V4739 (lambda V4740 (lambda V4741 (shen.type-signature-of-head V4739 V4740 V4741)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-hdv (lambda V4749 (lambda V4750 (lambda V4751 (shen.type-signature-of-hdv V4749 V4750 V4751)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-hdstr (lambda V4759 (lambda V4760 (lambda V4761 (shen.type-signature-of-hdstr V4759 V4760 V4761)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-if (lambda V4769 (lambda V4770 (lambda V4771 (shen.type-signature-of-if V4769 V4770 V4771)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-it (lambda V4779 (lambda V4780 (lambda V4781 (shen.type-signature-of-it V4779 V4780 V4781)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-implementation (lambda V4789 (lambda V4790 (lambda V4791 (shen.type-signature-of-implementation V4789 V4790 V4791)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-include (lambda V4799 (lambda V4800 (lambda V4801 (shen.type-signature-of-include V4799 V4800 V4801)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-include-all-but (lambda V4809 (lambda V4810 (lambda V4811 (shen.type-signature-of-include-all-but V4809 V4810 V4811)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-inferences (lambda V4819 (lambda V4820 (lambda V4821 (shen.type-signature-of-inferences V4819 V4820 V4821)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-shen.insert (lambda V4829 (lambda V4830 (lambda V4831 (shen.type-signature-of-shen.insert V4829 V4830 V4831)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-integer? (lambda V4839 (lambda V4840 (lambda V4841 (shen.type-signature-of-integer? V4839 V4840 V4841)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-internal (lambda V4849 (lambda V4850 (lambda V4851 (shen.type-signature-of-internal V4849 V4850 V4851)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-intersection (lambda V4859 (lambda V4860 (lambda V4861 (shen.type-signature-of-intersection V4859 V4860 V4861)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-kill (lambda V4869 (lambda V4870 (lambda V4871 (shen.type-signature-of-kill V4869 V4870 V4871)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-language (lambda V4879 (lambda V4880 (lambda V4881 (shen.type-signature-of-language V4879 V4880 V4881)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-length (lambda V4889 (lambda V4890 (lambda V4891 (shen.type-signature-of-length V4889 V4890 V4891)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-limit (lambda V4899 (lambda V4900 (lambda V4901 (shen.type-signature-of-limit V4899 V4900 V4901)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-load (lambda V4909 (lambda V4910 (lambda V4911 (shen.type-signature-of-load V4909 V4910 V4911)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-map (lambda V4919 (lambda V4920 (lambda V4921 (shen.type-signature-of-map V4919 V4920 V4921)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-mapcan (lambda V4929 (lambda V4930 (lambda V4931 (shen.type-signature-of-mapcan V4929 V4930 V4931)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-maxinferences (lambda V4939 (lambda V4940 (lambda V4941 (shen.type-signature-of-maxinferences V4939 V4940 V4941)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-n->string (lambda V4949 (lambda V4950 (lambda V4951 (shen.type-signature-of-n->string V4949 V4950 V4951)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-nl (lambda V4959 (lambda V4960 (lambda V4961 (shen.type-signature-of-nl V4959 V4960 V4961)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-not (lambda V4969 (lambda V4970 (lambda V4971 (shen.type-signature-of-not V4969 V4970 V4971)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-nth (lambda V4979 (lambda V4980 (lambda V4981 (shen.type-signature-of-nth V4979 V4980 V4981)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-number? (lambda V4989 (lambda V4990 (lambda V4991 (shen.type-signature-of-number? V4989 V4990 V4991)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-occurrences (lambda V4999 (lambda V5000 (lambda V5001 (shen.type-signature-of-occurrences V4999 V5000 V5001)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-occurs-check (lambda V5009 (lambda V5010 (lambda V5011 (shen.type-signature-of-occurs-check V5009 V5010 V5011)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-optimise (lambda V5019 (lambda V5020 (lambda V5021 (shen.type-signature-of-optimise V5019 V5020 V5021)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-or (lambda V5029 (lambda V5030 (lambda V5031 (shen.type-signature-of-or V5029 V5030 V5031)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-os (lambda V5039 (lambda V5040 (lambda V5041 (shen.type-signature-of-os V5039 V5040 V5041)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-package? (lambda V5049 (lambda V5050 (lambda V5051 (shen.type-signature-of-package? V5049 V5050 V5051)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-port (lambda V5059 (lambda V5060 (lambda V5061 (shen.type-signature-of-port V5059 V5060 V5061)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-porters (lambda V5069 (lambda V5070 (lambda V5071 (shen.type-signature-of-porters V5069 V5070 V5071)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-pos (lambda V5079 (lambda V5080 (lambda V5081 (shen.type-signature-of-pos V5079 V5080 V5081)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-pr (lambda V5089 (lambda V5090 (lambda V5091 (shen.type-signature-of-pr V5089 V5090 V5091)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-print (lambda V5099 (lambda V5100 (lambda V5101 (shen.type-signature-of-print V5099 V5100 V5101)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-profile (lambda V5109 (lambda V5110 (lambda V5111 (shen.type-signature-of-profile V5109 V5110 V5111)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-preclude (lambda V5119 (lambda V5120 (lambda V5121 (shen.type-signature-of-preclude V5119 V5120 V5121)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-shen.proc-nl (lambda V5129 (lambda V5130 (lambda V5131 (shen.type-signature-of-shen.proc-nl V5129 V5130 V5131)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-profile-results (lambda V5139 (lambda V5140 (lambda V5141 (shen.type-signature-of-profile-results V5139 V5140 V5141)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-protect (lambda V5149 (lambda V5150 (lambda V5151 (shen.type-signature-of-protect V5149 V5150 V5151)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-preclude-all-but (lambda V5159 (lambda V5160 (lambda V5161 (shen.type-signature-of-preclude-all-but V5159 V5160 V5161)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-shen.prhush (lambda V5169 (lambda V5170 (lambda V5171 (shen.type-signature-of-shen.prhush V5169 V5170 V5171)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-ps (lambda V5179 (lambda V5180 (lambda V5181 (shen.type-signature-of-ps V5179 V5180 V5181)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-read (lambda V5189 (lambda V5190 (lambda V5191 (shen.type-signature-of-read V5189 V5190 V5191)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-read-byte (lambda V5199 (lambda V5200 (lambda V5201 (shen.type-signature-of-read-byte V5199 V5200 V5201)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-read-file-as-bytelist (lambda V5209 (lambda V5210 (lambda V5211 (shen.type-signature-of-read-file-as-bytelist V5209 V5210 V5211)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-read-file-as-string (lambda V5219 (lambda V5220 (lambda V5221 (shen.type-signature-of-read-file-as-string V5219 V5220 V5221)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-read-file (lambda V5229 (lambda V5230 (lambda V5231 (shen.type-signature-of-read-file V5229 V5230 V5231)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-read-from-string (lambda V5239 (lambda V5240 (lambda V5241 (shen.type-signature-of-read-from-string V5239 V5240 V5241)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-release (lambda V5249 (lambda V5250 (lambda V5251 (shen.type-signature-of-release V5249 V5250 V5251)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-remove (lambda V5259 (lambda V5260 (lambda V5261 (shen.type-signature-of-remove V5259 V5260 V5261)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-reverse (lambda V5269 (lambda V5270 (lambda V5271 (shen.type-signature-of-reverse V5269 V5270 V5271)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-simple-error (lambda V5279 (lambda V5280 (lambda V5281 (shen.type-signature-of-simple-error V5279 V5280 V5281)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-snd (lambda V5289 (lambda V5290 (lambda V5291 (shen.type-signature-of-snd V5289 V5290 V5291)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-specialise (lambda V5299 (lambda V5300 (lambda V5301 (shen.type-signature-of-specialise V5299 V5300 V5301)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-spy (lambda V5309 (lambda V5310 (lambda V5311 (shen.type-signature-of-spy V5309 V5310 V5311)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-step (lambda V5319 (lambda V5320 (lambda V5321 (shen.type-signature-of-step V5319 V5320 V5321)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-stinput (lambda V5329 (lambda V5330 (lambda V5331 (shen.type-signature-of-stinput V5329 V5330 V5331)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-sterror (lambda V5339 (lambda V5340 (lambda V5341 (shen.type-signature-of-sterror V5339 V5340 V5341)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-stoutput (lambda V5349 (lambda V5350 (lambda V5351 (shen.type-signature-of-stoutput V5349 V5350 V5351)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-string? (lambda V5359 (lambda V5360 (lambda V5361 (shen.type-signature-of-string? V5359 V5360 V5361)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-str (lambda V5369 (lambda V5370 (lambda V5371 (shen.type-signature-of-str V5369 V5370 V5371)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-string->n (lambda V5379 (lambda V5380 (lambda V5381 (shen.type-signature-of-string->n V5379 V5380 V5381)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-string->symbol (lambda V5389 (lambda V5390 (lambda V5391 (shen.type-signature-of-string->symbol V5389 V5390 V5391)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-sum (lambda V5399 (lambda V5400 (lambda V5401 (shen.type-signature-of-sum V5399 V5400 V5401)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-symbol? (lambda V5409 (lambda V5410 (lambda V5411 (shen.type-signature-of-symbol? V5409 V5410 V5411)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-systemf (lambda V5419 (lambda V5420 (lambda V5421 (shen.type-signature-of-systemf V5419 V5420 V5421)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-tail (lambda V5429 (lambda V5430 (lambda V5431 (shen.type-signature-of-tail V5429 V5430 V5431)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-tlstr (lambda V5439 (lambda V5440 (lambda V5441 (shen.type-signature-of-tlstr V5439 V5440 V5441)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-tlv (lambda V5449 (lambda V5450 (lambda V5451 (shen.type-signature-of-tlv V5449 V5450 V5451)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-tc (lambda V5459 (lambda V5460 (lambda V5461 (shen.type-signature-of-tc V5459 V5460 V5461)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-tc? (lambda V5469 (lambda V5470 (lambda V5471 (shen.type-signature-of-tc? V5469 V5470 V5471)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-thaw (lambda V5479 (lambda V5480 (lambda V5481 (shen.type-signature-of-thaw V5479 V5480 V5481)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-track (lambda V5489 (lambda V5490 (lambda V5491 (shen.type-signature-of-track V5489 V5490 V5491)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-trap-error (lambda V5499 (lambda V5500 (lambda V5501 (shen.type-signature-of-trap-error V5499 V5500 V5501)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-tuple? (lambda V5509 (lambda V5510 (lambda V5511 (shen.type-signature-of-tuple? V5509 V5510 V5511)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-undefmacro (lambda V5519 (lambda V5520 (lambda V5521 (shen.type-signature-of-undefmacro V5519 V5520 V5521)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-union (lambda V5529 (lambda V5530 (lambda V5531 (shen.type-signature-of-union V5529 V5530 V5531)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-unprofile (lambda V5539 (lambda V5540 (lambda V5541 (shen.type-signature-of-unprofile V5539 V5540 V5541)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-untrack (lambda V5549 (lambda V5550 (lambda V5551 (shen.type-signature-of-untrack V5549 V5550 V5551)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-unspecialise (lambda V5559 (lambda V5560 (lambda V5561 (shen.type-signature-of-unspecialise V5559 V5560 V5561)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-variable? (lambda V5569 (lambda V5570 (lambda V5571 (shen.type-signature-of-variable? V5569 V5570 V5571)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-vector? (lambda V5579 (lambda V5580 (lambda V5581 (shen.type-signature-of-vector? V5579 V5580 V5581)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-version (lambda V5589 (lambda V5590 (lambda V5591 (shen.type-signature-of-version V5589 V5590 V5591)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-write-to-file (lambda V5599 (lambda V5600 (lambda V5601 (shen.type-signature-of-write-to-file V5599 V5600 V5601)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-write-byte (lambda V5609 (lambda V5610 (lambda V5611 (shen.type-signature-of-write-byte V5609 V5610 V5611)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-y-or-n? (lambda V5619 (lambda V5620 (lambda V5621 (shen.type-signature-of-y-or-n? V5619 V5620 V5621)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-> (lambda V5629 (lambda V5630 (lambda V5631 (shen.type-signature-of-> V5629 V5630 V5631)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-< (lambda V5639 (lambda V5640 (lambda V5641 (shen.type-signature-of-< V5639 V5640 V5641)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of->= (lambda V5649 (lambda V5650 (lambda V5651 (shen.type-signature-of->= V5649 V5650 V5651)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-<= (lambda V5659 (lambda V5660 (lambda V5661 (shen.type-signature-of-<= V5659 V5660 V5661)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-= (lambda V5669 (lambda V5670 (lambda V5671 (shen.type-signature-of-= V5669 V5670 V5671)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-+ (lambda V5679 (lambda V5680 (lambda V5681 (shen.type-signature-of-+ V5679 V5680 V5681)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-/ (lambda V5689 (lambda V5690 (lambda V5691 (shen.type-signature-of-/ V5689 V5690 V5691)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-- (lambda V5699 (lambda V5700 (lambda V5701 (shen.type-signature-of-- V5699 V5700 V5701)))))) (do (shen.set-lambda-form-entry (cons shen.type-signature-of-* (lambda V5709 (lambda V5710 (lambda V5711 (shen.type-signature-of-* V5709 V5710 V5711)))))) (shen.set-lambda-form-entry (cons shen.type-signature-of-== (lambda V5719 (lambda V5720 (lambda V5721 (shen.type-signature-of-== V5719 V5720 V5721))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

(defun shen.initialise-lambda-forms () (do (shen.set-lambda-form-entry (cons shen.datatype-error (lambda X (shen.datatype-error X)))) (do (shen.set-lambda-form-entry (cons shen.tuple (lambda X (shen.tuple X)))) (do (shen.set-lambda-form-entry (cons shen.pvar (lambda X (shen.pvar X)))) (do (shen.set-lambda-form-entry (cons shen.dictionary (lambda X (shen.dictionary X)))) (do (shen.set-lambda-form-entry (cons @v (lambda V1606 (lambda V1607 (@v V1606 V1607))))) (do (shen.set-lambda-form-entry (cons @p (lambda V1608 (lambda V1609 (@p V1608 V1609))))) (do (shen.set-lambda-form-entry (cons @s (lambda V1610 (lambda V1611 (@s V1610 V1611))))) (do (shen.set-lambda-form-entry (cons <e> (lambda V1612 (<e> V1612)))) (do (shen.set-lambda-form-entry (cons <!> (lambda V1613 (<!> V1613)))) (do (shen.set-lambda-form-entry (cons == (lambda V1614 (lambda V1615 (== V1614 V1615))))) (do (shen.set-lambda-form-entry (cons = (lambda V1616 (lambda V1617 (= V1616 V1617))))) (do (shen.set-lambda-form-entry (cons >= (lambda V1618 (lambda V1619 (>= V1618 V1619))))) (do (shen.set-lambda-form-entry (cons > (lambda V1620 (lambda V1621 (> V1620 V1621))))) (do (shen.set-lambda-form-entry (cons - (lambda V1622 (lambda V1623 (- V1622 V1623))))) (do (shen.set-lambda-form-entry (cons / (lambda V1624 (lambda V1625 (/ V1624 V1625))))) (do (shen.set-lambda-form-entry (cons * (lambda V1626 (lambda V1627 (* V1626 V1627))))) (do (shen.set-lambda-form-entry (cons + (lambda V1628 (lambda V1629 (+ V1628 V1629))))) (do (shen.set-lambda-form-entry (cons <= (lambda V1630 (lambda V1631 (<= V1630 V1631))))) (do (shen.set-lambda-form-entry (cons < (lambda V1632 (lambda V1633 (< V1632 V1633))))) (do (shen.set-lambda-form-entry (cons y-or-n? (lambda V1634 (y-or-n? V1634)))) (do (shen.set-lambda-form-entry (cons write-to-file (lambda V1635 (lambda V1636 (write-to-file V1635 V1636))))) (do (shen.set-lambda-form-entry (cons write-byte (lambda V1637 (lambda V1638 (write-byte V1637 V1638))))) (do (shen.set-lambda-form-entry (cons variable? (lambda V1639 (variable? V1639)))) (do (shen.set-lambda-form-entry (cons value (lambda V1640 (value V1640)))) (do (shen.set-lambda-form-entry (cons vector-> (lambda V1641 (lambda V1642 (lambda V1643 (vector-> V1641 V1642 V1643)))))) (do (shen.set-lambda-form-entry (cons <-vector (lambda V1644 (lambda V1645 (<-vector V1644 V1645))))) (do (shen.set-lambda-form-entry (cons vector (lambda V1646 (vector V1646)))) (do (shen.set-lambda-form-entry (cons vector? (lambda V1647 (vector? V1647)))) (do (shen.set-lambda-form-entry (cons unspecialise (lambda V1648 (unspecialise V1648)))) (do (shen.set-lambda-form-entry (cons untrack (lambda V1649 (untrack V1649)))) (do (shen.set-lambda-form-entry (cons union (lambda V1650 (lambda V1651 (union V1650 V1651))))) (do (shen.set-lambda-form-entry (cons unify (lambda V1652 (lambda V1653 (lambda V1654 (lambda V1655 (unify V1652 V1653 V1654 V1655))))))) (do (shen.set-lambda-form-entry (cons unify! (lambda V1656 (lambda V1657 (lambda V1658 (lambda V1659 (unify! V1656 V1657 V1658 V1659))))))) (do (shen.set-lambda-form-entry (cons unput (lambda V1660 (lambda V1661 (lambda V1662 (unput V1660 V1661 V1662)))))) (do (shen.set-lambda-form-entry (cons unprofile (lambda V1663 (unprofile V1663)))) (do (shen.set-lambda-form-entry (cons undefmacro (lambda V1664 (undefmacro V1664)))) (do (shen.set-lambda-form-entry (cons return (lambda V1665 (lambda V1666 (lambda V1667 (return V1665 V1666 V1667)))))) (do (shen.set-lambda-form-entry (cons type (lambda V1668 (lambda V1669 (type V1668 V1669))))) (do (shen.set-lambda-form-entry (cons tuple? (lambda V1670 (tuple? V1670)))) (do (shen.set-lambda-form-entry (cons trap-error (lambda V1671 (lambda V1672 (trap-error V1671 V1672))))) (do (shen.set-lambda-form-entry (cons track (lambda V1673 (track V1673)))) (do (shen.set-lambda-form-entry (cons thaw (lambda V1674 (thaw V1674)))) (do (shen.set-lambda-form-entry (cons tc (lambda V1675 (tc V1675)))) (do (shen.set-lambda-form-entry (cons tl (lambda V1676 (tl V1676)))) (do (shen.set-lambda-form-entry (cons tlstr (lambda V1677 (tlstr V1677)))) (do (shen.set-lambda-form-entry (cons tail (lambda V1678 (tail V1678)))) (do (shen.set-lambda-form-entry (cons systemf (lambda V1679 (systemf V1679)))) (do (shen.set-lambda-form-entry (cons symbol? (lambda V1680 (symbol? V1680)))) (do (shen.set-lambda-form-entry (cons string->symbol (lambda V1681 (string->symbol V1681)))) (do (shen.set-lambda-form-entry (cons sum (lambda V1682 (sum V1682)))) (do (shen.set-lambda-form-entry (cons subst (lambda V1683 (lambda V1684 (lambda V1685 (subst V1683 V1684 V1685)))))) (do (shen.set-lambda-form-entry (cons string? (lambda V1686 (string? V1686)))) (do (shen.set-lambda-form-entry (cons string->n (lambda V1687 (string->n V1687)))) (do (shen.set-lambda-form-entry (cons step (lambda V1688 (step V1688)))) (do (shen.set-lambda-form-entry (cons spy (lambda V1689 (spy V1689)))) (do (shen.set-lambda-form-entry (cons specialise (lambda V1690 (specialise V1690)))) (do (shen.set-lambda-form-entry (cons snd (lambda V1691 (snd V1691)))) (do (shen.set-lambda-form-entry (cons simple-error (lambda V1692 (simple-error V1692)))) (do (shen.set-lambda-form-entry (cons set (lambda V1693 (lambda V1694 (set V1693 V1694))))) (do (shen.set-lambda-form-entry (cons str (lambda V1695 (str V1695)))) (do (shen.set-lambda-form-entry (cons reverse (lambda V1696 (reverse V1696)))) (do (shen.set-lambda-form-entry (cons remove (lambda V1697 (lambda V1698 (remove V1697 V1698))))) (do (shen.set-lambda-form-entry (cons read (lambda V1699 (read V1699)))) (do (shen.set-lambda-form-entry (cons read-file (lambda V1700 (read-file V1700)))) (do (shen.set-lambda-form-entry (cons read-file-as-bytelist (lambda V1701 (read-file-as-bytelist V1701)))) (do (shen.set-lambda-form-entry (cons read-file-as-string (lambda V1702 (read-file-as-string V1702)))) (do (shen.set-lambda-form-entry (cons read-byte (lambda V1703 (read-byte V1703)))) (do (shen.set-lambda-form-entry (cons read-from-string (lambda V1704 (read-from-string V1704)))) (do (shen.set-lambda-form-entry (cons package? (lambda V1705 (package? V1705)))) (do (shen.set-lambda-form-entry (cons put (lambda V1706 (lambda V1707 (lambda V1708 (lambda V1709 (put V1706 V1707 V1708 V1709))))))) (do (shen.set-lambda-form-entry (cons preclude (lambda V1710 (preclude V1710)))) (do (shen.set-lambda-form-entry (cons preclude-all-but (lambda V1711 (preclude-all-but V1711)))) (do (shen.set-lambda-form-entry (cons ps (lambda V1712 (ps V1712)))) (do (shen.set-lambda-form-entry (cons protect (lambda V1713 (protect V1713)))) (do (shen.set-lambda-form-entry (cons profile-results (lambda V1714 (profile-results V1714)))) (do (shen.set-lambda-form-entry (cons profile (lambda V1715 (profile V1715)))) (do (shen.set-lambda-form-entry (cons print (lambda V1716 (print V1716)))) (do (shen.set-lambda-form-entry (cons pr (lambda V1717 (lambda V1718 (pr V1717 V1718))))) (do (shen.set-lambda-form-entry (cons pos (lambda V1719 (lambda V1720 (pos V1719 V1720))))) (do (shen.set-lambda-form-entry (cons or (lambda V1721 (lambda V1722 (or V1721 V1722))))) (do (shen.set-lambda-form-entry (cons optimise (lambda V1723 (optimise V1723)))) (do (shen.set-lambda-form-entry (cons open (lambda V1724 (lambda V1725 (open V1724 V1725))))) (do (shen.set-lambda-form-entry (cons occurrences (lambda V1726 (lambda V1727 (occurrences V1726 V1727))))) (do (shen.set-lambda-form-entry (cons occurs-check (lambda V1728 (occurs-check V1728)))) (do (shen.set-lambda-form-entry (cons n->string (lambda V1729 (n->string V1729)))) (do (shen.set-lambda-form-entry (cons number? (lambda V1730 (number? V1730)))) (do (shen.set-lambda-form-entry (cons nth (lambda V1731 (lambda V1732 (nth V1731 V1732))))) (do (shen.set-lambda-form-entry (cons not (lambda V1733 (not V1733)))) (do (shen.set-lambda-form-entry (cons nl (lambda V1734 (nl V1734)))) (do (shen.set-lambda-form-entry (cons macroexpand (lambda V1735 (macroexpand V1735)))) (do (shen.set-lambda-form-entry (cons maxinferences (lambda V1736 (maxinferences V1736)))) (do (shen.set-lambda-form-entry (cons mapcan (lambda V1737 (lambda V1738 (mapcan V1737 V1738))))) (do (shen.set-lambda-form-entry (cons map (lambda V1739 (lambda V1740 (map V1739 V1740))))) (do (shen.set-lambda-form-entry (cons load (lambda V1741 (load V1741)))) (do (shen.set-lambda-form-entry (cons lineread (lambda V1742 (lineread V1742)))) (do (shen.set-lambda-form-entry (cons limit (lambda V1743 (limit V1743)))) (do (shen.set-lambda-form-entry (cons length (lambda V1744 (length V1744)))) (do (shen.set-lambda-form-entry (cons intersection (lambda V1745 (lambda V1746 (intersection V1745 V1746))))) (do (shen.set-lambda-form-entry (cons intern (lambda V1747 (intern V1747)))) (do (shen.set-lambda-form-entry (cons integer? (lambda V1748 (integer? V1748)))) (do (shen.set-lambda-form-entry (cons input (lambda V1749 (input V1749)))) (do (shen.set-lambda-form-entry (cons input+ (lambda V1750 (lambda V1751 (input+ V1750 V1751))))) (do (shen.set-lambda-form-entry (cons include (lambda V1752 (include V1752)))) (do (shen.set-lambda-form-entry (cons include-all-but (lambda V1753 (include-all-but V1753)))) (do (shen.set-lambda-form-entry (cons internal (lambda V1754 (internal V1754)))) (do (shen.set-lambda-form-entry (cons if (lambda V1755 (lambda V1756 (lambda V1757 (if V1755 V1756 V1757)))))) (do (shen.set-lambda-form-entry (cons identical (lambda V1758 (lambda V1759 (lambda V1760 (lambda V1761 (identical V1758 V1759 V1760 V1761))))))) (do (shen.set-lambda-form-entry (cons head (lambda V1762 (head V1762)))) (do (shen.set-lambda-form-entry (cons hd (lambda V1763 (hd V1763)))) (do (shen.set-lambda-form-entry (cons hdv (lambda V1764 (hdv V1764)))) (do (shen.set-lambda-form-entry (cons hdstr (lambda V1765 (hdstr V1765)))) (do (shen.set-lambda-form-entry (cons hash (lambda V1766 (lambda V1767 (hash V1766 V1767))))) (do (shen.set-lambda-form-entry (cons get (lambda V1768 (lambda V1769 (lambda V1770 (get V1768 V1769 V1770)))))) (do (shen.set-lambda-form-entry (cons get-time (lambda V1771 (get-time V1771)))) (do (shen.set-lambda-form-entry (cons gensym (lambda V1772 (gensym V1772)))) (do (shen.set-lambda-form-entry (cons fst (lambda V1773 (fst V1773)))) (do (shen.set-lambda-form-entry (cons freeze (lambda V1774 (freeze V1774)))) (do (shen.set-lambda-form-entry (cons fix (lambda V1775 (lambda V1776 (fix V1775 V1776))))) (do (shen.set-lambda-form-entry (cons fail-if (lambda V1777 (lambda V1778 (fail-if V1777 V1778))))) (do (shen.set-lambda-form-entry (cons findall (lambda V1779 (lambda V1780 (lambda V1781 (lambda V1782 (lambda V1783 (findall V1779 V1780 V1781 V1782 V1783)))))))) (do (shen.set-lambda-form-entry (cons enable-type-theory (lambda V1784 (enable-type-theory V1784)))) (do (shen.set-lambda-form-entry (cons explode (lambda V1785 (explode V1785)))) (do (shen.set-lambda-form-entry (cons external (lambda V1786 (external V1786)))) (do (shen.set-lambda-form-entry (cons eval-kl (lambda V1787 (eval-kl V1787)))) (do (shen.set-lambda-form-entry (cons eval (lambda V1788 (eval V1788)))) (do (shen.set-lambda-form-entry (cons error-to-string (lambda V1789 (error-to-string V1789)))) (do (shen.set-lambda-form-entry (cons empty? (lambda V1790 (empty? V1790)))) (do (shen.set-lambda-form-entry (cons element? (lambda V1791 (lambda V1792 (element? V1791 V1792))))) (do (shen.set-lambda-form-entry (cons do (lambda V1793 (lambda V1794 (do V1793 V1794))))) (do (shen.set-lambda-form-entry (cons difference (lambda V1795 (lambda V1796 (difference V1795 V1796))))) (do (shen.set-lambda-form-entry (cons destroy (lambda V1797 (destroy V1797)))) (do (shen.set-lambda-form-entry (cons declare (lambda V1798 (lambda V1799 (declare V1798 V1799))))) (do (shen.set-lambda-form-entry (cons cn (lambda V1800 (lambda V1801 (cn V1800 V1801))))) (do (shen.set-lambda-form-entry (cons cons? (lambda V1802 (cons? V1802)))) (do (shen.set-lambda-form-entry (cons cons (lambda V1803 (lambda V1804 (cons V1803 V1804))))) (do (shen.set-lambda-form-entry (cons concat (lambda V1805 (lambda V1806 (concat V1805 V1806))))) (do (shen.set-lambda-form-entry (cons compile (lambda V1807 (lambda V1808 (lambda V1809 (compile V1807 V1808 V1809)))))) (do (shen.set-lambda-form-entry (cons cd (lambda V1810 (cd V1810)))) (do (shen.set-lambda-form-entry (cons close (lambda V1811 (close V1811)))) (do (shen.set-lambda-form-entry (cons bound? (lambda V1812 (bound? V1812)))) (do (shen.set-lambda-form-entry (cons boolean? (lambda V1813 (boolean? V1813)))) (do (shen.set-lambda-form-entry (cons assoc (lambda V1814 (lambda V1815 (assoc V1814 V1815))))) (do (shen.set-lambda-form-entry (cons arity (lambda V1816 (arity V1816)))) (do (shen.set-lambda-form-entry (cons append (lambda V1817 (lambda V1818 (append V1817 V1818))))) (do (shen.set-lambda-form-entry (cons and (lambda V1819 (lambda V1820 (and V1819 V1820))))) (do (shen.set-lambda-form-entry (cons adjoin (lambda V1821 (lambda V1822 (adjoin V1821 V1822))))) (do (shen.set-lambda-form-entry (cons <-address (lambda V1823 (lambda V1824 (<-address V1823 V1824))))) (do (shen.set-lambda-form-entry (cons address-> (lambda V1825 (lambda V1826 (lambda V1827 (address-> V1825 V1826 V1827)))))) (do (shen.set-lambda-form-entry (cons absvector? (lambda V1828 (absvector? V1828)))) (shen.set-lambda-form-entry (cons absvector (lambda V1829 (absvector V1829))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

(defun shen.initialise () (do (shen.initialise-other) (do (shen.initialise-lambda-forms) (do (shen.initialise-signedfunc-lambda-forms) (shen.initialise-signedfuncs)))))