diff options
author | octachron <octa@polychoron.fr> | 2021-01-13 10:24:40 +0100 |
---|---|---|
committer | octachron <octa@polychoron.fr> | 2021-02-17 16:46:32 +0100 |
commit | 4b3fb5d6f29cc14434fa0a58c59cd38adc27ac1b (patch) | |
tree | 8002572c90bc2860acb021b08e8cbecf74e0b7e2 /parsing/parsetree.mli | |
parent | 2c3bf12ec373702263c66166e2a983e9f7b17262 (diff) | |
download | ocaml-4b3fb5d6f29cc14434fa0a58c59cd38adc27ac1b.tar.gz |
module type S := ...: core
Diffstat (limited to 'parsing/parsetree.mli')
-rw-r--r-- | parsing/parsetree.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index 8337c289b3..8137de7470 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -769,6 +769,8 @@ and signature_item_desc = | Psig_modtype of module_type_declaration (* module type S = MT module type S *) + | Psig_modtypesubst of module_type_declaration + (* module type S := ... *) | Psig_open of open_description (* open X *) | Psig_include of include_description |