Concrete_ident_view (hax-engine.Hax_engine.Ast_utils.MakeWithNamePolicy.Concrete_ident

val show : Hax_engine__Concrete_ident.t -> Prelude.string

val pp : 
  Hax_engine.Prelude.Formatter.t ->
  Hax_engine__Concrete_ident.t ->
  Prelude.unit

val to_view : Hax_engine__Concrete_ident.t -> Hax_engine__Concrete_ident.view

val to_definition_name : Hax_engine__Concrete_ident.t -> Prelude.string

val to_crate_name : Hax_engine__Concrete_ident.t -> Prelude.string

val to_namespace : 
  Hax_engine__Concrete_ident.t ->
  Prelude.string * Prelude.string Prelude.list

val local_ident : Local_ident.t -> Prelude.string