Make minor modifications

1 files changed, 6 insertions, 0 deletions

diff --git a/src/TranslateCore.ml b/src/TranslateCore.ml
index 9dcbee02..e1a24e10 100644
--- a/src/TranslateCore.ml
+++ b/src/TranslateCore.ml
@@ -20,6 +20,12 @@ let type_def_to_string (ctx : trans_ctx) (def : Pure.type_def) : string =
   let fmt = PrintPure.mk_type_formatter type_defs type_params in
   PrintPure.type_def_to_string fmt def
 
+let type_id_to_string (ctx : trans_ctx) (def : Pure.type_def) : string =
+  let type_params = def.type_params in
+  let type_defs = ctx.type_context.type_defs in
+  let fmt = PrintPure.mk_type_formatter type_defs type_params in
+  PrintPure.type_def_to_string fmt def
+
 let fun_sig_to_string (ctx : trans_ctx) (sg : Pure.fun_sig) : string =
   let type_params = sg.type_params in
   let type_defs = ctx.type_context.type_defs in