/* ./tests/compiler_specific/transpiler/letlet.metta */
/* 2024-07-27T14:10:21+0000 */
:- style_check(-discontiguous). 
:- dynamic((spiler_letlet_1722089421_1927977)/2). 
:- dynamic((spiler_letlet_1722089421_1927977)/3). 
:- dynamic((spiler_letlet_1722089421_1927977)/4). 
:- dynamic((spiler_letlet_1722089421_1927977)/5). 
:- dynamic((spiler_letlet_1722089421_1927977)/6). 
:- dynamic((spiler_letlet_1722089421_1927977)/7). 
:- dynamic((spiler_letlet_1722089421_1927977_iz)/4). 
:- dynamic((spiler_letlet_1722089421_1927977_iz)/5). 
:- dynamic((spiler_letlet_1722089421_1927977_iz)/6). 
:- dynamic((spiler_letlet_1722089421_1927977_iz)/7). 
:- dynamic((spiler_letlet_1722089421_1927977_iz)/8). 
:- dynamic(user:asserted_metta_pred/2).
:- multifile(user:asserted_metta_pred/2).
user:asserted_metta_pred(spiler_letlet_1722089421_1927977,'./tests/compiler_specific/transpiler/letlet.metta'). 
spiler_letlet_1722089421_1927977(A,[:,B,[C,D]]):-spiler_letlet_1722089421_1927977_iz(A,B,C,D).
spiler_letlet_1722089421_1927977(A,[:,B,[C,D,E]]):-spiler_letlet_1722089421_1927977_iz(A,B,C,D,E).
spiler_letlet_1722089421_1927977(A,[:,B,[C,D,E,F]]):-spiler_letlet_1722089421_1927977_iz(A,B,C,D,E,F).
spiler_letlet_1722089421_1927977(A,[:,B,[C,D,E,F,G]]):-spiler_letlet_1722089421_1927977_iz(A,B,C,D,E,F,G).
spiler_letlet_1722089421_1927977(A,[:,B,[C,D,E,F,G,H]]):-spiler_letlet_1722089421_1927977_iz(A,B,C,D,E,F,G,H).
:-eval_Line([let,_T,[1.0,0.9],['let*',[[['$f1',_c1],_T]],['$f1',_c1]]],spiler_letlet_1722089421_1927977,1).