Searched defs:add_clause (Results 1 – 2 of 2) sorted by relevance
122 def add_clause(datum, construct): function
2027 val add_clause : llvalue -> llvalue -> unit global() val