3 --================================================================================
6 `{PrelBase.Eval (Pair a{-r4b-} b{-r4c-})}'
8 _/\_ `a{-s1NX-}' `b{-s1NY-}' ->
11 `{PrelBase.Eval (LList alpha{-r49-})}'
13 _/\_ `alpha{-s1NZ-}' ->
16 `{PrelBase.Eval (Tree x{-r46-})}'
21 `{PrelBase.Eval (A a{-r44-})}'
26 `a{-r4b-} -> b{-r4c-} -> Pair a{-r4b-} b{-r4c-}'
28 _/\_ `a{-s1NI-}' `b{-s1NJ-}' -> \ `tpl' ::
34 {_@_ `a{-s1NI-}' _@_ `b{-s1NJ-}' `tpl' `tpl'}
36 `a{-r44-} -> A a{-r44-} -> A a{-r44-}'
38 _/\_ `a{-s1NK-}' -> \ `tpl' ::
44 {_@_ `a{-s1NK-}' `tpl' `tpl'}
58 _/\_ `alpha{-s1NL-}' ->
62 `alpha{-r49-} -> LList alpha{-r49-} -> LList alpha{-r49-}'
64 _/\_ `alpha{-s1NM-}' -> \ `tpl' ::
70 {_@_ `alpha{-s1NM-}' `tpl' `tpl'}
73 `LList a{-aHq-} -> LList a{-aHq-} -> LList a{-aHq-}'
75 _/\_ `a{-s1NN-}' -> \ `xs' ::
89 _@_ `a{-s1NN-}' `zs' `ys'
92 {_@_ `a{-s1NN-}' `z' `ds'};
97 `Tree (Pair a{-aHT-} b{-aHU-}) -> LList a{-aHT-}'
99 _/\_ `b{-s1NQ-}' `a{-s1NP-}' -> \ `s' ::
100 `Tree (Pair a{-s1NP-} b{-s1NQ-})'
104 case `ds' of { `MkPair' `a' `b' ->
113 {_@_ `a{-s1NP-}' `a' `ds'};};
117 _@_ `b{-s1NQ-}' _@_ `a{-s1NP-}' `l'
125 _@_ `b{-s1NQ-}' _@_ `a{-s1NP-}' `r'
128 _@_ `a{-s1NP-}' `ds' `ds';};
145 `x{-r46-} -> Tree x{-r46-}'
147 _/\_ `x{-s1NU-}' -> \ `tpl' ::
151 {_@_ `x{-s1NU-}' `tpl'}
153 `Tree x{-r46-} -> Tree x{-r46-} -> Tree x{-r46-}'
155 _/\_ `x{-s1NV-}' -> \ `tpl' ::
161 {_@_ `x{-s1NV-}' `tpl' `tpl'}
163 `{PrelBase.Eval Boolean}'
167 `{PrelBase.Eval Nat}'
174 {_@_ `Boolean' _@_ `Nat' `TT' `Zero'}
176 `Tree (Pair Boolean Nat)'
179 {_@_ (`Pair' `Boolean' `Nat') `s1h2'}
184 _@_ `Nat' _@_ `Boolean' `s1h7'
186 `Boolean -> LList Boolean'