summaryrefslogtreecommitdiff
path: root/toplevel
diff options
context:
space:
mode:
authorLeo White <leo@lpw25.net>2015-06-28 13:11:50 +0000
committerLeo White <leo@lpw25.net>2015-06-28 13:11:50 +0000
commit5c55e4cc0869436e544321ebdcc187df70ac7a82 (patch)
tree8b7980d665261230a916858022c2e41f78cebee7 /toplevel
parenta90f0e4c638ddf94e6b5bbfbd20b4ae2ddfa0c12 (diff)
downloadocaml-5c55e4cc0869436e544321ebdcc187df70ac7a82.tar.gz
Attach documentation comments to Parsetree
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16189 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
-rw-r--r--toplevel/genprintval.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/genprintval.mli b/toplevel/genprintval.mli
index 14659d62a2..1c2ec471b8 100644
--- a/toplevel/genprintval.mli
+++ b/toplevel/genprintval.mli
@@ -54,6 +54,7 @@ module type S =
unit
(** [install_generic_printer' function_path constructor_path printer]
function_path is used to remove the printer. *)
+
val remove_printer : Path.t -> unit
val outval_of_untyped_exception : t -> Outcometree.out_value
val outval_of_value :