/fold_left.hpp/1.2/Sun Apr 25 07:46:48 2004//
/fold_right.hpp/1.2/Sun Apr 25 07:46:48 2004//
D/edg////
