Up
–
coq-core
»
Gramlib
»
Grammar
»
GMake
» Unsafe
Module
GMake.Unsafe
val
clear_entry :
'a
Entry.t
->
unit