Up – coq-core » Ltac2_plugin » Tac2dyn » ArgMap » 1-M

Parameter `ArgMap.1-M`

type ('raw, 'glb) t