package cfg

  1. Overview
  2. Docs

Specification of grammar elements

type t

Terminals

type nt

Nonterminals

type prod

Productions

type symbol =
  1. | NT of nt
  2. | T of t
val compare_t : t -> t -> int
val compare_nt : nt -> nt -> int
val compare_prod : prod -> prod -> int