let apply_function env def labels args =
let definition = get_definition compile_function def in
let arguments = List.map (data_of_term env) args in
let bindings = apply_formals env labels definition.d_formals arguments in
F.e_call definition.d_callname bindings