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