let
assign lv e p = try_or_bot (
W
.assign lv e) p