let apply_function env def labels args =
    apply_hints env def labels ;
    let definition = get_definition compile_function def in
    let params = List.map (term env) args in
    let implicits = List.map (apply_closure env labels) definition.d_closure in
    F.e_call definition.d_callname (params @ implicits)