let
lock f =
let
m = the_model ()
in
m.model_locked <-
Iset
.add f m.model_locked