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.1.0.tar.gz
md5=576a2fe0666a6bd9fbbf9a567c0aee79
sha512=af7666a0bcd8fb20497a8c0a0bc01cb57db0bde07d68952e40d37464efe81c3a3c8207a5e5dc88264a5f67b5815874e88f3aa31972dd5f0413d44f97e11b758e

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. | TRANSCLUDE
  5. | TITLE
  6. | TEXT of string
  7. | TEX
  8. | TAXON
  9. | TAG
  10. | SUBTREE
  11. | SCOPE
  12. | RSQUARE
  13. | RPAREN
  14. | REF
  15. | RBRACE
  16. | QUERY_TREE
  17. | QUERY_TAXON
  18. | QUERY_TAG
  19. | QUERY_OR
  20. | QUERY_NOT
  21. | QUERY_META
  22. | QUERY_AUTHOR
  23. | QUERY_AND
  24. | PUT
  25. | PRIM of Forester_core.Prim.t
  26. | PATCH
  27. | PARENT
  28. | OPEN
  29. | OBJECT
  30. | NUMBER
  31. | NAMESPACE
  32. | META
  33. | LSQUARE
  34. | LPAREN
  35. | LET
  36. | LBRACE
  37. | IMPORT
  38. | IDENT of string
  39. | HASH_LBRACE
  40. | HASH_HASH_LBRACE
  41. | GET
  42. | EXPORT
  43. | EOF
  44. | DEFAULT
  45. | DEF
  46. | DECL_XMLNS of string
  47. | DATE
  48. | CONTRIBUTOR
  49. | CALL
  50. | AUTHOR
  51. | ALLOC
Sourceexception Error
Sourcemodule MenhirInterpreter : sig ... end
Sourcemodule Incremental : sig ... end