Up
–
coq-core
»
CLexer
» Error
Module
CLexer.Error
type
t
exception
E
of
t
val
to_string :
t
->
string