DefaultViewAPI (hax-engine.Hax_engine.Concrete

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 to_namespace : t -> Prelude.string * Prelude.string Prelude.list

val local_ident : Local_ident.t -> Prelude.string