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/Plain_text_client/index.html

Module `Forester_frontend.Plain_text_client`Source

module T := Forester_core.Types

Source

val string_of_content : 
  forest:Forester_compiler.State.t ->
  ?router:(Forester_core.URI.t -> Forester_core.URI.t) ->
  Forester_core.Types.content ->
  string

Source

val pp_content : 
  forest:Forester_compiler.State.t ->
  router:(Forester_core.URI.t -> Forester_core.URI.t) ->
  Format.formatter ->
  Forester_core.Types.content ->
  unit

package forester

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Forester_frontend.Plain_text_clientSource

Module `Forester_frontend.Plain_text_client`Source