This module offers facilities for reading and decoding .cmly files.
We encourage users to work with modules of type GRAMMAR, which offer a high-level description of the grammar and automaton. Values of type grammar, on the other hand, offer a lower-level description.
Furthermore, the type grammar, which serves as a definition of the .cmly file format, may evolve in incompatible ways in the future.
This exception is raised when a .cmly file cannot be read or decoded. It carries a human-readable error message.
module Read (X : sig ... end) : Cmly_api.GRAMMARThe 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.
module FromString (X : sig ... end) : Cmly_api.GRAMMARThe functor FromString decodes a .cmly file whose content is content. It returns a module of type GRAMMAR, a high-level description of the grammar and automaton.
val read_channel : in_channel -> Cmly_format.grammarread_channel c reads and decodes a .cmly file via the input channel ic. It returns a value of type grammar, a low-level description of the grammar and automaton.
module Lift (X : sig ... end) : Cmly_api.GRAMMARThe functor Lift converts a value of type grammar into a module of type GRAMMAR.