package bnfgen

You can search for identifiers within the package.

in-package search v0.2.0

package bnfgen

bnfgen
- Bnfgen
  - Grammar

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Grammar_error of string

type symbol_flags = {

sticky : bool;
sticky_parent : bool;

}

type symbol =

| Terminal of string * symbol_flags
| Nonterminal of string * symbol_flags
| Repeat of symbol * int * int

type rule_alternative = {

weight : int;
symbols : symbol list;

}

type rule = string * rule_alternative list

type grammar = rule list

val reduce_symbol : 
  ?debug:bool ->
  ?debug_fun:(string -> unit) ->
  ?separator:string ->
  symbol list ->
  grammar ->
  string option * symbol list