Up
–
coq
»
Ltac2_plugin
»
Tac2dyn
» Param
Module type
Tac2dyn.Param
type
('raw, 'glb) t