this repo has no description
www.jonmsterling.com/01HC/
jonmsterling.com
1// SPDX-FileCopyrightText: 2025 The Project Pterodactyl Developers
2//
3// SPDX-License-Identifier: MPL-2.0
4
5extension Value {
6 func whnf() async -> Value {
7 switch self {
8 case .fun, .record : self
9 case let .shift(neutral: neutral): await neutral.boundary.value().value ?? self
10 }
11 }
12}