Coqdeplib.Lexer
type qualid = string list
type load =
| Logical of string
| Physical of string
type coq_token =
| Require of qualid option * qualid list
| Declare of string list
| Load of load
| External of qualid * string
exception Fin_fichier
exception Syntax_error of int * int
val coq_action : Stdlib.Lexing.lexbuf -> coq_token