Up
–
rocq-runtime
»
Ltac_plugin
»
Tacarg
» Internal
Module
Tacarg.Internal
val
define_tacvalue :
unit
->
(
'a
->
tacvalue
)
*
(
tacvalue
->
'a
)