Up – Package index » rocq-runtime » Library rocq-runtime.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.
rocq-runtime README Library btauto_plugin Library byte_config Library cc_core_plugin Library cc_plugin Library derive_plugin Library extraction_plugin Library firstorder_core_plugin Library firstorder_plugin Library funind_plugin Library ltac2_ltac1_plugin Library ltac2_plugin Library ltac_plugin Library micromega_core_plugin Library micromega_plugin Library nsatz_core_plugin Library nsatz_plugin Library number_string_notation_plugin Library ring_plugin Library rocq-runtime.boot Library rocq-runtime.checklib Library rocq-runtime.clib Library rocq-runtime.config Library rocq-runtime.coqargs Library rocq-runtime.coqdeplib Library rocq-runtime.coqworkmgrapi Library rocq-runtime.debugger_support Library rocq-runtime.dev Library rocq-runtime.engine Library rocq-runtime.gramlib Library rocq-runtime.interp Library rocq-runtime.kernel Library rocq-runtime.lib Library rocq-runtime.library Library rocq-runtime.parsing Library rocq-runtime.perf Library rocq-runtime.plugins Library rocq-runtime.pretyping Library rocq-runtime.printing Library rocq-runtime.proofs Library rocq-runtime.rocqshim Library rocq-runtime.stm Library rocq-runtime.sysinit Library rocq-runtime.tactics Library rocq-runtime.toplevel Library rocq-runtime.vernac Library rocq-runtime.vm 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