% This file was automatically generated by mclp
module lists.
accumulate collp.
pi L:int\ ((tau (tid 0) (id 1) nul L)).
compound nul.
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((tau (cint) U1 V1 L)) => (pi U2\ (pi U2p\ (pi V2\ ( ((tau (tid 0) U2 V2 L)) => ((tau (tid 0) (capp (capp (id 2) U1) U2) ((new V1) V2) L)) )))) )))).
compound (new A2 A1).
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((tau (cint) U1 V1 L)) => ((tau (cint) (capp (id 3) U1) (sqr V1) L)) )))).
compound (sqr A1).
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((tau (cint) U1 V1 L)) => (pi U2\ (pi U2p\ (pi V2\ ( ((tau (cint) U2 V2 L)) => ((tau (cint) (capp (capp (id 4) U1) U2) ((plus V1) V2) L)) )))) )))).
compound (plus A2 A1).
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((tau (cint) U1 V1 L)) => (pi U2\ (pi U2p\ (pi V2\ ( ((tau (cint) U2 V2 L)) => ((tau (cint) (capp (capp (id 5) U1) U2) ((times V1) V2) L)) )))) )))).
compound (times A2 A1).
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((tau (tid 0) U1 V1 L)) => ((tau (cint) (capp (id 6) U1) (size V1) L)) )))).
compound (size A1).
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((((cabs U1p) = U1), (pi v2\ ( (pi M2:int\ (pi N2:int\ ( (N2 is (M2 - L)) => (tau (cint) (ind N2) v2 M2)))) => ( (L2 is (L + 1)), (tau (cint) U1p (V1 v2) L2)) )))) => (pi U2\ (pi U2p\ (pi V2\ ( ((tau (tid 0) U2 V2 L)) => ((tau (tid 0) (capp (capp (id 7) U1) U2) ((mapfn V1) V2) L)) )))) )))).
compound (mapfn A2 A1).
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((((cabs U1p) = U1), (pi v2\ ( (pi M2:int\ (pi N2:int\ ( (N2 is (M2 - L)) => (tau (cint) (ind N2) v2 M2)))) => ( (L2 is (L + 1)), (((cabs U1pp) = U1p), (pi v3\ ( (pi M3:int\ (pi N3:int\ ( (N3 is (M3 - L2)) => (tau (cint) (ind N3) v3 M3)))) => ( (L3 is (L2 + 1)), (tau (cint) U1pp ((V1 v2) v3) L3)) )))) )))) => (pi U2\ (pi U2p\ (pi V2\ ( ((tau (tid 0) U2 V2 L)) => ((tau (cint) (capp (capp (id 8) U1) U2) ((fold V1) V2) L)) )))) )))).
compound (fold A2 A1).