summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_misc.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_misc.mli')
-rw-r--r--ocamldoc/odoc_misc.mli3
1 files changed, 3 insertions, 0 deletions
diff --git a/ocamldoc/odoc_misc.mli b/ocamldoc/odoc_misc.mli
index 4b211b3737..982def9db7 100644
--- a/ocamldoc/odoc_misc.mli
+++ b/ocamldoc/odoc_misc.mli
@@ -16,6 +16,9 @@
(** This function returns a file in the form of one string.*)
val input_file_as_string : string -> string
+(** [split_with_blanks s] splits the given string [s] according to blanks. *)
+val split_with_blanks : string -> string list
+
(** This function creates a string from a Longident.t .*)
val string_of_longident : Longident.t -> string