Skip to main content

omega

logicaffeine_proof::tactic::combinators

Function omega 

Source 
pub fn omega() -> Tactic
Expand description

omega as a tactic value.