diff options
Diffstat (limited to 'ocamldoc/odoc_misc.mli')
| -rw-r--r-- | ocamldoc/odoc_misc.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ocamldoc/odoc_misc.mli b/ocamldoc/odoc_misc.mli index c54481cf6..dd4730b97 100644 --- a/ocamldoc/odoc_misc.mli +++ b/ocamldoc/odoc_misc.mli @@ -88,3 +88,8 @@ val first_sentence_and_rest_of_text : Since the original list is sorted, elements whose name does not begin with a letter should be in the first returned list.*) val create_index_lists : 'a list -> ('a -> string) -> 'a list list + +(** Take a type and remove the option top constructor. This is + useful when printing labels, we we then remove the top option contructor + for optional labels.*) +val remove_option : Types.type_expr -> Types.type_expr |