Concrete_ident.DefaultViewAPI
val show : T.t -> Prelude.string
val pp : Hax_engine.Prelude.Formatter.t -> T.t -> Prelude.unit
val render : T.t -> Hax_engine__Concrete_ident_render_sig.rendered
val local_ident : Local_ident.t -> Prelude.string