Module Cmly_read.Lift

The functor Lift converts a value of type grammar into a module of type GRAMMAR.

Parameters

module X : sig ... end

Signature

type terminal = private int
type nonterminal = private int
type production = private int
type lr0 = private int
type lr1 = private int
type item = production * int
type ocamltype = string
type ocamlexpr = string
module Range : sig ... end
module Attribute : sig ... end
module Grammar : sig ... end
module Terminal : sig ... end
module Nonterminal : sig ... end
module Symbol : sig ... end
type symbol = Symbol.t =
  1. | T of terminal
  2. | N of nonterminal

The type symbol is a synonym for Symbol.t.

val symbol_name : ?mangled:bool -> symbol -> string

symbol_name is a synonym for Symbol.name.

type identifier = string
module Action : sig ... end
module Production : sig ... end
module Lr0 : sig ... end
module Lr1 : sig ... end
module Print : sig ... end