diff options
author | Aaron L. Zeng <me@bcc32.com> | 2021-11-18 10:49:43 -0500 |
---|---|---|
committer | Aaron L. Zeng <me@bcc32.com> | 2021-12-06 11:22:43 -0500 |
commit | 9532be1586c87a1d61dff3a1a2a86dd767a78779 (patch) | |
tree | 3d952a83a1fecb9d11088b30d6a7c892024dfe54 /parsing/parsetree.mli | |
parent | 0a077d2462e467ecd7f65dce7bcfc0ee518d1f8a (diff) | |
download | ocaml-9532be1586c87a1d61dff3a1a2a86dd767a78779.tar.gz |
Parsetree: add a comment with an example for module_substitution
Diffstat (limited to 'parsing/parsetree.mli')
-rw-r--r-- | parsing/parsetree.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index 017bede876..e806a16091 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -804,6 +804,7 @@ and module_substitution = pms_attributes: attributes; (* ... [@@id1] [@@id2] *) pms_loc: Location.t; } +(* S := M *) and module_type_declaration = { |