diff options
Diffstat (limited to 'contrib/extraction/ocaml.mli')
| -rw-r--r-- | contrib/extraction/ocaml.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/extraction/ocaml.mli b/contrib/extraction/ocaml.mli index 6cabfb7b7b..6a797d15b6 100644 --- a/contrib/extraction/ocaml.mli +++ b/contrib/extraction/ocaml.mli @@ -35,6 +35,8 @@ val uppercase_id : identifier -> identifier type env = identifier list * Idset.t val rename_vars: Idset.t -> identifier list -> env +val rename_tvars: + Idset.t -> identifier list -> identifier list * identifier Idmap.t val push_vars : identifier list -> env -> identifier list * env val get_db_name : int -> env -> identifier |