package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install 

dune-project
 Dependency

sr.ht Readme Edit opam file Versions (17)

Authors

  1. J
    Jonathan Sterling

Maintainers

  1. J
    Jonathan Sterling

Sources

4.3.0.tar.gz
md5=4cf7ec6a0a36810572f8b3a2af58631c
sha512=818f859dac00a18807563fd79663ec54232c8df196a8dc2de5e269a1d0c71085b1b490297ea0ecf3ef9cd32e40fb05ad2e10c241b03958c15e25c2942271eede

doc/forester.frontend/Forester_frontend/Grammar/index.html

Module Forester_frontend.GrammarSource

Sourcetype token =
  1. | XML_ELT_IDENT of string
  2. | WHITESPACE of string
  3. | VERBATIM of string
  4. | TEXT of string
  5. | SUBTREE
  6. | SCOPE
  7. | RSQUARE
  8. | RPAREN
  9. | RBRACE
  10. | PUT
  11. | PATCH
  12. | OPEN
  13. | OBJECT
  14. | NAMESPACE
  15. | LSQUARE
  16. | LPAREN
  17. | LET
  18. | LBRACE
  19. | IMPORT
  20. | IDENT of string
  21. | HASH_LBRACE
  22. | HASH_HASH_LBRACE
  23. | GET
  24. | FUN
  25. | EXPORT
  26. | EOF
  27. | DEFAULT
  28. | DEF
  29. | DECL_XMLNS of string
  30. | CALL
  31. | ALLOC
Sourceexception Error
Sourcemodule MenhirInterpreter : sig ... end
Sourcemodule Incremental : sig ... end