Up
–
rocq-runtime
»
Constr
» GenHCons
Module
Constr.GenHCons
Parameters
Signature
Parameters
module
C
:
sig
...
end
Signature
val
hcons :
C.t
->
constr