Type Definition chalk_recursive::UCanonicalGoal

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