Skip to main content

decide

logicaffeine_proof::tactic::combinators

Function decide 

Source 
pub fn decide() -> Tactic
Expand description

decide as a tactic value.