package menhirSdk

  1. Overview
  2. Docs

Module Cmly_read.ReadSource

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

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

The type symbol is a synonym for Symbol.t.

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

symbol_name is a synonym for Symbol.name.

Sourcetype identifier = string
Sourcemodule Action : sig ... end
Sourcemodule Production : sig ... end
Sourcemodule Lr0 : sig ... end
Sourcemodule Lr1 : sig ... end
Sourcemodule Print : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct