Make minor modifications to the variable names generation

1 files changed, 5 insertions, 0 deletions

diff --git a/src/Names.ml b/src/Names.ml
index 41177c37..5785d06f 100644
--- a/src/Names.ml
+++ b/src/Names.ml
@@ -60,3 +60,8 @@ let filter_disambiguators_zero (n : name) : name =
     match pe with Ident _ -> true | Disambiguator d -> d <> Disambiguator.zero
   in
   List.filter pred n
+
+let as_ident (pe : path_elem) : string =
+  match pe with
+  | Ident s -> s
+  | Disambiguator _ -> raise (Failure "Improper variant")