kdrag.smt.num\_args =================== .. currentmodule:: kdrag.smt .. autofunction:: num_args