View (hax-engine.Hax_engine.Generic

val show : Concrete_ident.t -> Prelude.string

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

val to_view : Concrete_ident.t -> Concrete_ident.view

val to_definition_name : Concrete_ident.t -> Prelude.string

val to_crate_name : Concrete_ident.t -> Prelude.string

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

val local_ident : Local_ident.t -> Prelude.string