This commit is contained in:
Emile Clark-Boman 2026-02-09 13:36:20 +10:00
parent 08e59dae76
commit f1d4d7f3d6

View file

@ -34,5 +34,5 @@ in rec {
# Lift a value out of the Terminal context.
unwrapTerminal = T:
assert enfIsTerminal T "unwrapTerminal";
T._value_;
T._value;
}