fact: Fixpoint gensym {A} {H : PreGensym A} (used : list A) : A := match used with | nil => sym_init | cons x xs => combine_symbols x (gensym xs) end.
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.Classes.RelationClasses Coq.Lists.List Coq.ZArith.ZArith Coq.Strings.String Coq.Strings.Ascii Fiat.Common.StringFacts