let
get_init_linfo t = get_linfo
"Init_to_check_fun_deps"
(
Some
t, [
Linteger
])