Module Concrete_ident.MakeViewAPI

Parameters

module NP : NAME_POLICY

Signature

val show : t -> Prelude.string
val pp : Hax_engine.Prelude.Formatter.t -> t -> Prelude.unit
val to_view : t -> view
val to_definition_name : t -> Prelude.string
val to_crate_name : t -> Prelude.string
val local_ident : Local_ident.t -> Prelude.string