let
unlock f =
let
m = the_model ()
in
m.model_locked <-
Iset
.remove f m.model_locked