summaryrefslogtreecommitdiff
path: root/parsing/ast_helper.mli
diff options
context:
space:
mode:
authorNick Barnes <nick@tarides.com>2023-05-02 21:16:12 +0100
committerNick Barnes <nick@tarides.com>2023-05-02 21:16:12 +0100
commitd3a5c923939a1fc03cc14c005d61210d8c3bd546 (patch)
tree5459de2b7b6cbaa1167d18224f1ea5d256e2f3f7 /parsing/ast_helper.mli
parentad111da274b58d82249f92b8c79ee252bf25525b (diff)
parent23dab79a4e42856aa33816b9c79c3d4d79959cb9 (diff)
downloadocaml-d3a5c923939a1fc03cc14c005d61210d8c3bd546.tar.gz
Merge branch 'trunk' into nick-get-copy
Diffstat (limited to 'parsing/ast_helper.mli')
-rw-r--r--parsing/ast_helper.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/ast_helper.mli b/parsing/ast_helper.mli
index f2ad365faf..e10ac8d153 100644
--- a/parsing/ast_helper.mli
+++ b/parsing/ast_helper.mli
@@ -369,7 +369,7 @@ module Incl:
module Vb:
sig
val mk: ?loc: loc -> ?attrs:attrs -> ?docs:docs -> ?text:text ->
- pattern -> expression -> value_binding
+ ?typ:poly_constraint -> pattern -> expression -> value_binding
end