Lines Matching full:add_clause
1089 external add_clause : llvalue -> llvalue -> unit = "llvm_add_clause"