package cfg

  1. Overview
  2. Docs
type t = string

Terminals

type nt = string

Nonterminals

type prod = unit

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