Up
–
rocq-runtime
»
GenConstr
»
Register
» 1-M
Parameter
Register.1-M
type
('raw, 'glb) t