Type Definition chalk_solve::recursive::lib::UCanonicalGoal

type UCanonicalGoal<I> = UCanonical<InEnvironment<Goal<I>>>;