Type Alias chalk_recursive::UCanonicalGoal

source ·
pub type UCanonicalGoal<I> = UCanonical<InEnvironment<Goal<I>>>;

Aliased Type§

struct UCanonicalGoal<I> {
    pub canonical: Canonical<InEnvironment<Goal<I>>>,
    pub universes: usize,
}

Fields§

§canonical: Canonical<InEnvironment<Goal<I>>>

The wrapped Canonical.

§universes: usize

The number of universes that have been collapsed.