Skip to main content

Module refinement_key

Module refinement_key 

Source

Structs§

RefinementKey

Type Aliases§

DefId
DefId is a NotNull<const Def>, which in Rust is represented as a non-null raw pointer to a Def.