diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-05-25 16:06:47 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-05-25 16:06:47 +0200 |
commit | 4ad6dbef69f9fd4cb1b55efc252d67325068e6b1 (patch) | |
tree | 0c2c1f2310cf5751a2f97f29a0bfd5a8295d1da2 /interp/stdarg.mli | |
parent | 48d56f49b1db47f393ef3e0f31d1b22adf497afa (diff) | |
parent | 5c5f7c8d6a6ed8cbb99b12dde09fdbcc30ca8ab9 (diff) |
Merge PR#637: Short cleaning of the interpretation path for constr_with_bindings
Diffstat (limited to 'interp/stdarg.mli')
-rw-r--r-- | interp/stdarg.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/interp/stdarg.mli b/interp/stdarg.mli index 6a98ee64d..be876504e 100644 --- a/interp/stdarg.mli +++ b/interp/stdarg.mli @@ -59,6 +59,11 @@ val wit_constr_with_bindings : glob_constr_and_expr with_bindings, constr with_bindings delayed_open) genarg_type +val wit_open_constr_with_bindings : + (constr_expr with_bindings, + glob_constr_and_expr with_bindings, + constr with_bindings delayed_open) genarg_type + val wit_bindings : (constr_expr bindings, glob_constr_and_expr bindings, |