diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2013-04-24 14:54:58 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2013-04-24 14:54:58 +0000 |
commit | 2ad00ac0adda4f1896ab404e78f956c4222fc1bf (patch) | |
tree | 5791f34c59ca809184685fb41fcdee9ca969393b /stdlib | |
parent | b20679022a37d78a22df65023a434b1b54cfaba0 (diff) |
Exporting count_printing_arguments_of_format and add_int_index.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13605 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
-rw-r--r-- | stdlib/printf.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/printf.mli b/stdlib/printf.mli index d635225ac..463029b08 100644 --- a/stdlib/printf.mli +++ b/stdlib/printf.mli @@ -178,6 +178,7 @@ module CamlinternalPr : sig external unsafe_index_of_int : int -> index = "%identity";; val succ_index : index -> index;; + val add_int_index : int -> index -> index;; val sub : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> index -> int -> string;; val to_string : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> string;; @@ -201,6 +202,8 @@ module CamlinternalPr : sig };; val ac_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ac;; + val count_printing_arguments_of_format : + ('a, 'b, 'c, 'd, 'e, 'f) format6 -> int;; val sub_format : (('a, 'b, 'c, 'd, 'e, 'f) format6 -> int) -> |