Searched defs:num_bind (Results 1 – 3 of 3) sorted by relevance
524 def __init__(self, label, num_bind=2, size_group=None, dep_key=None, tooltip=""): argument
2967 proof * ast_manager::mk_quant_inst(expr * not_q_or_i, unsigned num_bind, expr* const* binding) { in mk_quant_inst()
3045 proof * ast_manager::mk_quant_inst(expr * not_q_or_i, unsigned num_bind, expr* const* binding) { in mk_quant_inst()