Module Hax_engine.Concrete_ident_types

module type ExplicitDefId = sig ... end

An ExplicitDefId.t is a Rust Types.def_id tagged with some diambiguation metadata.

module ViewTypes : sig ... end