let compute kf stmt lv =
match !Db.Scope.get_defs kf stmt lv with
| None -> clear (); "[show_def] nothing found..."
| Some (defs, undef) ->
let msg = match undef with
| None -> "[show_def] computed"
| Some undef ->
Pretty_utils.sfprintf "[show_def] notice that %a %s"
pretty_zone undef
"can be undefined by this function at this point"
in
ShowDefState.set defs; msg