Type Definition chalk_recursive::UCanonicalGoal[−][src]

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