Info (p.lrgrep.0.3.doc.kernel.Kernel.Info)

Module Kernel.InfoSource

This module defines data structures and operations for handling grammar information in a structured way. It includes representations for terminals, non-terminals, productions, and LR states, along with their transitions and reductions. The module is designed to work with Menhir's grammar representation and extends it with additional functionality for convenience.

Sourcemodule type GRAMMAR = MenhirSdk.Cmly_api.GRAMMAR

Sourcetype 'g grammar

Sourcemodule Lift () : sig ... end

Sourcetype 'g terminal

Sourcetype 'g nonterminal

Sourcetype 'g symbol = ('g terminal, 'g nonterminal) Fix.Indexing.Sum.n

Sourcetype 'g production

Sourcetype 'g item

Sourcetype 'g lr0

Sourcetype 'g lr1

Sourcetype 'g goto_transition

Sourcetype 'g shift_transition

Source

type 'g transition =
  ('g goto_transition, 'g shift_transition) Fix.Indexing.Sum.n

Sourcetype 'g reduction

Sourcemodule type INDEXED = sig ... end

Sourcemodule Terminal : sig ... end

Sourcemodule Nonterminal : sig ... end

Sourcemodule Symbol : sig ... end

Sourcemodule Production : sig ... end

Sourcemodule Item : sig ... end

Sourcemodule Lr0 : sig ... end

Sourcemodule Lr1 : sig ... end

Sourcemodule Transition : sig ... end

Sourcemodule Reduction : sig ... end

Sourceval raw : _ grammar -> (module MenhirSdk.Cmly_api.GRAMMAR)