Up
–
rocq-runtime
»
Constr
»
GenHCons
»
1-C
» Tbl
Module
1-C.Tbl
val
find_opt :
t
->
(int *
constr
)
option
val
add :
t
->
(int *
constr
)
->
unit