let resolv_function_type t = match t.ct_ty with Tfunction(at,var,rt) -> rt, at, var | _ -> raise (Type_Error_local "invoking non function")