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