Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2004-05-17 19:37:03 -0700 (Mon, 17 May 2004) Revision: 5787 Log message:
Use dest_params instead of (List.map dest_param) and similar constructs.