kdrag.smt.new_call

kdrag.smt.new_call(self, *args, **kwargs)

Implicit arguments are enabled. If you add an field of keyword names to a FuncDeclRef, you can leave them out and they will be filled in by metavariables

>>> f = Function("f", IntSort(), RealSort(), BoolSort(), IntSort())
>>> f.implicits = ["x", None, "y"]
>>> f(RealVal(1), y=BoolVal(True))
f(?x!..., 1, True)