Implement end_borrow_get_borrow_in_env

1 files changed, 2 insertions, 0 deletions

diff --git a/src/Print.ml b/src/Print.ml
index 0240a307..874d19fb 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -26,7 +26,9 @@ module Types = struct
   (* TODO: This is probably not the most OCaml-like way of doing this *)
   type 'r type_formatter = {
     r_to_string : 'r -> string;
+    (* TODO: remove this and put the name everywhere instead? *)
     type_var_id_to_string : TypeVarId.id -> string;
+    (* TODO: remove this and put the name everywhere instead? *)
     type_def_id_to_string : TypeDefId.id -> string;
   }