hir_ty

Type Alias ProgramClauseData

source 
pub type ProgramClauseData = ProgramClauseData<Interner>;

Aliased Type§

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

Fields§

§0: Binders<ProgramClauseImplication<Interner>>