chickadee » sequences-utils » reduce

reduce F SEED SEQprocedure
SEQ
sequence ; sequence to reduce.
F
('a 'a -> 'a) ;
SEED
'a ; initial value.
=?
binary-predicate ; equality predicate, default is equal?.