diff options
| author | No author <no_author@ocaml.org> | 2003-12-01 00:27:30 +0000 |
|---|---|---|
| committer | No author <no_author@ocaml.org> | 2003-12-01 00:27:30 +0000 |
| commit | bbc1c339f4b0de238e8024fb632ecb30bcc686de (patch) | |
| tree | 0615819bbabbe4ae4195a43751c5f892199e9527 /camlp4/ocaml_src/lib/extfold.mli | |
| parent | e0d554119941c6fd0852feee85681bd3e5feb1ad (diff) | |
| download | ocaml-bbc1c339f4b0de238e8024fb632ecb30bcc686de.tar.gz | |
This commit was manufactured by cvs2svn to create branch 'newoolab'.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/newoolab@5988 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/ocaml_src/lib/extfold.mli')
| -rw-r--r-- | camlp4/ocaml_src/lib/extfold.mli | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/camlp4/ocaml_src/lib/extfold.mli b/camlp4/ocaml_src/lib/extfold.mli deleted file mode 100644 index cb2824fb1d..0000000000 --- a/camlp4/ocaml_src/lib/extfold.mli +++ /dev/null @@ -1,24 +0,0 @@ -(* camlp4r *) -(* This file has been generated by program: do not edit! *) - -type ('te, 'a, 'b) t = - 'te Gramext.g_entry -> 'te Gramext.g_symbol list -> ('te Stream.t -> 'a) -> - 'te Stream.t -> 'b -;; - -type ('te, 'a, 'b) tsep = - 'te Gramext.g_entry -> 'te Gramext.g_symbol list -> ('te Stream.t -> 'a) -> - ('te Stream.t -> unit) -> 'te Stream.t -> 'b -;; - -val sfold0 : ('a -> 'b -> 'b) -> 'b -> (_, 'a, 'b) t;; -val sfold1 : ('a -> 'b -> 'b) -> 'b -> (_, 'a, 'b) t;; -val sfold0sep : ('a -> 'b -> 'b) -> 'b -> (_, 'a, 'b) tsep;; -val sfold1sep : ('a -> 'b -> 'b) -> 'b -> (_, 'a, 'b) tsep;; - -val slist0 : (_, 'a, 'a list) t;; -val slist1 : (_, 'a, 'a list) t;; -val slist0sep : (_, 'a, 'a list) tsep;; -val slist1sep : (_, 'a, 'a list) tsep;; - -val sopt : (_, 'a, 'a option) t;; |