let
fun_deps_visible fm_kf t = term_visible fm_kf t.it_content