Skip to main content
exact
logicaffeine_
proof
0.10.1
In logicaffeine_
proof::
tactic::
combinators
logicaffeine_proof
::
tactic
::
combinators
Function
exact
Copy item path
Source
pub fn exact(name: &
str
) ->
Tactic
Expand description
exact name
as a tactic value.