package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install

Dune Dependency

Authors

Maintainers

Sources

2.1.tar.gz
md5=31749867afa21e73376e229a8f664890
sha512=297e088801dcd263cb636a9526ad31f96e1090fea8eac7a8887c115d604bafe8aa3b44a18efb8027666f0f50b53c920269e79a1cf06abcb58918643a4e18bba1

doc/forester.core/Core/Sem/index.html

Module Core.SemSource

Sourcetype attr = string * string
Sourcetype node =
  1. | Text of string
  2. | Transclude of int * Core__.Base.transclusion_mode * string
  3. | Tag of string * t
  4. | Math of Core__.Base.math_mode * t
  5. | EmbedTeX of {
    1. packages : string list;
    2. source : t;
    }
  6. | Block of t * t
Sourceand t = node list
Sourceand env
Sourceand clo =
  1. | Clo of env * string list * Syn.t
Sourceval sentence_case : node list -> node list
Sourcetype doc = {
  1. title : t option;
  2. taxon : string option;
  3. authors : string list;
  4. date : Prelude.Date.t option;
  5. addr : string;
  6. metas : (string * t) list;
  7. body : t;
}
Sourcemodule Doc : sig ... end
OCaml

Innovation. Community. Security.