summaryrefslogtreecommitdiff
path: root/parsing/parsetree.mli
diff options
context:
space:
mode:
authoroctachron <octa@polychoron.fr>2016-10-01 22:35:05 +0200
committeroctachron <octa@polychoron.fr>2017-10-04 13:05:05 +0200
commite30e82a2198d8649d773fbe346e4ba358f7cfef4 (patch)
treeb54e0c81c12e935df7dc86525f1e133e317b15d3 /parsing/parsetree.mli
parent03e1a93f0be8656226f139545b4ea85a55078cc4 (diff)
downloadocaml-e30e82a2198d8649d773fbe346e4ba358f7cfef4.tar.gz
PR#7363: start documentation headers at {1
Diffstat (limited to 'parsing/parsetree.mli')
-rw-r--r--parsing/parsetree.mli10
1 files changed, 5 insertions, 5 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli
index 13fd8de611..852a526b10 100644
--- a/parsing/parsetree.mli
+++ b/parsing/parsetree.mli
@@ -37,7 +37,7 @@ type constant =
Suffixes are rejected by the typechecker.
*)
-(** {2 Extension points} *)
+(** {1 Extension points} *)
type attribute = string loc * payload
(* [@id ARG]
@@ -62,7 +62,7 @@ and payload =
| PTyp of core_type (* : T *)
| PPat of pattern * expression option (* ? P or ? P when E *)
-(** {2 Core language} *)
+(** {1 Core language} *)
(* Type expressions *)
@@ -481,7 +481,7 @@ and extension_constructor_kind =
| C = D
*)
-(** {2 Class language} *)
+(** {1 Class language} *)
(* Type expressions for the class language *)
@@ -647,7 +647,7 @@ and class_field_kind =
and class_declaration = class_expr class_infos
-(** {2 Module language} *)
+(** {1 Module language} *)
(* Type expressions for the module language *)
@@ -858,7 +858,7 @@ and module_binding =
}
(* X = ME *)
-(** {2 Toplevel} *)
+(** {1 Toplevel} *)
(* Toplevel phrases *)