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.