Type Alias hir_ty::ProgramClauseData

pub type ProgramClauseData = ProgramClauseData<Interner>;

Aliased Type

struct ProgramClauseData(pub Binders<ProgramClauseImplication<Interner>>);

Fields

0: Binders<ProgramClauseImplication<Interner>>