Type Definition PlaceholderIndex
Other items inra_ap_hir_ty
type PlaceholderIndex = PlaceholderIndex;