package sexp_grammar

  1. Overview
  2. Docs

An instance of Fold_recursive. Produces an equivalent grammar with no Recursive, Tycon, or Tyvar nodes. This can be useful for subsequent grammar processing without the need for type variable / type constructor bookkeeping. The resulting tree may unfold infinitely, and uses Lazy nodes to avoid divergence.

val of_typed_grammar_exn : _ Sexp_grammar__.Sexp_grammar_intf.{Sexp_grammar}1.t -> grammar
val of_grammar_exn : Sexp_grammar__.Sexp_grammar_intf.{Sexp_grammar}1.grammar -> grammar
val of_list_grammar_exn : Sexp_grammar__.Sexp_grammar_intf.{Sexp_grammar}1.list_grammar -> list_grammar
OCaml

Innovation. Community. Security.