TacticBlockArgumentTacticUnit

gapt.proofs.gaptic.TacticCommands.TacticBlockArgumentTacticUnit

Attributes

Source
TacticCommands.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def handleTactic(tactic: Tactic[Unit]): Tactic[Unit]

Attributes

Definition Classes
Source
TacticCommands.scala

Inherited methods

inline def applyTactics[U](inline tacticsProof: => Tactic[U]): Tactic[Unit]

Attributes

Inherited from:
LemmaHelper
Source
macros.scala

Attributes

Inherited from:
TacticBlockArgument
Source
language.scala