package menhirSdk

  1. Overview
  2. Docs

The functor Read reads and decodes a .cmly file whose name is filename. It returns a module of type GRAMMAR, a high-level description of the grammar and automaton.

  • raises Error

    if the file cannot be read or decoded

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