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