Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
C
/
Firefox
/
devtools
/
client
/
themes
/
images
/ (
Browser von der Mozilla Stiftung
Version 136.0.1
©
) Datei vom 10.2.2025 mit Größe 530 B
Bilddatei
coqpp_lex.mli
products/Sources/formale Sprachen/Roqc/coqpp/coqpp_lex.mli
(************************************************************************) (* * The Rocq Prover / The Rocq Development Team *) (* v * Copyright INRIA, CNRS and contributors *) (*
Coqpp_ast.loc val token : Lexing.lexbuf -> Coqpp_parse.token
2026-04-04