Up – Index » rocq-runtime » GenConstr » Register » M

Parameter `Register.M`

type ('raw, 'glb) t