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