package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

module T := Forester_core.Types

Sourcetype query = {

}

Sourceval query_t : query Repr.t

val route : 
  Forester_compiler.State.t ->
  Forester_core.URI.t ->
  Forester_core.URI.t

val render_article : 
  Forester_compiler.State.t ->
  T.content T.article ->
  Pure_html.node

val render_content : 
  Forester_compiler.State.t ->
  T.content ->
  Pure_html.node list

val render_frontmatter : 
  Forester_compiler.State.t ->
  T.content T.frontmatter ->
  Pure_html.node

val render_query_result : 
  Forester_compiler.State.t ->
  Forester_core.Vertex_set.t ->
  Pure_html.node option

Sourceval render_toc : T.content T.section -> Pure_html.node