package sexp_grammar

  1. Overview
  2. Docs

Module Sexp_grammar.Unroll_recursionSource

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.

Sourceval of_typed_grammar_exn : _ Sexp_grammar__.Sexp_grammar_intf.Sexp_grammar.t -> grammar
Sourceval of_grammar_exn : Sexp_grammar__.Sexp_grammar_intf.Sexp_grammar.grammar -> grammar
Sourceval of_list_grammar_exn : Sexp_grammar__.Sexp_grammar_intf.Sexp_grammar.list_grammar -> list_grammar