Searched refs:create_module (Results 1 – 4 of 4) sorted by relevance
134 options = [create_module, add_top_level_decl]138 def create_module(model, options): function
429 external create_module : llcontext -> string -> llmodule = "llvm_create_module"
497 (** [create_module context id] creates a module with the supplied module ID in501 val create_module : llcontext -> string -> llmodule val
1524 fun:create_module=uninstrumented