let
add_depend_field ids f = add_depend_tau ids f.f_type