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.1.tar.gz
md5=d1623b2919d2984bfcd841b5e772abd1
sha512=5924c8822d7e5a7bc49eb2b451cfd06cb372415559bc5ff232a59395b0aa28eb9819e351426ab25510f7d96ffb85ec652fa1878478b046c61e51ff471c285710

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