gapt
2.19.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.gaptic/TacticCommands/TacticBlockArgumentTacticUnit

TacticBlockArgumentTacticUnit

gapt.proofs.gaptic.TacticCommands.TacticBlockArgumentTacticUnit
class TacticBlockArgumentTacticUnit extends TacticBlockArgument[Tactic[Unit]]

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
def handleTacticBlock(block: ProofState => ProofState): Tactic[Unit]

Attributes

Inherited from:
TacticBlockArgument
Source
language.scala
Generated with