package bnfgen

  1. Overview
  2. Docs
package bnfgen
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception Grammar_error of string
type symbol =
  1. | Terminal of string
  2. | Nonterminal of string
  3. | Repeat of symbol * int * int
type rule_alternative = {
  1. weight : int;
  2. symbols : symbol list;
}
type rule = string * rule_alternative list
type grammar = rule list
val reduce_symbol : ?debug:bool -> ?debug_fun:(string -> unit) -> symbol list -> grammar -> string option * symbol list