Skip to main content

rfl

logicaffeine_proof::tactic::combinators

Function rfl 

Source 
pub fn rfl() -> Tactic
Expand description

rfl (close t = t by reflexivity) as a tactic value.