Searched refs:find_function (Results 1 – 4 of 4) sorted by relevance
81 (* find_function *)82 match ExecutionEngine.find_function "dne" ee with83 | Some _ -> raise (Failure "find_function 'dne' failed")86 match ExecutionEngine.find_function "plus" ee with87 | None -> raise (Failure "find_function 'plus' failed")
123 (** [find_function n ee] finds the function named [n] defined in any of the126 val find_function : string -> t -> Llvm.llvalue option val
71 external find_function: string -> t -> Llvm.llvalue option
31 def find_function(funcname, filename): function469 answer = find_function(item, fname)