Function z3_sys::Z3_tactic_skip [−][src]
pub unsafe extern "C" fn Z3_tactic_skip(c: Z3_context) -> Z3_tacticExpand description
Return a tactic that just return the given goal.
pub unsafe extern "C" fn Z3_tactic_skip(c: Z3_context) -> Z3_tacticReturn a tactic that just return the given goal.