package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

Dune Dependency

sr.ht Readme Edit opam file Versions (17)

Authors

J

Jonathan Sterling

Maintainers

J

Jonathan Sterling

Sources

5.0.tar.gz

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

doc/forester.frontend/Forester_frontend/DSL/Code/index.html

Module `DSL.Code`Source

Sourceval import_private : string -> Forester_core.Code.node Asai.Range.located

Sourceval import_public : string -> Forester_core.Code.node Asai.Range.located

Source

val inline_math : 
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Source

val display_math : 
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Sourceval parens : Forester_core.Code.t -> Forester_core.Code.node Asai.Range.located

Source

val squares : 
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Sourceval braces : Forester_core.Code.t -> Forester_core.Code.node Asai.Range.located

Sourceval ul : Forester_core.Code.node Asai.Range.located

Sourceval li : Forester_core.Code.node Asai.Range.located

Sourceval text : string -> Forester_core.Code.node Asai.Range.located

Sourceval verbatim : string -> Forester_core.Code.node Asai.Range.located

Source

val math : 
  Forester_core__.Base.math_mode ->
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Source

val ident : 
  Forester_core.Trie.path ->
  Forester_core.Code.node Asai.Range.located

Sourceval scope : Forester_core.Code.t -> Forester_core.Code.node Asai.Range.located

Source

val open_ : 
  Forester_core.Trie.path ->
  Forester_core.Code.node Asai.Range.located

Source

val group : 
  Forester_core__.Base.delim ->
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Source

val def : 
  Forester_core.Trie.path ->
  (Forester_core__.Base.binding_info * string) list ->
  Forester_core.Code.t ->
  Forester_core.Code.node Asai.Range.located

Source

val object_ : 
  Forester_core.Code.t Forester_core.Code._object ->
  Forester_core.Code.node Asai.Range.located

package forester

Install

Dune Dependency

Authors

Maintainers

Sources

doc/forester.frontend/Forester_frontend/DSL/Code/index.html

Module DSL.CodeSource

Module `DSL.Code`Source