Type Alias hir_ty::Goal

source · 
pub type Goal = Goal<Interner>;

Aliased Type§

struct Goal { /* private fields */ }