Type Definition UCanonicalGoal
chalk_recursive
type UCanonicalGoal<I> = UCanonical<InEnvironment<Goal<I>>>;