Up
–
coq
»
Pcoq
» Production
Module
Pcoq.Production
type
'a t
val
make :
(
'a
,
_
,
'f
,
Loc.t
->
'a
)
Rule.t
->
'f
->
'a
t