Concrete_ident.MakeViewAPI
module NP : NAME_POLICY
val show : t -> Prelude.string
val pp : Hax_engine.Prelude.Formatter.t -> t -> Prelude.unit
val to_definition_name : t -> Prelude.string
val to_crate_name : t -> Prelude.string
val to_namespace : t -> Prelude.string * Prelude.string Prelude.list
val local_ident : Local_ident.t -> Prelude.string