Up – Package index » coq-core » Library coq-core.gramlib » Gramlib » PlexingModule Gramlib.Plexing Lexing for Camlp5 grammars.
This module defines the Camlp5 lexer type to be used in extensible grammars (see module Grammar). It also provides some useful functions to create lexers.
coq-core README Library btauto_plugin Library cc_plugin Library coq-core.boot Library coq-core.clib Library coq-core.config Library coq-core.coqworkmgrapi Library coq-core.engine Library coq-core.gramlib Library coq-core.interp Library coq-core.kernel Library coq-core.lib Library coq-core.library Library coq-core.parsing Library coq-core.plugins Library coq-core.pretyping Library coq-core.printing Library coq-core.proofs Library coq-core.stm Library coq-core.sysinit Library coq-core.tactics Library coq-core.top_printers Library coq-core.toplevel Library coq-core.vernac Library coq-core.vm Library derive_plugin Library extraction_plugin Library firstorder_plugin Library funind_plugin Library ltac2_plugin Library ltac_plugin Library micromega_plugin Library nsatz_plugin Library number_string_notation_plugin Library ring_plugin Library rtauto_plugin Library ssreflect_plugin Library ssrmatching_plugin Library tauto_plugin Library tuto0_plugin Library tuto1_plugin Library tuto2_plugin Library tuto3_plugin Library zify_plugin Sources Lexer type
module type S = sig ... end