Type Definition ConstrainedSubst
Other items inra_ap_hir_ty
type ConstrainedSubst = ConstrainedSubst<Interner>;