The 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.
module X : sig ... endtype item = production * intmodule Range : sig ... endmodule Attribute : sig ... endmodule Grammar : sig ... endmodule Terminal : sig ... endmodule Nonterminal : sig ... endmodule Symbol : sig ... endThe type symbol is a synonym for Symbol.t.
val symbol_name : ?mangled:bool -> symbol -> stringsymbol_name is a synonym for Symbol.name.
module Action : sig ... endmodule Production : sig ... endmodule Lr0 : sig ... endmodule Lr1 : sig ... endmodule Print : sig ... end