- partition match lambda (p, xs). case xs of
- [] then ([], []);
- x' & xs' then let
- (ys, zs) match partition (p, xs')
- in if p x' then (x' & ys, zs) else (ys, x' & zs)
- end
+ partition (p, xs) = case xs of
+ [] then ([], []);
+ x' & xs' then let
+ (ys, zs) match partition (p, xs')
+ in if p x' then (x' & ys, zs) else (ys, x' & zs)
+ end