Type Alias Goal

pub type Goal<'db, P> = Goal<DbInterner<'db>, P>;

Aliased Type

pub struct Goal<'db, P> {
    pub param_env: ParamEnv<'db>,
    pub predicate: P,
}

Fields

param_env: ParamEnv<'db>

predicate: P