Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package sexp_grammar
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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 ->
grammarval of_grammar_exn :
Sexp_grammar__.Sexp_grammar_intf.{Sexp_grammar}1.grammar ->
grammarval of_list_grammar_exn :
Sexp_grammar__.Sexp_grammar_intf.{Sexp_grammar}1.list_grammar ->
list_grammar