Up
–
cooltt
»
Core
»
Tactic
» Var
Module
Tactic.Var
type
tac
val
prf :
D.cof
->
tac
val
con :
tac
->
D.con
val
syn :
tac
->
Syn.tac