Up – Index » rocq-runtime » Ltac2_plugin » Tac2dyn » ArgMap » M

Parameter `ArgMap.M`

type ('raw, 'glb) t