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