Up – rocq-runtime » Ltac2_plugin » Tac2dyn » Param

Module type `Tac2dyn.Param`

type ('raw, 'glb) t