View (hax-engine.Hax_engine.Deprecated_generic

val show : Concrete_ident.T.t -> Prelude.string

val pp : Hax_engine.Prelude.Formatter.t -> Concrete_ident.T.t -> Prelude.unit

val render : 
  Concrete_ident.T.t ->
  Hax_engine__Concrete_ident_render_sig.rendered

val local_ident : Local_ident.t -> Prelude.string