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