let
unlock shared (id, scope) =
(get_scoped shared scope).unlock id