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