pa_lists.ml

   1: let expr_list loc l =
   2:   List.fold_right 
   3:     (fun head tail -> <:expr< [ $head$ :: $tail$ ] >>)
   4:     l
   5:     <:expr< [] >>
   6: 
   7: 
   8: EXTEND
   9:   Pcaml.expr: [
  10:     [ "LIST"; l = LIST0 Pcaml.expr LEVEL "." -> expr_list loc l ]
  11:   ];
  12: END;;

This document was generated using caml2html