TorchLean API
Docs Home
Guide
Examples
Graphs
Aesop
.
Forward
.
State
.
UpdateGoal
Search
Declaration colors
def
theorem
structure
axiom
return to top
source
Imports
Init
Aesop.Forward.State
Aesop.Tree.RunMetaM
Aesop.Tree.TreeM
Imported by
Aesop
.
GoalRef
.
updateForwardState
source
def
Aesop
.
GoalRef
.
updateForwardState
(
phase
:
PhaseName
)
(
gref
:
GoalRef
)
:
TreeM
Unit
Instances For